sebfisch / incremental-sat-solver

Simple, Incremental SAT Solving as a Haskell Library

Home Page:http://github.com/sebfisch/incremental-sat-solver

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Errors with GHC-7.10

sjakobi opened this issue · comments

$ stack init --resolver lts-3.4
Writing default config file to: /home/simon/src/incremental-sat-solver/stack.yaml
Basing on cabal files:
- /home/simon/src/incremental-sat-solver/incremental-sat-solver.cabal

Checking against build plan lts-3.4
Selected resolver: lts-3.4
Wrote project config to: /home/simon/src/incremental-sat-solver/stack.yaml
$ stack build
incremental-sat-solver-0.1.7: configure
Configuring incremental-sat-solver-0.1.7...
incremental-sat-solver-0.1.7: build
Preprocessing library incremental-sat-solver-0.1.7...
[1 of 2] Compiling Data.Boolean     ( Data/Boolean.hs, .stack-work/dist/x86_64-linux/Cabal-1.22.4.0/build/Data/Boolean.o )
[2 of 2] Compiling Data.Boolean.SatSolver ( Data/Boolean/SatSolver.hs, .stack-work/dist/x86_64-linux/Cabal-1.22.4.0/build/Data/Boolean/SatSolver.o )

/home/simon/src/incremental-sat-solver/Data/Boolean/SatSolver.hs:106:20:
    No instance for (Foldable t0) arising from a use of ‘null’
    The type variable ‘t0’ is ambiguous
    Note: there are several potential instances:
      instance Foldable (Either a) -- Defined in ‘Data.Foldable’
      instance Foldable Data.Proxy.Proxy -- Defined in ‘Data.Foldable’
      instance GHC.Arr.Ix i => Foldable (GHC.Arr.Array i)
        -- Defined in ‘Data.Foldable’
      ...plus 10 others
    In the first argument of ‘(.)’, namely ‘null’
    In the second argument of ‘(.)’, namely ‘null . solve’
    In the expression: not . null . solve

/home/simon/src/incremental-sat-solver/Data/Boolean/SatSolver.hs:106:27:
    No instance for (MonadPlus t0) arising from a use of ‘solve’
    The type variable ‘t0’ is ambiguous
    Note: there are several potential instances:
      instance transformers-0.4.2.0:Control.Monad.Trans.Error.Error e =>
               MonadPlus (Either e)
        -- Defined in ‘transformers-0.4.2.0:Control.Monad.Trans.Error’
      instance MonadPlus Maybe -- Defined in ‘GHC.Base’
      instance MonadPlus IO
        -- Defined in ‘transformers-0.4.2.0:Control.Monad.Trans.Error’
      ...plus 12 others
    In the second argument of ‘(.)’, namely ‘solve’
    In the second argument of ‘(.)’, namely ‘null . solve’
    In the expression: not . null . solve

--  While building package incremental-sat-solver-0.1.7 using:
      /home/simon/.stack/setup-exe-cache/setup-Simple-Cabal-1.22.4.0-x86_64-linux-ghc-7.10.2 --builddir=.stack-work/dist/x86_64-linux/Cabal-1.22.4.0/ build lib:incremental-sat-solver --ghc-options -hpcdir .stack-work/dist/x86_64-linux/Cabal-1.22.4.0/hpc/.hpc/ -ddump-hi -ddump-to-file
    Process exited with code: ExitFailure 1