Stack project maintenance, remove allow-newer and more

ucsd-progsys / liquid-fixpoint

Horn Clause Constraint Solving for Liquid Types

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

132 stars 60 forks source link

Stack project maintenance, remove allow-newer and more #663

Closed philderbeast closed 9 months ago

philderbeast commented 9 months ago

Remove allow-newer: true
Match flags between Cabal and Stack projects
Be explicit with the version revisions
Pick up rest-rewrite from stackage
Bump the nightly resolver

Found when adding liquid-fixpoint as an Updo example

ranjitjhala commented 9 months ago

LGTM! thanks @philderbeast ! -- @facundominguez does anything jump out to you? [the link-z3-as-a-library: true is still optional, yes? ]

facundominguez commented 9 months ago

is still optional, yes?

It is optional, but we want CI to test that it is actually optional. If both cabal and stack set the flag, we could customize CI to have some jobs disable the flag.