LeventErkok / sbv

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
https://github.com/LeventErkok/sbv
Other
240 stars 33 forks source link

compile with GHC 9.4.2 #629

Closed LeventErkok closed 1 year ago

LeventErkok commented 2 years ago

SBV currently doesn't compile with GHC 9.4.2, because our HLint dependence doesn't: https://github.com/ndmitchell/hlint/issues/1413

Wondering if we should remove this dependence eventually; HLint is very much dependent on the GHC version, and it takes a while for its dependencies to get updated with each new release; causing delays. Since we only rely on it for making sure our source code is hlint-free, maybe it's time to let go of this and just rely on occasional manual checks.