nick8325/equinox — pull request #1 by danr (2012-04-19 16:15:54+00:00)
Title: Make equinox and paradox compile with GHC 7.4.1

A lot of the imports were using the old style, updated to the hierarchy style.

There are still a lot of warnings when compiling, such as using fglasgowexts is deprecated, and this:

Sat.hs:341:1:
Warning: newtype `CInt' is used in an FFI declaration,
but its constructor is not in scope.
This will become an error in GHC 7.6.1.
When checking declaration:
foreign import ccall unsafe "static Wrapper.h solver_lit_begin" solver_lit_begin
:: Solver -> (Ptr ()) -> CInt -> IO ()

/Dan