ucsd-progsys/liquidhaskell Issues

Haskell (1,306 stars) (157 forks) (20 indexed issues) (PR metrics pending)最終コミット 2026年5月15日

リポジトリ Issue を読み込み中...

Issue

20 open indexed issues

RSS Atom

オープン

Liquid Haskell should accept `UnicodeSyntax`

good first issue

ucsd-progsys/liquidhaskell #2,551 は昨年に作成 · Haskell · 1,306 stars

4 件のコメント0 件のリアクション0 担当者

オープン

Document that specs can depend on arguments of enclosing functions

documentationgood first issue

ucsd-progsys/liquidhaskell #2,442 は昨年に作成 · Haskell · 1,306 stars

2 件のコメント0 件のリアクション0 担当者

オープン

Annotations are not checked for reflected functions that are marked as non-terminating

good first issue

ucsd-progsys/liquidhaskell #2,301 は 2 年前に作成 · Haskell · 1,306 stars

1 件のコメント0 件のリアクション0 担当者

オープン

"Re-sugar" GHC.Types.: x GHC.Types.: GHC.Types.[] back into [x]?

good first issue

ucsd-progsys/liquidhaskell #2,229 は 3 年前に作成 · Haskell · 1,306 stars

1 件のコメント1 件のリアクション0 担当者

オープン

Different behaviour when working across different modules

good first issue

ucsd-progsys/liquidhaskell #2,217 は 3 年前に作成 · Haskell · 1,306 stars

4 件のコメント0 件のリアクション0 担当者

オープン

Cannot parse `GHC.Types.:`

good first issue

ucsd-progsys/liquidhaskell #2,193 は 3 年前に作成 · Haskell · 1,306 stars

13 件のコメント0 件のリアクション0 担当者

オープン

Specs not exported from preprocessed source code

good first issue

ucsd-progsys/liquidhaskell #2,132 は 3 年前に作成 · Haskell · 1,306 stars

3 件のコメント0 件のリアクション0 担当者

オープン

Collect bfq files in CI

good first issue

ucsd-progsys/liquidhaskell #2,020 は 4 年前に作成 · Haskell · 1,306 stars

4 件のコメント0 件のリアクション0 担当者

オープン

Recover some tests of parsing errors

good first issue

ucsd-progsys/liquidhaskell #2,009 は 4 年前に作成 · Haskell · 1,306 stars

0 件のコメント0 件のリアクション0 担当者

オープン

LIQUIDHASKELL_OPTS can hold only one argument

good first issue

ucsd-progsys/liquidhaskell #1,990 は 4 年前に作成 · Haskell · 1,306 stars

0 件のコメント0 件のリアクション0 担当者

オープン

Termination error messages do not follow standard GHC format

good first issue

ucsd-progsys/liquidhaskell #1,961 は 4 年前に作成 · Haskell · 1,306 stars

1 件のコメント0 件のリアクション0 担当者

オープン

Plugin prints certain messages as non-json when `-ddump-json` is enabled

good first issue

ucsd-progsys/liquidhaskell #1,957 は 4 年前に作成 · Haskell · 1,306 stars

1 件のコメント0 件のリアクション0 担当者

オープン

Plugin always colors the `**** LIQUID: ` header, regardless of compiler settings

good first issue

ucsd-progsys/liquidhaskell #1,956 は 4 年前に作成 · Haskell · 1,306 stars

1 件のコメント1 件のリアクション0 担当者

オープン

drop autosize (was: autosize causes LH to forget field refinements)

good first issue

ucsd-progsys/liquidhaskell #1,942 は 4 年前に作成 · Haskell · 1,306 stars

4 件のコメント0 件のリアクション0 担当者

オープン

"Incomplete patterns" error with GHC <9.0.1

good first issue

ucsd-progsys/liquidhaskell #1,918 は 5 年前に作成 · Haskell · 1,306 stars

1 件のコメント0 件のリアクション0 担当者

オープン

Cannot parse specification

good first issue

ucsd-progsys/liquidhaskell #1,781 は 6 年前に作成 · Haskell · 1,306 stars

0 件のコメント0 件のリアクション0 担当者

オープン

Improve robustness of negative (and positive) tests

enhancementgood first issue

ucsd-progsys/liquidhaskell #1,661 は 6 年前に作成 · Haskell · 1,306 stars

2 件のコメント1 件のリアクション0 担当者

オープン

Question about Dependent Sums

errormsggood first issue

ucsd-progsys/liquidhaskell #1,615 は 6 年前に作成 · Haskell · 1,306 stars

9 件のコメント0 件のリアクション0 担当者

オープン

The sort GHC.Natural.Natural is not numeric

good first issue

ucsd-progsys/liquidhaskell #1,500 は 7 年前に作成 · Haskell · 1,306 stars

2 件のコメント0 件のリアクション0 担当者

オープン

Cannot parse the unit value in refinement bounds

easygood first issueparser

ucsd-progsys/liquidhaskell #1,300 は 8 年前に作成 · Haskell · 1,306 stars

1 件のコメント0 件のリアクション0 担当者

Haskell (1,306 stars) (157 forks) (20 indexed issues) (PR metrics pending)最終コミット 2026年5月15日

Issue

20 open indexed issues

RSS Atom

オープン

Liquid Haskell should accept `UnicodeSyntax`

good first issue

ucsd-progsys/liquidhaskell #2,551 は昨年に作成 · Haskell · 1,306 stars

4 件のコメント0 件のリアクション0 担当者

オープン

Document that specs can depend on arguments of enclosing functions

documentationgood first issue

ucsd-progsys/liquidhaskell #2,442 は昨年に作成 · Haskell · 1,306 stars

2 件のコメント0 件のリアクション0 担当者

オープン

Annotations are not checked for reflected functions that are marked as non-terminating

good first issue

ucsd-progsys/liquidhaskell #2,301 は 2 年前に作成 · Haskell · 1,306 stars

1 件のコメント0 件のリアクション0 担当者

オープン

"Re-sugar" GHC.Types.: x GHC.Types.: GHC.Types.[] back into [x]?

good first issue

ucsd-progsys/liquidhaskell #2,229 は 3 年前に作成 · Haskell · 1,306 stars

1 件のコメント1 件のリアクション0 担当者

オープン

Different behaviour when working across different modules

good first issue

ucsd-progsys/liquidhaskell #2,217 は 3 年前に作成 · Haskell · 1,306 stars

4 件のコメント0 件のリアクション0 担当者

オープン

Cannot parse `GHC.Types.:`

good first issue

ucsd-progsys/liquidhaskell #2,193 は 3 年前に作成 · Haskell · 1,306 stars

13 件のコメント0 件のリアクション0 担当者

オープン

Specs not exported from preprocessed source code

good first issue

ucsd-progsys/liquidhaskell #2,132 は 3 年前に作成 · Haskell · 1,306 stars

3 件のコメント0 件のリアクション0 担当者

オープン

Collect bfq files in CI

good first issue

ucsd-progsys/liquidhaskell #2,020 は 4 年前に作成 · Haskell · 1,306 stars

4 件のコメント0 件のリアクション0 担当者

オープン

Recover some tests of parsing errors

good first issue

ucsd-progsys/liquidhaskell #2,009 は 4 年前に作成 · Haskell · 1,306 stars

0 件のコメント0 件のリアクション0 担当者

オープン

LIQUIDHASKELL_OPTS can hold only one argument

good first issue

ucsd-progsys/liquidhaskell #1,990 は 4 年前に作成 · Haskell · 1,306 stars

0 件のコメント0 件のリアクション0 担当者

オープン

Termination error messages do not follow standard GHC format

good first issue

ucsd-progsys/liquidhaskell #1,961 は 4 年前に作成 · Haskell · 1,306 stars

1 件のコメント0 件のリアクション0 担当者

オープン

Plugin prints certain messages as non-json when `-ddump-json` is enabled

good first issue

ucsd-progsys/liquidhaskell #1,957 は 4 年前に作成 · Haskell · 1,306 stars

1 件のコメント0 件のリアクション0 担当者

オープン

Plugin always colors the `**** LIQUID: ` header, regardless of compiler settings

good first issue

ucsd-progsys/liquidhaskell #1,956 は 4 年前に作成 · Haskell · 1,306 stars

1 件のコメント1 件のリアクション0 担当者

オープン

drop autosize (was: autosize causes LH to forget field refinements)

good first issue

ucsd-progsys/liquidhaskell #1,942 は 4 年前に作成 · Haskell · 1,306 stars

4 件のコメント0 件のリアクション0 担当者

オープン

"Incomplete patterns" error with GHC <9.0.1

good first issue

ucsd-progsys/liquidhaskell #1,918 は 5 年前に作成 · Haskell · 1,306 stars

1 件のコメント0 件のリアクション0 担当者

オープン

Cannot parse specification

good first issue

ucsd-progsys/liquidhaskell #1,781 は 6 年前に作成 · Haskell · 1,306 stars

0 件のコメント0 件のリアクション0 担当者

オープン

Improve robustness of negative (and positive) tests

enhancementgood first issue

ucsd-progsys/liquidhaskell #1,661 は 6 年前に作成 · Haskell · 1,306 stars

2 件のコメント1 件のリアクション0 担当者

オープン

Question about Dependent Sums

errormsggood first issue

ucsd-progsys/liquidhaskell #1,615 は 6 年前に作成 · Haskell · 1,306 stars

9 件のコメント0 件のリアクション0 担当者

オープン

The sort GHC.Natural.Natural is not numeric

good first issue

ucsd-progsys/liquidhaskell #1,500 は 7 年前に作成 · Haskell · 1,306 stars

2 件のコメント0 件のリアクション0 担当者

オープン

Cannot parse the unit value in refinement bounds

easygood first issueparser

ucsd-progsys/liquidhaskell #1,300 は 8 年前に作成 · Haskell · 1,306 stars

1 件のコメント0 件のリアクション0 担当者

Haskell (1,306 stars) (157 forks) (20 indexed issues) (PR metrics pending)最終コミット 2026年5月15日

リポジトリ Issue を読み込み中...

Issue

20 open indexed issues

RSS Atom

オープン

Liquid Haskell should accept `UnicodeSyntax`

good first issue

ucsd-progsys/liquidhaskell #2,551 は昨年に作成 · Haskell · 1,306 stars

4 件のコメント0 件のリアクション0 担当者

オープン

Document that specs can depend on arguments of enclosing functions

documentationgood first issue

ucsd-progsys/liquidhaskell #2,442 は昨年に作成 · Haskell · 1,306 stars

2 件のコメント0 件のリアクション0 担当者

オープン

Annotations are not checked for reflected functions that are marked as non-terminating

good first issue

ucsd-progsys/liquidhaskell #2,301 は 2 年前に作成 · Haskell · 1,306 stars

1 件のコメント0 件のリアクション0 担当者

オープン

"Re-sugar" GHC.Types.: x GHC.Types.: GHC.Types.[] back into [x]?

good first issue

ucsd-progsys/liquidhaskell #2,229 は 3 年前に作成 · Haskell · 1,306 stars

1 件のコメント1 件のリアクション0 担当者

オープン

Different behaviour when working across different modules

good first issue

ucsd-progsys/liquidhaskell #2,217 は 3 年前に作成 · Haskell · 1,306 stars

4 件のコメント0 件のリアクション0 担当者

オープン

Cannot parse `GHC.Types.:`

good first issue

ucsd-progsys/liquidhaskell #2,193 は 3 年前に作成 · Haskell · 1,306 stars

13 件のコメント0 件のリアクション0 担当者

オープン

Specs not exported from preprocessed source code

good first issue

ucsd-progsys/liquidhaskell #2,132 は 3 年前に作成 · Haskell · 1,306 stars

3 件のコメント0 件のリアクション0 担当者

オープン

Collect bfq files in CI

good first issue

ucsd-progsys/liquidhaskell #2,020 は 4 年前に作成 · Haskell · 1,306 stars

4 件のコメント0 件のリアクション0 担当者

オープン

Recover some tests of parsing errors

good first issue

ucsd-progsys/liquidhaskell #2,009 は 4 年前に作成 · Haskell · 1,306 stars

0 件のコメント0 件のリアクション0 担当者

オープン

LIQUIDHASKELL_OPTS can hold only one argument

good first issue

ucsd-progsys/liquidhaskell #1,990 は 4 年前に作成 · Haskell · 1,306 stars

0 件のコメント0 件のリアクション0 担当者

オープン

Termination error messages do not follow standard GHC format

good first issue

ucsd-progsys/liquidhaskell #1,961 は 4 年前に作成 · Haskell · 1,306 stars

1 件のコメント0 件のリアクション0 担当者

オープン

Plugin prints certain messages as non-json when `-ddump-json` is enabled

good first issue

ucsd-progsys/liquidhaskell #1,957 は 4 年前に作成 · Haskell · 1,306 stars

1 件のコメント0 件のリアクション0 担当者

オープン

Plugin always colors the `**** LIQUID: ` header, regardless of compiler settings

good first issue

ucsd-progsys/liquidhaskell #1,956 は 4 年前に作成 · Haskell · 1,306 stars

1 件のコメント1 件のリアクション0 担当者

オープン

drop autosize (was: autosize causes LH to forget field refinements)

good first issue

ucsd-progsys/liquidhaskell #1,942 は 4 年前に作成 · Haskell · 1,306 stars

4 件のコメント0 件のリアクション0 担当者

オープン

"Incomplete patterns" error with GHC <9.0.1

good first issue

ucsd-progsys/liquidhaskell #1,918 は 5 年前に作成 · Haskell · 1,306 stars

1 件のコメント0 件のリアクション0 担当者

オープン

Cannot parse specification

good first issue

ucsd-progsys/liquidhaskell #1,781 は 6 年前に作成 · Haskell · 1,306 stars

0 件のコメント0 件のリアクション0 担当者

オープン

Improve robustness of negative (and positive) tests

enhancementgood first issue

ucsd-progsys/liquidhaskell #1,661 は 6 年前に作成 · Haskell · 1,306 stars

2 件のコメント1 件のリアクション0 担当者

オープン

Question about Dependent Sums

errormsggood first issue

ucsd-progsys/liquidhaskell #1,615 は 6 年前に作成 · Haskell · 1,306 stars

9 件のコメント0 件のリアクション0 担当者

オープン

The sort GHC.Natural.Natural is not numeric

good first issue

ucsd-progsys/liquidhaskell #1,500 は 7 年前に作成 · Haskell · 1,306 stars

2 件のコメント0 件のリアクション0 担当者

オープン

Cannot parse the unit value in refinement bounds

easygood first issueparser

ucsd-progsys/liquidhaskell #1,300 は 8 年前に作成 · Haskell · 1,306 stars

1 件のコメント0 件のリアクション0 担当者