search

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

Version 10.0+ does not build with GHC 9.0 #655

Closed lsrcz closed 1 year ago

lsrcz commented 1 year ago

The version 10.0+ contains a new example Documentation.SBV.Examples.Puzzles.Orangutans, which uses the OverloadedRecordDot extension.

The extension is nice but it is GHC 9.2+ only..

LeventErkok commented 1 year ago

That’s unfortunate indeed. Alas, I don’t try to support all GHC variants, as trying to do so is an endless task.

if this is a problem for you, I’d recommend getting a local copy and modifying it to either remove the example completely or rewrite it to avoid the overloaded record dot, and use that local version.

lsrcz commented 1 year ago

Thanks for the explanation and that makes sense.

However, it could be helpful to also update the base dependency version to represent this decision to avoid confusion.

LeventErkok commented 1 year ago

That’s a good point. Do you mind sending a PR that does that? I’ll be happy to merge!

LeventErkok commented 1 year ago

Waiting for PR to fix the dependency. Thanks.

LeventErkok commented 1 year ago

PR merged.