ucsd-progsys/liquidhaskell Issues

Haskell (1,306 star) (157 fork) (20 個已索引議題) (PR 指標待抓取)最近提交 2026年5月15日

議題

20 個開放索引議題

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 star) (157 fork) (20 個已索引議題) (PR 指標待抓取)最近提交 2026年5月15日

議題

20 個開放索引議題

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 star) (157 fork) (20 個已索引議題) (PR 指標待抓取)最近提交 2026年5月15日

議題

20 個開放索引議題

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 負責人