search

yav / smtLib

Haskell datatypes for generating SMTLIB files.
MIT License
11 stars 5 forks source link

Please add `build-depends: base >= 4.5` to future releases #4

Closed hvr closed 8 years ago

hvr commented 9 years ago

For GHC 7.2 the compile error is

[ 2 of 13] Compiling SMTLib2.PP       ( src/SMTLib2/PP.hs, dist/dist-sandbox-a0edc2a0/build/SMTLib2/PP.o )

src/SMTLib2/PP.hs:5:1:
    pretty-1.1.0.0:Text.PrettyPrint can't be safely imported! The module itself isn't safe.
xcabal: Error: some packages failed to install:
smtLib-1.0.7 failed during the building phase. The exception was:
ExitFailure 1

whereas for GHC 7.0 it is

src/SMTLib1.hs:1:14: Unsupported extension: Safe
xcabal: Error: some packages failed to install:
smtLib-1.0.7 failed during the building phase. The exception was:
ExitFailure 1

I'm going to edit in base >= 4.5 lower bounds to the affected releases on Hackage

yav commented 8 years ago

Done.