Support builds with ghc-9.8.1

ucsd-progsys / liquid-fixpoint

Horn Clause Constraint Solving for Liquid Types

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

141 stars 61 forks source link

Closed facundominguez closed 9 months ago

facundominguez commented 9 months ago

I accidentally pushed to the develop branch, and because it is protected I cannot undo it. I'll monitor CI to get it green.

facundominguez commented 9 months ago

CI is green on the develop branch, so all is well.