ucsd-progsys / lh-plugin-demo

A small package that demonstrates how to use LiquidHaskell as a GHC plugin

ucsd-progsys/lh-plugin-demo Issues

GHC 9.4.7 - stack / cabal configuration
Updated 4 months ago
Project doesn't seem to compile with ghc 9.2.5 and stackage lts-20.1
Updated 4 months ago
How to compile this with GHC 9.6.4?
Updated 7 months ago
Stack information out of date?
Updated a year ago10
Problem in interplay between Liquid Haskell, the haskell-language-server, and Stack.
Updated a year ago
Not working with latest Z3 version and this is not documented
Closed 2 years ago
Cabal does not work (conflicts on liquid-base vs base), but Stack does.
Closed 2 years ago1
Warning: LH can't be run with Haddock.
Closed 2 years ago1
Missing module Demo.Test.
Closed 2 years ago
Use GitHub Actions to test build
Updated 2 years ago
Doesn't compile
Closed 3 years ago11
LH can't be run with Haddock
Closed 3 years ago2