Build liquid-fixpoint with ghc-9.6.3

ucsd-progsys / liquid-fixpoint

Horn Clause Constraint Solving for Liquid Types

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

132 stars 60 forks source link

Build liquid-fixpoint with ghc-9.6.3 #662

Closed facundominguez closed 9 months ago

facundominguez commented 9 months ago

Only some additional imports were necessary. Because these cause unused-imports warnings in older GHCs, I'm disabling those warnings when using ghcs older than 9.6.