*** setup configure setup/setup configure --ghc --user --prefix=/usr/local/tmp/archive/install --haddock-option=--use-contents=/package/cflp-2009.2.1 --haddock-option=--built-in-themes --verbose Configuring cflp-2009.2.1... Dependency HUnit -any: using HUnit-1.2.2.3 Dependency MonadRandom -any: using MonadRandom-0.1.6 Dependency base ==4.*: using base-4.3.0.0 Dependency containers -any: using containers-0.4.0.0 Dependency control-monad-omega -any: using control-monad-omega-0.3 Dependency incremental-sat-solver -any: using incremental-sat-solver-0.1.7 Dependency level-monad -any: using level-monad-0.4.1 Dependency logict -any: using logict-0.4.1 Dependency mtl -any: using mtl-1.1.1.1 Dependency random -any: using random-1.0.0.3 Dependency stream-monad -any: using stream-monad-0.4.0.1 Dependency syb -any: using syb-0.2.2 Dependency value-supply -any: using value-supply-0.5 Using Cabal-1.8.0.2 compiled by ghc-6.12 Using compiler: ghc-7.0.1 Using install prefix: /usr/local/tmp/archive/install Binaries installed in: /usr/local/tmp/archive/install/bin Libraries installed in: /usr/local/tmp/archive/install/lib/cflp-2009.2.1/ghc-7.0.1 Private binaries installed in: /usr/local/tmp/archive/install/libexec Data files installed in: /usr/local/tmp/archive/install/share/cflp-2009.2.1 Documentation installed in: /usr/local/tmp/archive/install/share/doc/cflp-2009.2.1 Using alex version 2.3.3 found on system at: /usr/bin/alex Using ar found on system at: /usr/bin/ar Using c2hs version 0.16.0 found on system at: /usr/local/bin/c2hs Using cpphs version 1.11 found on system at: /usr/local/bin/cpphs Using ffihugs found on system at: /usr/local/bin/ffihugs Using gcc version 4.4.5 found on system at: /usr/bin/gcc Using ghc version 7.0.1 found on system at: /usr/local/bin/ghc Using ghc-pkg version 7.0.1 found on system at: /usr/local/bin/ghc-pkg No greencard found Using haddock version 2.8.0 found on system at: /usr/local/bin/haddock Using happy version 1.18.6 found on system at: /usr/local/bin/happy No hmake found Using hsc2hs version 0.67 found on system at: /usr/local/bin/hsc2hs Using hscolour version 1.17 found on system at: /usr/local/bin/HsColour Using hugs found on system at: /usr/local/bin/hugs No jhc found Using ld found on system at: /usr/bin/ld No lhc found No lhc-pkg found No nhc98 found Using pkg-config version 0.25 found on system at: /usr/bin/pkg-config Using ranlib found on system at: /usr/bin/ranlib Using strip found on system at: /usr/bin/strip Using tar found on system at: /bin/tar *** setup build setup/setup build --verbose Creating dist/build (and its parents) Creating dist/build/autogen (and its parents) Preprocessing library cflp-2009.2.1... Building cflp-2009.2.1... Building library... Creating dist/build (and its parents) /usr/local/bin/ghc --make -package-name cflp-2009.2.1 -hide-all-packages -fbuilding-cabal-package -i -idist/build -isrc -idist/build/autogen -Idist/build/autogen -Idist/build -optP-include -optPdist/build/autogen/cabal_macros.h -odir dist/build -hidir dist/build -stubdir dist/build -package-id HUnit-1.2.2.3-50481ce73dbaef10ba043337a2dff7b0 -package-id MonadRandom-0.1.6-17e1b23eb77821bcf623ba5b5152ab57 -package-id base-4.3.0.0-b91367e4fa5bd47d8e75958171ad21b7 -package-id containers-0.4.0.0-5e5729c8cc8101038443c9bd0115af01 -package-id control-monad-omega-0.3-42a79fc5f96dde88583812f5bf0a31bb -package-id incremental-sat-solver-0.1.7-5478d17362a2db9617d4bbd32d5dbcde -package-id level-monad-0.4.1-7ec4f99e7b005f81c747b3a194c9dcb5 -package-id logict-0.4.1-500b3017a701c67f2d83acdb8357c235 -package-id mtl-1.1.1.1-119e9581a5b36cba380f4207cffdb596 -package-id random-1.0.0.3-e73ca4e6797f67d6994ecb5329f5b9fc -package-id stream-monad-0.4.0.1-208641f41197b5d34bbe782ff2db0722 -package-id syb-0.2.2-62926830f5b2f6422c94046c1b8d15eb -package-id value-supply-0.5-5930b28f3b793c515be780ba5847b4b0 -O -Wall -fno-warn-orphans -fno-warn-name-shadowing -XGeneralizedNewtypeDeriving -XNoMonomorphismRestriction -XFunctionalDependencies -XMultiParamTypeClasses -XUndecidableInstances -XOverlappingInstances -XIncoherentInstances -XFlexibleInstances -XFlexibleContexts -XNoMonoPatBinds -XPatternGuards -XTypeOperators -XTypeFamilies -XRankNTypes CFLP CFLP.Constraints.Boolean CFLP.Strategies CFLP.Strategies.CallTimeChoice CFLP.Strategies.DepthCounter CFLP.Strategies.DepthLimit CFLP.Strategies.Random CFLP.Tests CFLP.Tests.Boolean CFLP.Tests.CallTimeChoice CFLP.Tests.HigherOrder CFLP.Types.Bool CFLP.Types.List CFLP.Control.Monad.Update CFLP.Control.Strategy CFLP.Data CFLP.Data.Generic CFLP.Data.HigherOrder CFLP.Data.Matching CFLP.Data.Narrowing CFLP.Data.Primitive CFLP.Data.Types CFLP.Data.UniqueID [ 1 of 23] Compiling CFLP.Control.Monad.Update ( src/CFLP/Control/Monad/Update.lhs, dist/build/CFLP/Control/Monad/Update.o ) src/CFLP/Control/Monad/Update.lhs:92:7: Couldn't match type `s1' with `s3' because this skolem type variable would escape: `s3' This skolem is bound by the type signature for `run' The following variables have types that mention s1 doUpdate :: WithUpdate s1 m1 a1 -> StateT s1 m1 a1 (bound at src/CFLP/Control/Monad/Update.lhs:94:7) In an equation for `updateState': updateState = run where run :: MonadPlus m => UpdateT s m a -> StateT s m a run x = lift (unUpdateT x) >>= doUpdate doUpdate (Return a) = return a doUpdate (Update upd y) = do { update upd; .... } In the instance declaration for `Update s (UpdateT s m) m' src/CFLP/Control/Monad/Update.lhs:92:7: Couldn't match type `m1' with `m3' because this skolem type variable would escape: `m3' This skolem is bound by the type signature for `run' The following variables have types that mention m1 doUpdate :: WithUpdate s1 m1 a1 -> StateT s1 m1 a1 (bound at src/CFLP/Control/Monad/Update.lhs:94:7) In an equation for `updateState': updateState = run where run :: MonadPlus m => UpdateT s m a -> StateT s m a run x = lift (unUpdateT x) >>= doUpdate doUpdate (Return a) = return a doUpdate (Update upd y) = do { update upd; .... } In the instance declaration for `Update s (UpdateT s m) m' src/CFLP/Control/Monad/Update.lhs:92:7: Couldn't match type `a1' with `a3' because this skolem type variable would escape: `a3' This skolem is bound by the type signature for `run' The following variables have types that mention a1 doUpdate :: WithUpdate s1 m1 a1 -> StateT s1 m1 a1 (bound at src/CFLP/Control/Monad/Update.lhs:94:7) In an equation for `updateState': updateState = run where run :: MonadPlus m => UpdateT s m a -> StateT s m a run x = lift (unUpdateT x) >>= doUpdate doUpdate (Return a) = return a doUpdate (Update upd y) = do { update upd; .... } In the instance declaration for `Update s (UpdateT s m) m' src/CFLP/Control/Monad/Update.lhs:108:7: Couldn't match type `s' with `s3' because this skolem type variable would escape: `s3' This skolem is bound by the type signature for `run' The following variables have types that mention s doUpdate :: WithUpdate s m a -> StateT s (UpdateT s m) a (bound at src/CFLP/Control/Monad/Update.lhs:110:7) In an equation for `updateState': updateState = run where run :: MonadPlus m => UpdateT s m a -> StateT s (UpdateT s m) a run x = lift (lift (unUpdateT x)) >>= doUpdate doUpdate (Return a) = return a doUpdate (Update upd y) = do { update upd; .... } In the instance declaration for `Update s (UpdateT s m) (UpdateT s m)' src/CFLP/Control/Monad/Update.lhs:108:7: Couldn't match type `m' with `m3' because this skolem type variable would escape: `m3' This skolem is bound by the type signature for `run' The following variables have types that mention m doUpdate :: WithUpdate s m a -> StateT s (UpdateT s m) a (bound at src/CFLP/Control/Monad/Update.lhs:110:7) In an equation for `updateState': updateState = run where run :: MonadPlus m => UpdateT s m a -> StateT s (UpdateT s m) a run x = lift (lift (unUpdateT x)) >>= doUpdate doUpdate (Return a) = return a doUpdate (Update upd y) = do { update upd; .... } In the instance declaration for `Update s (UpdateT s m) (UpdateT s m)' src/CFLP/Control/Monad/Update.lhs:108:7: Couldn't match type `a' with `a3' because this skolem type variable would escape: `a3' This skolem is bound by the type signature for `run' The following variables have types that mention a doUpdate :: WithUpdate s m a -> StateT s (UpdateT s m) a (bound at src/CFLP/Control/Monad/Update.lhs:110:7) In an equation for `updateState': updateState = run where run :: MonadPlus m => UpdateT s m a -> StateT s (UpdateT s m) a run x = lift (lift (unUpdateT x)) >>= doUpdate doUpdate (Return a) = return a doUpdate (Update upd y) = do { update upd; .... } In the instance declaration for `Update s (UpdateT s m) (UpdateT s m)'