Build liquid-fixpoint with ghc-9.4.7 in CI

ucsd-progsys / liquid-fixpoint

Horn Clause Constraint Solving for Liquid Types

BSD 3-Clause "New" or "Revised" License

132 stars 60 forks source link

Closed facundominguez closed 9 months ago

facundominguez commented 9 months ago

stan is failing to run with ghc 9.4, so I'm keeping it at ghc 8.10.7 for now. https://github.com/kowainik/stan/issues/541