*** setup configure setup/setup configure --ghc --user --prefix=/usr/local/tmp/archive/install --haddock-option=--use-contents=/package/cflp-2009.1.28 --verbose Configuring cflp-2009.1.28... Dependency HUnit -any: using HUnit-1.2.2.1 Dependency MonadRandom -any: using MonadRandom-0.1.4 Dependency base >=4: using base-4.2.0.0 Dependency containers -any: using containers-0.3.0.0 Dependency control-monad-omega -any: using control-monad-omega-0.3 Dependency level-monad -any: using level-monad-0.4.1 Dependency logict -any: using logict-0.4 Dependency mtl -any: using mtl-1.1.0.2 Dependency random -any: using random-1.0.0.2 Dependency stream-monad -any: using stream-monad-0.2 Dependency syb -any: using syb-0.1.0.3 Dependency value-supply -any: using value-supply-0.5 Using Cabal-1.8.0.2 compiled by ghc-6.12 Using compiler: ghc-6.12.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.1.28/ghc-6.12.1 Private binaries installed in: /usr/local/tmp/archive/install/libexec Data files installed in: /usr/local/tmp/archive/install/share/cflp-2009.1.28 Documentation installed in: /usr/local/tmp/archive/install/share/doc/cflp-2009.1.28 Using alex version 2.3.1 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.3 found on system at: /usr/bin/gcc Using ghc version 6.12.1 found on system at: /usr/local/bin/ghc Using ghc-pkg version 6.12.1 found on system at: /usr/local/bin/ghc-pkg Using greencard found on system at: /usr/local/tmp/archive/install/bin/greencard Using haddock version 2.7.2 found on system at: /usr/local/bin/haddock Using happy version 1.17 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.16 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.22 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 haddock setup/setup haddock --verbose --html-location=/packages/archive/$pkg/$version/doc/html --hyperlink-source Running Haddock for cflp-2009.1.28... /usr/local/bin/haddock --use-contents=/package/cflp-2009.1.28 --ghc-version Creating dist/build (and its parents) Creating dist/build/autogen (and its parents) Preprocessing library cflp-2009.1.28... Running hscolour for cflp-2009.1.28... Creating dist/doc/html/cflp (and its parents) Creating dist/doc/html/cflp/src (and its parents) /usr/local/bin/HsColour -print-css -odist/doc/html/cflp/src/hscolour.css /usr/local/bin/HsColour -css -anchor -odist/doc/html/cflp/src/CFLP.html src/CFLP.lhs /usr/local/bin/HsColour -css -anchor -odist/doc/html/cflp/src/CFLP-Strategies.html src/CFLP/Strategies.lhs /usr/local/bin/HsColour -css -anchor -odist/doc/html/cflp/src/CFLP-Strategies-CallTimeChoice.html src/CFLP/Strategies/CallTimeChoice.lhs /usr/local/bin/HsColour -css -anchor -odist/doc/html/cflp/src/CFLP-Strategies-DepthCounter.html src/CFLP/Strategies/DepthCounter.lhs /usr/local/bin/HsColour -css -anchor -odist/doc/html/cflp/src/CFLP-Strategies-DepthLimit.html src/CFLP/Strategies/DepthLimit.lhs /usr/local/bin/HsColour -css -anchor -odist/doc/html/cflp/src/CFLP-Strategies-Random.html src/CFLP/Strategies/Random.lhs /usr/local/bin/HsColour -css -anchor -odist/doc/html/cflp/src/CFLP-Tests.html src/CFLP/Tests.lhs /usr/local/bin/HsColour -css -anchor -odist/doc/html/cflp/src/CFLP-Tests-CallTimeChoice.html src/CFLP/Tests/CallTimeChoice.lhs /usr/local/bin/HsColour -css -anchor -odist/doc/html/cflp/src/CFLP-Tests-HigherOrder.html src/CFLP/Tests/HigherOrder.lhs /usr/local/bin/HsColour -css -anchor -odist/doc/html/cflp/src/CFLP-Types-Bool.html src/CFLP/Types/Bool.lhs /usr/local/bin/HsColour -css -anchor -odist/doc/html/cflp/src/CFLP-Types-List.html src/CFLP/Types/List.lhs /usr/local/bin/HsColour -css -anchor -odist/doc/html/cflp/src/CFLP-Control-Monad-Update.html src/CFLP/Control/Monad/Update.lhs /usr/local/bin/HsColour -css -anchor -odist/doc/html/cflp/src/CFLP-Control-Strategy.html src/CFLP/Control/Strategy.lhs /usr/local/bin/HsColour -css -anchor -odist/doc/html/cflp/src/CFLP-Data.html src/CFLP/Data.lhs /usr/local/bin/HsColour -css -anchor -odist/doc/html/cflp/src/CFLP-Data-Generic.html src/CFLP/Data/Generic.lhs /usr/local/bin/HsColour -css -anchor -odist/doc/html/cflp/src/CFLP-Data-HigherOrder.html src/CFLP/Data/HigherOrder.lhs /usr/local/bin/HsColour -css -anchor -odist/doc/html/cflp/src/CFLP-Data-Matching.html src/CFLP/Data/Matching.lhs /usr/local/bin/HsColour -css -anchor -odist/doc/html/cflp/src/CFLP-Data-Narrowing.html src/CFLP/Data/Narrowing.lhs /usr/local/bin/HsColour -css -anchor -odist/doc/html/cflp/src/CFLP-Data-Primitive.html src/CFLP/Data/Primitive.lhs /usr/local/bin/HsColour -css -anchor -odist/doc/html/cflp/src/CFLP-Data-Types.html src/CFLP/Data/Types.lhs /usr/local/bin/HsColour -css -anchor -odist/doc/html/cflp/src/CFLP-Data-UniqueID.html src/CFLP/Data/UniqueID.lhs Warning: The documentation for the following packages are not installed. No links will be generated to these packages: ffi-1.0, rts-1.0 /usr/local/bin/ghc --print-libdir copy src/CFLP.lhs to dist/build/tmp27755/src/CFLP.lhs copy src/CFLP/Strategies.lhs to dist/build/tmp27755/src/CFLP/Strategies.lhs copy src/CFLP/Strategies/CallTimeChoice.lhs to dist/build/tmp27755/src/CFLP/Strategies/CallTimeChoice.lhs copy src/CFLP/Strategies/DepthCounter.lhs to dist/build/tmp27755/src/CFLP/Strategies/DepthCounter.lhs copy src/CFLP/Strategies/DepthLimit.lhs to dist/build/tmp27755/src/CFLP/Strategies/DepthLimit.lhs copy src/CFLP/Strategies/Random.lhs to dist/build/tmp27755/src/CFLP/Strategies/Random.lhs copy src/CFLP/Tests.lhs to dist/build/tmp27755/src/CFLP/Tests.lhs copy src/CFLP/Tests/CallTimeChoice.lhs to dist/build/tmp27755/src/CFLP/Tests/CallTimeChoice.lhs copy src/CFLP/Tests/HigherOrder.lhs to dist/build/tmp27755/src/CFLP/Tests/HigherOrder.lhs copy src/CFLP/Types/Bool.lhs to dist/build/tmp27755/src/CFLP/Types/Bool.lhs copy src/CFLP/Types/List.lhs to dist/build/tmp27755/src/CFLP/Types/List.lhs copy src/CFLP/Control/Monad/Update.lhs to dist/build/tmp27755/src/CFLP/Control/Monad/Update.lhs copy src/CFLP/Control/Strategy.lhs to dist/build/tmp27755/src/CFLP/Control/Strategy.lhs copy src/CFLP/Data.lhs to dist/build/tmp27755/src/CFLP/Data.lhs copy src/CFLP/Data/Generic.lhs to dist/build/tmp27755/src/CFLP/Data/Generic.lhs copy src/CFLP/Data/HigherOrder.lhs to dist/build/tmp27755/src/CFLP/Data/HigherOrder.lhs copy src/CFLP/Data/Matching.lhs to dist/build/tmp27755/src/CFLP/Data/Matching.lhs copy src/CFLP/Data/Narrowing.lhs to dist/build/tmp27755/src/CFLP/Data/Narrowing.lhs copy src/CFLP/Data/Primitive.lhs to dist/build/tmp27755/src/CFLP/Data/Primitive.lhs copy src/CFLP/Data/Types.lhs to dist/build/tmp27755/src/CFLP/Data/Types.lhs copy src/CFLP/Data/UniqueID.lhs to dist/build/tmp27755/src/CFLP/Data/UniqueID.lhs Creating dist/doc/html/cflp/ (and its parents) /usr/local/bin/haddock --use-contents=/package/cflp-2009.1.28 --prologue=dist/doc/html/cflp/haddock-prolog27755.txt --dump-interface=dist/doc/html/cflp/cflp.haddock --optghc=-package-name --optghc=cflp-2009.1.28 --hide=CFLP.Control.Monad.Update --hide=CFLP.Control.Strategy --hide=CFLP.Data --hide=CFLP.Data.Generic --hide=CFLP.Data.HigherOrder --hide=CFLP.Data.Matching --hide=CFLP.Data.Narrowing --hide=CFLP.Data.Primitive --hide=CFLP.Data.Types --hide=CFLP.Data.UniqueID --source-module=src/%{MODULE/./-}.html --source-entity=src/%{MODULE/./-}.html#%{NAME} --verbosity=1 --html --read-interface=/packages/archive/HUnit/1.2.2.1/doc/html,/usr/local/tmp/archive/install/share/doc/HUnit-1.2.2.1/html/HUnit.haddock --read-interface=/packages/archive/MonadRandom/0.1.4/doc/html,/usr/local/tmp/archive/install/share/doc/MonadRandom-0.1.4/html/MonadRandom.haddock --read-interface=/packages/archive/array/0.3.0.0/doc/html,/usr/local/share/doc/ghc/html/libraries/array-0.3.0.0/array.haddock --read-interface=/packages/archive/base/4.2.0.0/doc/html,/usr/local/share/doc/ghc/html/libraries/base-4.2.0.0/base.haddock --read-interface=/packages/archive/containers/0.3.0.0/doc/html,/usr/local/share/doc/ghc/html/libraries/containers-0.3.0.0/containers.haddock --read-interface=/packages/archive/control-monad-omega/0.3/doc/html,/usr/local/tmp/archive/install/share/doc/control-monad-omega-0.3/html/control-monad-omega.haddock --read-interface=/packages/archive/fmlist/0.8/doc/html,/usr/local/tmp/archive/install/share/doc/fmlist-0.8/html/fmlist.haddock --read-interface=/packages/archive/ghc-prim/0.2.0.0/doc/html,/usr/local/share/doc/ghc/html/libraries/ghc-prim-0.2.0.0/ghc-prim.haddock --read-interface=/packages/archive/integer-gmp/0.2.0.0/doc/html,/usr/local/share/doc/ghc/html/libraries/integer-gmp-0.2.0.0/integer-gmp.haddock --read-interface=/packages/archive/level-monad/0.4.1/doc/html,/usr/local/tmp/archive/install/share/doc/level-monad-0.4.1/html/level-monad.haddock --read-interface=/packages/archive/logict/0.4/doc/html,/usr/local/tmp/archive/install/share/doc/logict-0.4/html/logict.haddock --read-interface=/packages/archive/mtl/1.1.0.2/doc/html,/usr/local/tmp/archive/install/share/doc/mtl-1.1.0.2/html/mtl.haddock --read-interface=/packages/archive/old-locale/1.0.0.2/doc/html,/usr/local/share/doc/ghc/html/libraries/old-locale-1.0.0.2/old-locale.haddock --read-interface=/packages/archive/random/1.0.0.2/doc/html,/usr/local/share/doc/ghc/html/libraries/random-1.0.0.2/random.haddock --read-interface=/packages/archive/stream-monad/0.2/doc/html,/usr/local/tmp/archive/install/share/doc/stream-monad-0.2/html/stream-monad.haddock --read-interface=/packages/archive/syb/0.1.0.3/doc/html,/usr/local/tmp/archive/install/share/doc/syb-0.1.0.3/html/syb.haddock --read-interface=/packages/archive/time/1.1.4/doc/html,/usr/local/share/doc/ghc/html/libraries/time-1.1.4/time.haddock --read-interface=/packages/archive/value-supply/0.5/doc/html,/usr/local/tmp/archive/install/share/doc/value-supply-0.5/html/value-supply.haddock --odir=dist/doc/html/cflp/ --title=cflp-2009.1.28: Constraint Functional-Logic Programming in Haskell --optghc=-hide-all-packages --optghc=-fbuilding-cabal-package --optghc=-i --optghc=-idist/build --optghc=-isrc --optghc=-idist/build/autogen --optghc=-Idist/build/autogen --optghc=-Idist/build --optghc=-optP-include --optghc=-optPdist/build/autogen/cabal_macros.h --optghc=-odir --optghc=dist/build --optghc=-hidir --optghc=dist/build --optghc=-stubdir --optghc=dist/build --optghc=-package-id --optghc=HUnit-1.2.2.1-0b63c048ba7b7e5fa291171c8608ad81 --optghc=-package-id --optghc=MonadRandom-0.1.4-fbc61a3ba27a75f1cd3473437e06ba6d --optghc=-package-id --optghc=base-4.2.0.0-c9182baf5cf44f2e72b2298fa160086c --optghc=-package-id --optghc=containers-0.3.0.0-409fe3b8f0dda25b98e03716d26be411 --optghc=-package-id --optghc=control-monad-omega-0.3-540dddc12122a54397c66083efac45b3 --optghc=-package-id --optghc=level-monad-0.4.1-fb5933fb1db5af18f3d6b893f87299de --optghc=-package-id --optghc=logict-0.4-c2c18930947699bdf6849084a4afd6e6 --optghc=-package-id --optghc=mtl-1.1.0.2-23ca4de7c573fd4df309067199a40634 --optghc=-package-id --optghc=random-1.0.0.2-156803737564049405b3380fdb96ac75 --optghc=-package-id --optghc=stream-monad-0.2-307d98d1f6a0da0ef9349112bf1b07ef --optghc=-package-id --optghc=syb-0.1.0.3-646948ebf94a3761987a9ec12f9c9b4c --optghc=-package-id --optghc=value-supply-0.5-0f36471281a8db44ef9ff722d7cc9899 --optghc=-O --optghc=-Wall --optghc=-fno-warn-orphans --optghc=-fno-warn-name-shadowing --optghc=-XGeneralizedNewtypeDeriving --optghc=-XNoMonomorphismRestriction --optghc=-XFunctionalDependencies --optghc=-XMultiParamTypeClasses --optghc=-XUndecidableInstances --optghc=-XOverlappingInstances --optghc=-XIncoherentInstances --optghc=-XFlexibleInstances --optghc=-XFlexibleContexts --optghc=-XNoMonoPatBinds --optghc=-XPatternGuards --optghc=-XTypeOperators --optghc=-XTypeFamilies --optghc=-XRankNTypes -B/usr/local/lib/ghc-6.12.1 dist/build/tmp27755/src/CFLP.hs dist/build/tmp27755/src/CFLP/Strategies.hs dist/build/tmp27755/src/CFLP/Strategies/CallTimeChoice.hs dist/build/tmp27755/src/CFLP/Strategies/DepthCounter.hs dist/build/tmp27755/src/CFLP/Strategies/DepthLimit.hs dist/build/tmp27755/src/CFLP/Strategies/Random.hs dist/build/tmp27755/src/CFLP/Tests.hs dist/build/tmp27755/src/CFLP/Tests/CallTimeChoice.hs dist/build/tmp27755/src/CFLP/Tests/HigherOrder.hs dist/build/tmp27755/src/CFLP/Types/Bool.hs dist/build/tmp27755/src/CFLP/Types/List.hs dist/build/tmp27755/src/CFLP/Control/Monad/Update.hs dist/build/tmp27755/src/CFLP/Control/Strategy.hs dist/build/tmp27755/src/CFLP/Data.hs dist/build/tmp27755/src/CFLP/Data/Generic.hs dist/build/tmp27755/src/CFLP/Data/HigherOrder.hs dist/build/tmp27755/src/CFLP/Data/Matching.hs dist/build/tmp27755/src/CFLP/Data/Narrowing.hs dist/build/tmp27755/src/CFLP/Data/Primitive.hs dist/build/tmp27755/src/CFLP/Data/Types.hs dist/build/tmp27755/src/CFLP/Data/UniqueID.hs Warning: CFLP.Control.Strategy: Instances of type and data families are not yet supported. Instances of the following families will be filtered out: Res, Ctx Warning: CFLP.Strategies.CallTimeChoice: Instances of type and data families are not yet supported. Instances of the following families will be filtered out: Ctx, Res Warning: CFLP.Strategies.DepthCounter: Instances of type and data families are not yet supported. Instances of the following families will be filtered out: Ctx, Res Warning: CFLP.Strategies.DepthLimit: Instances of type and data families are not yet supported. Instances of the following families will be filtered out: Ctx, Res Warning: CFLP.Strategies.Random: Instances of type and data families are not yet supported. Instances of the following families will be filtered out: Ctx, Res Warning: CFLP.Data.Generic: We do not support associated types in instances yet. These instances are affected: (CFLP.Data.Generic.Generic a, CFLP.Data.Generic.ApplyCons b) => CFLP.Data.Generic.ApplyCons (a -> b), CFLP.Data.Generic.ApplyCons GHC.Bool.Bool Warning: CFLP.Data.UniqueID: We do not support associated types in instances yet. These instances are affected: CFLP.Data.UniqueID.With x (CFLP.Data.Types.Nondet cs m a), (CFLP.Data.UniqueID.With CFLP.Data.Types.ID a) => CFLP.Data.UniqueID.With CFLP.Data.Types.ID (CFLP.Data.Types.ID -> a) Warning: CFLP.Data.Matching: We do not support associated types in instances yet. These instances are affected: CFLP.Data.Matching.WithUntyped (CFLP.Data.Types.Nondet cs m a), (CFLP.Data.Matching.WithUntyped a, cs ~ (CFLP.Data.Matching.C a), m ~ (CFLP.Data.Matching.M a)) => CFLP.Data.Matching.WithUntyped (CFLP.Data.Types.Nondet cs m b -> a), (GHC.Base.Monad m) => CFLP.Data.Matching.MkCons (CFLP.Data.Types.Nondet cs m a), (CFLP.Data.Matching.MkCons b, cs ~ (CFLP.Data.Matching.Ctx b), m ~ (CFLP.Data.Matching.Mon b)) => CFLP.Data.Matching.MkCons (CFLP.Data.Types.Nondet cs m a -> b), CFLP.Data.Matching.ConsList (), (CFLP.Data.Matching.MkCons a, CFLP.Data.Matching.ConsList b) => CFLP.Data.Matching.ConsList (CFLP.Data.Matching.ConsPatList a b), CFLP.Data.Matching.PatternList (), (CFLP.Data.Matching.WithUntyped a, CFLP.Data.Matching.PatternList p, cs ~ (CFLP.Data.Matching.C a), m ~ (CFLP.Data.Matching.M a), b ~ (CFLP.Data.Matching.T a)) => CFLP.Data.Matching.PatternList (CFLP.Data.Matching.ConsPatList ((CFLP.Data.Types.Context cs -> a) -> CFLP.Data.Matching.Match t cs m b) p) dist/build/tmp27755/src/CFLP/Strategies.hs:64:22: Not in scope: type constructor or class `Levels' dist/build/tmp27755/src/CFLP/Strategies.hs:64:49: Not in scope: `breadthFirstSearch' dist/build/tmp27755/src/CFLP/Strategies.hs:66:46: Not in scope: type constructor or class `Levels' Warning: CFLP.Data.HigherOrder: We do not support associated types in instances yet. These instances are affected: CFLP.Data.HigherOrder.LiftFun (CFLP.Data.Types.Nondet cs m a -> CFLP.Data.Types.Nondet cs m b), CFLP.Data.HigherOrder.LiftFun (CFLP.Data.Types.Nondet cs m a -> CFLP.Data.Types.Context cs -> CFLP.Data.Types.Nondet cs m b), CFLP.Data.HigherOrder.LiftFun (CFLP.Data.Types.Nondet cs m a -> CFLP.Data.Types.ID -> CFLP.Data.Types.Nondet cs m b), CFLP.Data.HigherOrder.LiftFun (CFLP.Data.Types.Nondet cs m a -> CFLP.Data.Types.Context cs -> CFLP.Data.Types.ID -> CFLP.Data.Types.Nondet cs m b), (CFLP.Data.HigherOrder.LiftFun (CFLP.Data.Types.Nondet cs m b -> f)) => CFLP.Data.HigherOrder.LiftFun (CFLP.Data.Types.Nondet cs m a -> CFLP.Data.Types.Nondet cs m b -> f) *** Trying again with preferred-versions *** setup configure setup/setup configure --ghc --user --prefix=/usr/local/tmp/archive/install --haddock-option=--use-contents=/package/cflp-2009.1.28 --constraint=base<4 --constraint=parsec<3 --constraint=QuickCheck<2 --constraint=cabal-install<0.8 --verbose Configuring cflp-2009.1.28... setup: At least the following dependencies are missing: base >=4 && <4