*** setup configure

Configuring funsat-0.4...
Dependency QuickCheck -any: using QuickCheck-2.1.0.3
Dependency array -any: using array-0.3.0.0
Dependency base -any: using base-4.2.0.0
Dependency bitset -any: using bitset-1.0
Dependency containers -any: using containers-0.3.0.0
Dependency fgl -any: using fgl-5.4.2.2
Dependency mtl -any: using mtl-1.1.0.2
Dependency parse-dimacs -any: using parse-dimacs-1.2
Dependency parsec -any: using parsec-3.1.0
Dependency pretty -any: using pretty-1.0.1.1
Dependency random -any: using random-1.0.0.2
Dependency time -any: using time-1.1.4
Warning: This package indirectly depends on multiple versions of the same
package. This is highly likely to cause a compile failure.
package ghc-binary-0.5.0.2 requires bytestring-0.9.1.5
package ghc-6.12.1 requires bytestring-0.9.1.5
package parsec-3.1.0 requires bytestring-0.9.1.6
package parse-dimacs-1.2 requires bytestring-0.9.1.6
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/funsat-0.4/ghc-6.12.1
Private binaries installed in: /usr/local/tmp/archive/install/libexec
Data files installed in: /usr/local/tmp/archive/install/share/funsat-0.4
Documentation installed in:
/usr/local/tmp/archive/install/share/doc/funsat-0.4
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

Running Haddock for funsat-0.4...
/usr/local/bin/haddock --use-contents=/package/funsat-0.4 --ghc-version
Creating dist/build (and its parents)
Creating dist/build/autogen (and its parents)
Preprocessing library funsat-0.4...
Preprocessing executables for funsat-0.4...
Running hscolour for funsat-0.4...
Creating dist/doc/html/funsat (and its parents)
Creating dist/doc/html/funsat/src (and its parents)
/usr/local/bin/HsColour -print-css -odist/doc/html/funsat/src/hscolour.css
/usr/local/bin/HsColour -css -anchor -odist/doc/html/funsat/src/Funsat-Solver.html Funsat/Solver.hs
/usr/local/bin/HsColour -css -anchor -odist/doc/html/funsat/src/DPLL-Monad.html DPLL/Monad.hs
/usr/local/bin/HsColour -css -anchor -odist/doc/html/funsat/src/Control-Monad-MonadST.html Control/Monad/MonadST.hs
/usr/local/bin/HsColour -css -anchor -odist/doc/html/funsat/src/Text-Tabular.html Text/Tabular.hs
/usr/local/bin/HsColour -css -anchor -odist/doc/html/funsat/src/Funsat-FastDom.html Funsat/FastDom.hs
/usr/local/bin/HsColour -css -anchor -odist/doc/html/funsat/src/Funsat-Utils.html Funsat/Utils.hs
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
/usr/local/bin/ghc -E -cpp -x hs -optP-include -optPdist/build/autogen/cabal_macros.h -o dist/build/tmp2213/Funsat/Solver.hs Funsat/Solver.hs -Dlinux_BUILD_OS -Dlinux_HOST_OS -Di386_BUILD_ARCH -Di386_HOST_ARCH -D__GLASGOW_HASKELL__=612

Funsat/Solver.hs:1:13:
    Warning: -XPatternSignatures is deprecated: use -XScopedTypeVariables or pragma {-# LANGUAGE ScopedTypeVariables #-} instead
/usr/local/bin/ghc -E -cpp -x hs -optP-include -optPdist/build/autogen/cabal_macros.h -o dist/build/tmp2213/DPLL/Monad.hs DPLL/Monad.hs -Dlinux_BUILD_OS -Dlinux_HOST_OS -Di386_BUILD_ARCH -Di386_HOST_ARCH -D__GLASGOW_HASKELL__=612
/usr/local/bin/ghc -E -cpp -x hs -optP-include -optPdist/build/autogen/cabal_macros.h -o dist/build/tmp2213/Control/Monad/MonadST.hs Control/Monad/MonadST.hs -Dlinux_BUILD_OS -Dlinux_HOST_OS -Di386_BUILD_ARCH -Di386_HOST_ARCH -D__GLASGOW_HASKELL__=612
/usr/local/bin/ghc -E -cpp -x hs -optP-include -optPdist/build/autogen/cabal_macros.h -o dist/build/tmp2213/Text/Tabular.hs Text/Tabular.hs -Dlinux_BUILD_OS -Dlinux_HOST_OS -Di386_BUILD_ARCH -Di386_HOST_ARCH -D__GLASGOW_HASKELL__=612
/usr/local/bin/ghc -E -cpp -x hs -optP-include -optPdist/build/autogen/cabal_macros.h -o dist/build/tmp2213/Funsat/FastDom.hs Funsat/FastDom.hs -Dlinux_BUILD_OS -Dlinux_HOST_OS -Di386_BUILD_ARCH -Di386_HOST_ARCH -D__GLASGOW_HASKELL__=612
/usr/local/bin/ghc -E -cpp -x hs -optP-include -optPdist/build/autogen/cabal_macros.h -o dist/build/tmp2213/Funsat/Utils.hs Funsat/Utils.hs -Dlinux_BUILD_OS -Dlinux_HOST_OS -Di386_BUILD_ARCH -Di386_HOST_ARCH -D__GLASGOW_HASKELL__=612

Funsat/Utils.hs:1:13:
    Warning: -XPatternSignatures is deprecated: use -XScopedTypeVariables or pragma {-# LANGUAGE ScopedTypeVariables #-} instead
Creating dist/doc/html/funsat/ (and its parents)
/usr/local/bin/haddock --use-contents=/package/funsat-0.4 --prologue=dist/doc/html/funsat/haddock-prolog2213.txt --dump-interface=dist/doc/html/funsat/funsat.haddock --optghc=-package-name --optghc=funsat-0.4 --hide=Funsat.FastDom --hide=Funsat.Utils --source-module=src/%{MODULE/./-}.html --source-entity=src/%{MODULE/./-}.html#%{NAME} --verbosity=1 --html --read-interface=/packages/archive/Cabal/1.8.0.2/doc/html,/usr/local/share/doc/ghc/html/libraries/Cabal-1.8.0.2/Cabal.haddock --read-interface=/packages/archive/QuickCheck/2.1.0.3/doc/html,/usr/local/tmp/archive/install/share/doc/QuickCheck-2.1.0.3/html/QuickCheck.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/bin-package-db/0.0.0.0/doc/html,/usr/local/share/doc/ghc/html/libraries/bin-package-db-0.0.0.0/bin-package-db.haddock --read-interface=/packages/archive/bitset/1.0/doc/html,/usr/local/tmp/archive/install/share/doc/bitset-1.0/html/bitset.haddock --read-interface=/packages/archive/bytestring/0.9.1.5/doc/html,/usr/local/share/doc/ghc/html/libraries/bytestring-0.9.1.5/bytestring.haddock --read-interface=/packages/archive/bytestring/0.9.1.6/doc/html,/usr/local/tmp/archive/install/share/doc/bytestring-0.9.1.6/html/bytestring.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/directory/1.0.1.0/doc/html,/usr/local/share/doc/ghc/html/libraries/directory-1.0.1.0/directory.haddock --read-interface=/packages/archive/extensible-exceptions/0.1.1.1/doc/html,/usr/local/share/doc/ghc/html/libraries/extensible-exceptions-0.1.1.1/extensible-exceptions.haddock --read-interface=/packages/archive/fgl/5.4.2.2/doc/html,/usr/local/tmp/archive/install/share/doc/fgl-5.4.2.2/html/fgl.haddock --read-interface=/packages/archive/filepath/1.1.0.3/doc/html,/usr/local/share/doc/ghc/html/libraries/filepath-1.1.0.3/filepath.haddock --read-interface=/packages/archive/ghc/6.12.1/doc/html,/usr/local/share/doc/ghc/html/libraries/ghc-6.12.1/ghc.haddock --read-interface=/packages/archive/ghc-binary/0.5.0.2/doc/html,/usr/local/share/doc/ghc/html/libraries/ghc-binary-0.5.0.2/ghc-binary.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/hpc/0.5.0.4/doc/html,/usr/local/share/doc/ghc/html/libraries/hpc-0.5.0.4/hpc.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/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/old-time/1.0.0.3/doc/html,/usr/local/share/doc/ghc/html/libraries/old-time-1.0.0.3/old-time.haddock --read-interface=/packages/archive/parse-dimacs/1.2/doc/html,/usr/local/tmp/archive/install/share/doc/parse-dimacs-1.2/html/parse-dimacs.haddock --read-interface=/packages/archive/parsec/3.1.0/doc/html,/usr/local/tmp/archive/install/share/doc/parsec-3.1.0/html/parsec.haddock --read-interface=/packages/archive/pretty/1.0.1.1/doc/html,/usr/local/share/doc/ghc/html/libraries/pretty-1.0.1.1/pretty.haddock --read-interface=/packages/archive/process/1.0.1.2/doc/html,/usr/local/share/doc/ghc/html/libraries/process-1.0.1.2/process.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/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/template-haskell/2.4.0.0/doc/html,/usr/local/share/doc/ghc/html/libraries/template-haskell-2.4.0.0/template-haskell.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/unix/2.4.0.0/doc/html,/usr/local/share/doc/ghc/html/libraries/unix-2.4.0.0/unix.haddock --odir=dist/doc/html/funsat/ --title=funsat-0.4: A modern DPLL-style SAT solver --optghc=-hide-all-packages --optghc=-fbuilding-cabal-package --optghc=-i --optghc=-idist/build --optghc=-i. --optghc=-itests --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=QuickCheck-2.1.0.3-d4ae7d01dc2504e1785e18cd555e91ed --optghc=-package-id --optghc=array-0.3.0.0-dbdf73710a5bd9a534e8bcb2d8c8ee98 --optghc=-package-id --optghc=base-4.2.0.0-c9182baf5cf44f2e72b2298fa160086c --optghc=-package-id --optghc=bitset-1.0-9e874b12777ba750a2c3f0ff9b5fc88d --optghc=-package-id --optghc=containers-0.3.0.0-409fe3b8f0dda25b98e03716d26be411 --optghc=-package-id --optghc=fgl-5.4.2.2-b8d82ec3c56cf09c6b250421a002d84b --optghc=-package-id --optghc=mtl-1.1.0.2-23ca4de7c573fd4df309067199a40634 --optghc=-package-id --optghc=parse-dimacs-1.2-9326e986306273d3271b8293adaa2e4b --optghc=-package-id --optghc=parsec-3.1.0-1dde57682e33d9eb5ad523ff675c2cdb --optghc=-package-id --optghc=pretty-1.0.1.1-2bfa34c699efff7eed4d6297a2dac12d --optghc=-package-id --optghc=random-1.0.0.2-156803737564049405b3380fdb96ac75 --optghc=-package-id --optghc=time-1.1.4-74673f7d068def85b6a33c1cfba358a9 --optghc=-O --optghc=-W --optghc=-funbox-strict-fields --optghc=-XCPP -B/usr/local/lib/ghc-6.12.1 dist/build/tmp2213/Funsat/Solver.hs dist/build/tmp2213/DPLL/Monad.hs dist/build/tmp2213/Control/Monad/MonadST.hs dist/build/tmp2213/Text/Tabular.hs dist/build/tmp2213/Funsat/FastDom.hs dist/build/tmp2213/Funsat/Utils.hs

Funsat/Solver.hs:473:17:
    Not in scope: type constructor or class `BitSet.Hash'

Funsat/Solver.hs:479:9:
    Not in scope: type constructor or class `BitSet.Hash'

Funsat/Solver.hs:480:4:
    `hash' is not a (visible) method of class `Hash'

Funsat/Solver.hs:484:9:
    Not in scope: type constructor or class `BitSet.Hash'

Funsat/Solver.hs:485:4:
    `hash' is not a (visible) method of class `Hash'

*** Trying again with preferred-versions

*** setup configure

Configuring funsat-0.4...
Dependency QuickCheck <2: using QuickCheck-1.2.0.0
Dependency array -any: using array-0.3.0.0
Dependency base <4: using base-3.0.3.2
Dependency bitset -any: using bitset-1.0
Dependency containers -any: using containers-0.3.0.0
Dependency fgl -any: using fgl-5.4.2.2
Dependency mtl -any: using mtl-1.1.0.2
Dependency parse-dimacs -any: using parse-dimacs-1.2
Dependency parsec <3: using parsec-2.1.0.1
Dependency pretty -any: using pretty-1.0.1.1
Dependency random -any: using random-1.0.0.2
Dependency time -any: using time-1.1.4
Warning: This package indirectly depends on multiple versions of the same
package. This is highly likely to cause a compile failure.
package funsat-0.4 requires QuickCheck-1.2.0.0
package bitset-1.0 requires QuickCheck-2.1.0.3
package ghc-binary-0.5.0.2 requires bytestring-0.9.1.5
package ghc-6.12.1 requires bytestring-0.9.1.5
package parsec-3.1.0 requires bytestring-0.9.1.6
package parse-dimacs-1.2 requires bytestring-0.9.1.6
package funsat-0.4 requires parsec-2.1.0.1
package parse-dimacs-1.2 requires parsec-3.1.0
package base-3.0.3.2 requires syb-0.1.0.2
package parsec-3.1.0 requires syb-0.1.0.3
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/funsat-0.4/ghc-6.12.1
Private binaries installed in: /usr/local/tmp/archive/install/libexec
Data files installed in: /usr/local/tmp/archive/install/share/funsat-0.4
Documentation installed in:
/usr/local/tmp/archive/install/share/doc/funsat-0.4
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

Running Haddock for funsat-0.4...
/usr/local/bin/haddock --use-contents=/package/funsat-0.4 --ghc-version
Creating dist/build (and its parents)
Creating dist/build/autogen (and its parents)
Preprocessing library funsat-0.4...
Preprocessing executables for funsat-0.4...
Running hscolour for funsat-0.4...
Creating dist/doc/html/funsat (and its parents)
Creating dist/doc/html/funsat/src (and its parents)
/usr/local/bin/HsColour -print-css -odist/doc/html/funsat/src/hscolour.css
/usr/local/bin/HsColour -css -anchor -odist/doc/html/funsat/src/Funsat-Solver.html Funsat/Solver.hs
/usr/local/bin/HsColour -css -anchor -odist/doc/html/funsat/src/DPLL-Monad.html DPLL/Monad.hs
/usr/local/bin/HsColour -css -anchor -odist/doc/html/funsat/src/Control-Monad-MonadST.html Control/Monad/MonadST.hs
/usr/local/bin/HsColour -css -anchor -odist/doc/html/funsat/src/Text-Tabular.html Text/Tabular.hs
/usr/local/bin/HsColour -css -anchor -odist/doc/html/funsat/src/Funsat-FastDom.html Funsat/FastDom.hs
/usr/local/bin/HsColour -css -anchor -odist/doc/html/funsat/src/Funsat-Utils.html Funsat/Utils.hs
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: base-3.0.3.2, ffi-1.0, rts-1.0
/usr/local/bin/ghc --print-libdir
/usr/local/bin/ghc -E -cpp -x hs -optP-include -optPdist/build/autogen/cabal_macros.h -o dist/build/tmp2303/Funsat/Solver.hs Funsat/Solver.hs -Dlinux_BUILD_OS -Dlinux_HOST_OS -Di386_BUILD_ARCH -Di386_HOST_ARCH -D__GLASGOW_HASKELL__=612

Funsat/Solver.hs:1:13:
    Warning: -XPatternSignatures is deprecated: use -XScopedTypeVariables or pragma {-# LANGUAGE ScopedTypeVariables #-} instead
/usr/local/bin/ghc -E -cpp -x hs -optP-include -optPdist/build/autogen/cabal_macros.h -o dist/build/tmp2303/DPLL/Monad.hs DPLL/Monad.hs -Dlinux_BUILD_OS -Dlinux_HOST_OS -Di386_BUILD_ARCH -Di386_HOST_ARCH -D__GLASGOW_HASKELL__=612
/usr/local/bin/ghc -E -cpp -x hs -optP-include -optPdist/build/autogen/cabal_macros.h -o dist/build/tmp2303/Control/Monad/MonadST.hs Control/Monad/MonadST.hs -Dlinux_BUILD_OS -Dlinux_HOST_OS -Di386_BUILD_ARCH -Di386_HOST_ARCH -D__GLASGOW_HASKELL__=612
/usr/local/bin/ghc -E -cpp -x hs -optP-include -optPdist/build/autogen/cabal_macros.h -o dist/build/tmp2303/Text/Tabular.hs Text/Tabular.hs -Dlinux_BUILD_OS -Dlinux_HOST_OS -Di386_BUILD_ARCH -Di386_HOST_ARCH -D__GLASGOW_HASKELL__=612
/usr/local/bin/ghc -E -cpp -x hs -optP-include -optPdist/build/autogen/cabal_macros.h -o dist/build/tmp2303/Funsat/FastDom.hs Funsat/FastDom.hs -Dlinux_BUILD_OS -Dlinux_HOST_OS -Di386_BUILD_ARCH -Di386_HOST_ARCH -D__GLASGOW_HASKELL__=612
/usr/local/bin/ghc -E -cpp -x hs -optP-include -optPdist/build/autogen/cabal_macros.h -o dist/build/tmp2303/Funsat/Utils.hs Funsat/Utils.hs -Dlinux_BUILD_OS -Dlinux_HOST_OS -Di386_BUILD_ARCH -Di386_HOST_ARCH -D__GLASGOW_HASKELL__=612

Funsat/Utils.hs:1:13:
    Warning: -XPatternSignatures is deprecated: use -XScopedTypeVariables or pragma {-# LANGUAGE ScopedTypeVariables #-} instead
Creating dist/doc/html/funsat/ (and its parents)
/usr/local/bin/haddock --use-contents=/package/funsat-0.4 --prologue=dist/doc/html/funsat/haddock-prolog2303.txt --dump-interface=dist/doc/html/funsat/funsat.haddock --optghc=-package-name --optghc=funsat-0.4 --hide=Funsat.FastDom --hide=Funsat.Utils --source-module=src/%{MODULE/./-}.html --source-entity=src/%{MODULE/./-}.html#%{NAME} --verbosity=1 --html --read-interface=/packages/archive/Cabal/1.8.0.2/doc/html,/usr/local/share/doc/ghc/html/libraries/Cabal-1.8.0.2/Cabal.haddock --read-interface=/packages/archive/QuickCheck/1.2.0.0/doc/html,/usr/local/tmp/archive/install/share/doc/QuickCheck-1.2.0.0/html/QuickCheck.haddock --read-interface=/packages/archive/QuickCheck/2.1.0.3/doc/html,/usr/local/tmp/archive/install/share/doc/QuickCheck-2.1.0.3/html/QuickCheck.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/bin-package-db/0.0.0.0/doc/html,/usr/local/share/doc/ghc/html/libraries/bin-package-db-0.0.0.0/bin-package-db.haddock --read-interface=/packages/archive/bitset/1.0/doc/html,/usr/local/tmp/archive/install/share/doc/bitset-1.0/html/bitset.haddock --read-interface=/packages/archive/bytestring/0.9.1.5/doc/html,/usr/local/share/doc/ghc/html/libraries/bytestring-0.9.1.5/bytestring.haddock --read-interface=/packages/archive/bytestring/0.9.1.6/doc/html,/usr/local/tmp/archive/install/share/doc/bytestring-0.9.1.6/html/bytestring.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/directory/1.0.1.0/doc/html,/usr/local/share/doc/ghc/html/libraries/directory-1.0.1.0/directory.haddock --read-interface=/packages/archive/extensible-exceptions/0.1.1.1/doc/html,/usr/local/share/doc/ghc/html/libraries/extensible-exceptions-0.1.1.1/extensible-exceptions.haddock --read-interface=/packages/archive/fgl/5.4.2.2/doc/html,/usr/local/tmp/archive/install/share/doc/fgl-5.4.2.2/html/fgl.haddock --read-interface=/packages/archive/filepath/1.1.0.3/doc/html,/usr/local/share/doc/ghc/html/libraries/filepath-1.1.0.3/filepath.haddock --read-interface=/packages/archive/ghc/6.12.1/doc/html,/usr/local/share/doc/ghc/html/libraries/ghc-6.12.1/ghc.haddock --read-interface=/packages/archive/ghc-binary/0.5.0.2/doc/html,/usr/local/share/doc/ghc/html/libraries/ghc-binary-0.5.0.2/ghc-binary.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/hpc/0.5.0.4/doc/html,/usr/local/share/doc/ghc/html/libraries/hpc-0.5.0.4/hpc.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/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/old-time/1.0.0.3/doc/html,/usr/local/share/doc/ghc/html/libraries/old-time-1.0.0.3/old-time.haddock --read-interface=/packages/archive/parse-dimacs/1.2/doc/html,/usr/local/tmp/archive/install/share/doc/parse-dimacs-1.2/html/parse-dimacs.haddock --read-interface=/packages/archive/parsec/2.1.0.1/doc/html,/usr/local/tmp/archive/install/share/doc/parsec-2.1.0.1/html/parsec.haddock --read-interface=/packages/archive/parsec/3.1.0/doc/html,/usr/local/tmp/archive/install/share/doc/parsec-3.1.0/html/parsec.haddock --read-interface=/packages/archive/pretty/1.0.1.1/doc/html,/usr/local/share/doc/ghc/html/libraries/pretty-1.0.1.1/pretty.haddock --read-interface=/packages/archive/process/1.0.1.2/doc/html,/usr/local/share/doc/ghc/html/libraries/process-1.0.1.2/process.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/syb/0.1.0.2/doc/html,/usr/local/share/doc/ghc/html/libraries/syb-0.1.0.2/syb.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/template-haskell/2.4.0.0/doc/html,/usr/local/share/doc/ghc/html/libraries/template-haskell-2.4.0.0/template-haskell.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/unix/2.4.0.0/doc/html,/usr/local/share/doc/ghc/html/libraries/unix-2.4.0.0/unix.haddock --odir=dist/doc/html/funsat/ --title=funsat-0.4: A modern DPLL-style SAT solver --optghc=-hide-all-packages --optghc=-fbuilding-cabal-package --optghc=-i --optghc=-idist/build --optghc=-i. --optghc=-itests --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=QuickCheck-1.2.0.0-7b47a96dc3702c437a94e77520813983 --optghc=-package-id --optghc=array-0.3.0.0-dbdf73710a5bd9a534e8bcb2d8c8ee98 --optghc=-package-id --optghc=base-3.0.3.2-52acef427378232ec569bca0486ee48f --optghc=-package-id --optghc=bitset-1.0-9e874b12777ba750a2c3f0ff9b5fc88d --optghc=-package-id --optghc=containers-0.3.0.0-409fe3b8f0dda25b98e03716d26be411 --optghc=-package-id --optghc=fgl-5.4.2.2-b8d82ec3c56cf09c6b250421a002d84b --optghc=-package-id --optghc=mtl-1.1.0.2-23ca4de7c573fd4df309067199a40634 --optghc=-package-id --optghc=parse-dimacs-1.2-9326e986306273d3271b8293adaa2e4b --optghc=-package-id --optghc=parsec-2.1.0.1-190ec41e7316b7eb7fddf355acddd826 --optghc=-package-id --optghc=pretty-1.0.1.1-2bfa34c699efff7eed4d6297a2dac12d --optghc=-package-id --optghc=random-1.0.0.2-156803737564049405b3380fdb96ac75 --optghc=-package-id --optghc=time-1.1.4-74673f7d068def85b6a33c1cfba358a9 --optghc=-O --optghc=-W --optghc=-funbox-strict-fields --optghc=-XCPP -B/usr/local/lib/ghc-6.12.1 dist/build/tmp2303/Funsat/Solver.hs dist/build/tmp2303/DPLL/Monad.hs dist/build/tmp2303/Control/Monad/MonadST.hs dist/build/tmp2303/Text/Tabular.hs dist/build/tmp2303/Funsat/FastDom.hs dist/build/tmp2303/Funsat/Utils.hs

Funsat/Solver.hs:473:17:
    Not in scope: type constructor or class `BitSet.Hash'

Funsat/Solver.hs:479:9:
    Not in scope: type constructor or class `BitSet.Hash'

Funsat/Solver.hs:480:4:
    `hash' is not a (visible) method of class `Hash'

Funsat/Solver.hs:484:9:
    Not in scope: type constructor or class `BitSet.Hash'

Funsat/Solver.hs:485:4:
    `hash' is not a (visible) method of class `Hash'