ucsd-progsys / liquidhaskell

Liquid Types For Haskell

ucsd-progsys/liquidhaskell Issues

--max-case-expand does not work if type has a parameter
Updated a month ago3
Termination check on local recursive function
Updated a month ago
put hidden `.liquid` directories in `dist`
Updated a month ago
Liquid haskell packages at Hackage out of sync?
Closed a month ago5
"addC: malformed constraint: cconsE" in closed-world class
Updated a month ago
Dependent Pairs Syntax unsoundly ignores refinements
Updated 2 months ago
Can't figure out how to build a project with GHC 9.6.3
Updated 2 months ago5
Set measures generate erroneous constraints when applied to non-polymorphic datatypes
Updated 2 months ago14
LiquidHaskell plugin does not find/load base annotations/assumptions (but modules are accessible to GHC)
Updated 3 months ago
More/less binders expected when using --typeclass
Updated 3 months ago3
[question] how to see the formula that gets sent to the solver?
Closed 3 months ago4
Could not find module ‘LiquidHaskellBoot’
Closed 3 months ago12
Retire liquid-platform
Closed 3 months ago
Embed CoreToLogic.lg into liquidhaskell-boot
Closed 3 months ago
Innocent edit causes tests/pos/Map0.hs to fail
Updated 3 months ago9
error when running ghc with the plugin directly: Illegal type specification for `Even.notEven`, tests/pos/Even.hs:5:16:
Closed 3 months ago2
error when running ghc with the plugin directly: Unknown type constructor `Nat`, tests/pos/GCD.hs
Closed 3 months ago1
cabal install => Error: cabal: Driver_stack.hsDriver_cabal.hs doesn't exist
Updated 4 months ago4
Too many constraints generated
Closed 4 months ago8
Swap Aeson for JSON
Updated 5 months ago6
Errors combining dependent pairs and functions
Updated 5 months ago
Are we maintaining the packages that are not included in the project?
Updated 6 months ago2
Empty data causes totality error
Updated 6 months ago5
Reflection of functions with wired-in names leads to errors
Updated 6 months ago2
Build LH with GHC 9.4.7
Closed 6 months ago9
LH inference is sensitive to literals
Closed 6 months ago1
HasCallStack interferes with termination checking
Closed 6 months ago1
Equational reasoning on higher order expressions
Updated 7 months ago3
Length of infinite lists
Updated 7 months ago15
"Re-sugar" GHC.Types.: x GHC.Types.: GHC.Types.[] back into [x]?
Updated 7 months ago
Simplify inferred types to improve error messages?
Updated 7 months ago
Prove two functions are equal by extensionality
Closed 8 months ago5
Error when hiding certain functions
Updated 8 months ago
Reasoning steps with inequality
Closed 8 months ago4
Different behaviour when working across different modules
Updated 8 months ago4
Error when trying to lift a function invoking another function
Closed 8 months ago2
Has project changed its structure recently?
Updated 9 months ago2
Unknown variable `Data.ByteString.Internal.empty`
Closed 9 months ago2
Issue using reflection with strings
Updated 9 months ago3
Little black circles on the right side of the official tutorial change the address bar improperly.
Updated 9 months ago
The official tutorial's interactive features are broken.
Updated 9 months ago
The official tutorial has a dead link to PDF right on top.
Updated 9 months ago
Structural termination checker doesn't seem to always trigger on where-clauses
Updated 10 months ago
Missing annotations from GHC.Types_LHAssumptions that should be implicit
Closed 10 months ago
Reflecting fails when using otherwise
Updated 10 months ago
Guarded equations fail without an otherwise case
Updated 10 months ago
Document writing specs that involve type equalities
Updated 10 months ago6
Cannot parse `GHC.Types.:`
Updated 10 months ago12
Liquid Haskell crashes on higher-kinded polymorphism
Updated 10 months ago2
Make verification succeed with haddock enabled
Updated a year ago