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

support building with ghc-9.6 / base >=4.18.0.0 #647

Closed larskuhtz closed 1 year ago

larskuhtz commented 1 year ago

In base >=4.18.0.0 SChar is exported from GHC.TypeLits which causes a conflict with the symbol of the same name in sbv. Using GHC.TypeLits with an explicit imports list avoids that disambiguates the use of SChar.

LeventErkok commented 1 year ago

@larskuhtz Thanks for the pull-request. Looks like it's getting a compilation failure?

larskuhtz commented 1 year ago

I forgot to test it for master. I only tested it with v9.2. Should be fixed now.