search

ekmett / ersatz

A monad for interfacing with external SAT solvers
Other
62 stars 15 forks source link

compile error with ghc-7.10 (wants FlexibleContexts) #11

Closed jwaldmann closed 8 years ago

jwaldmann commented 9 years ago

for ersatz-0.3:

[2 of 3] Compiling Sudoku.Problem   ( examples/sudoku/Sudoku/Problem.hs, dist/build/ersatz-sudoku/ersatz-sudoku-tmp/Sudoku/Problem.o )

examples/sudoku/Sudoku/Problem.hs:48:5:
    Non type-variable argument in the constraint: MonadReader Env m
    (Use FlexibleContexts to permit this)

this is annoying, as it only concerns an example, but prohibits (automatic) installation - unless you figure out cabal install -f -examples ...

glguy commented 8 years ago

Fixed in ersatz-0.3.1