yav/smtlib

Haskell datatypes for generating SMTLIB files.

smtlib's Issues

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

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

Missing `CmdComment` implementation in Hackage

I realized you merged the PR #3 in master, but the implementation of CmdComment is missing in the version available in Hackage. Could you release a new version in Hackage including the implementation of CmdComment please.