ucsd-progsys/liquidhaskell Issues

Haskell (1,306 stars) (157 forks) (20 indexed issues) (PR metrics pending)Last commit May 15, 2026

Issues

20 open indexed issues

RSS Atom

Open

Liquid Haskell should accept `UnicodeSyntax`

good first issue

ucsd-progsys/liquidhaskell #2,551 opened last year · Haskell · 1,306 stars

4 comments0 reactions0 assignees

Open

Document that specs can depend on arguments of enclosing functions

documentationgood first issue

ucsd-progsys/liquidhaskell #2,442 opened last year · Haskell · 1,306 stars

2 comments0 reactions0 assignees

Open

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

good first issue

ucsd-progsys/liquidhaskell #2,301 opened 2 years ago · Haskell · 1,306 stars

1 comment0 reactions0 assignees

Open

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

good first issue

ucsd-progsys/liquidhaskell #2,229 opened 3 years ago · Haskell · 1,306 stars

1 comment1 reaction0 assignees

Open

Different behaviour when working across different modules

good first issue

ucsd-progsys/liquidhaskell #2,217 opened 3 years ago · Haskell · 1,306 stars

4 comments0 reactions0 assignees

Open

Cannot parse `GHC.Types.:`

good first issue

ucsd-progsys/liquidhaskell #2,193 opened 3 years ago · Haskell · 1,306 stars

13 comments0 reactions0 assignees

Open

Specs not exported from preprocessed source code

good first issue

ucsd-progsys/liquidhaskell #2,132 opened 3 years ago · Haskell · 1,306 stars

3 comments0 reactions0 assignees

Open

Collect bfq files in CI

good first issue

ucsd-progsys/liquidhaskell #2,020 opened 4 years ago · Haskell · 1,306 stars

4 comments0 reactions0 assignees

Open

Recover some tests of parsing errors

good first issue

ucsd-progsys/liquidhaskell #2,009 opened 4 years ago · Haskell · 1,306 stars

0 comments0 reactions0 assignees

Open

LIQUIDHASKELL_OPTS can hold only one argument

good first issue

ucsd-progsys/liquidhaskell #1,990 opened 4 years ago · Haskell · 1,306 stars

0 comments0 reactions0 assignees

Open

Termination error messages do not follow standard GHC format

good first issue

ucsd-progsys/liquidhaskell #1,961 opened 4 years ago · Haskell · 1,306 stars

1 comment0 reactions0 assignees

Open

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

good first issue

ucsd-progsys/liquidhaskell #1,957 opened 4 years ago · Haskell · 1,306 stars

1 comment0 reactions0 assignees

Open

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

good first issue

ucsd-progsys/liquidhaskell #1,956 opened 4 years ago · Haskell · 1,306 stars

1 comment1 reaction0 assignees

Open

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

good first issue

ucsd-progsys/liquidhaskell #1,942 opened 4 years ago · Haskell · 1,306 stars

4 comments0 reactions0 assignees

Open

"Incomplete patterns" error with GHC <9.0.1

good first issue

ucsd-progsys/liquidhaskell #1,918 opened 5 years ago · Haskell · 1,306 stars

1 comment0 reactions0 assignees

Open

Cannot parse specification

good first issue

ucsd-progsys/liquidhaskell #1,781 opened 6 years ago · Haskell · 1,306 stars

0 comments0 reactions0 assignees

Open

Improve robustness of negative (and positive) tests

enhancementgood first issue

ucsd-progsys/liquidhaskell #1,661 opened 6 years ago · Haskell · 1,306 stars

2 comments1 reaction0 assignees

Open

Question about Dependent Sums

errormsggood first issue

ucsd-progsys/liquidhaskell #1,615 opened 6 years ago · Haskell · 1,306 stars

9 comments0 reactions0 assignees

Open

The sort GHC.Natural.Natural is not numeric

good first issue

ucsd-progsys/liquidhaskell #1,500 opened 7 years ago · Haskell · 1,306 stars

2 comments0 reactions0 assignees

Open

Cannot parse the unit value in refinement bounds

easygood first issueparser

ucsd-progsys/liquidhaskell #1,300 opened 8 years ago · Haskell · 1,306 stars

1 comment0 reactions0 assignees