*** setup configure Configuring free-theorems-0.2.1... Dependency base >=1.0: using base-4.2.0.0 Dependency containers >=0.1.0.1: using containers-0.3.0.0 Dependency haskell-src >=1.0: using haskell-src-1.0.1.3 Dependency haskell-src-exts >=0.3.9: using haskell-src-exts-1.8.2 Dependency mtl >=1.0: using mtl-1.1.0.2 Dependency pretty >=1.0.0.0: using pretty-1.0.1.1 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/free-theorems-0.2.1/ghc-6.12.1 Private binaries installed in: /usr/local/tmp/archive/install/libexec Data files installed in: /usr/local/tmp/archive/install/share/free-theorems-0.2.1 Documentation installed in: /usr/local/tmp/archive/install/share/doc/free-theorems-0.2.1 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 free-theorems-0.2.1... /usr/local/bin/haddock --use-contents=/package/free-theorems-0.2.1 --ghc-version Creating dist/build (and its parents) Creating dist/build/autogen (and its parents) Preprocessing library free-theorems-0.2.1... Running hscolour for free-theorems-0.2.1... Creating dist/doc/html/free-theorems (and its parents) Creating dist/doc/html/free-theorems/src (and its parents) /usr/local/bin/HsColour -print-css -odist/doc/html/free-theorems/src/hscolour.css /usr/local/bin/HsColour -css -anchor -odist/doc/html/free-theorems/src/Language-Haskell-FreeTheorems.html src/Language/Haskell/FreeTheorems.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/free-theorems/src/Language-Haskell-FreeTheorems-Syntax.html src/Language/Haskell/FreeTheorems/Syntax.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/free-theorems/src/Language-Haskell-FreeTheorems-Parser-Haskell98.html src/Language/Haskell/FreeTheorems/Parser/Haskell98.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/free-theorems/src/Language-Haskell-FreeTheorems-Parser-Hsx.html src/Language/Haskell/FreeTheorems/Parser/Hsx.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/free-theorems/src/Language-Haskell-FreeTheorems-Theorems.html src/Language/Haskell/FreeTheorems/Theorems.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/free-theorems/src/Language-Haskell-FreeTheorems-BasicSyntax.html src/Language/Haskell/FreeTheorems/BasicSyntax.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/free-theorems/src/Language-Haskell-FreeTheorems-ValidSyntax.html src/Language/Haskell/FreeTheorems/ValidSyntax.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/free-theorems/src/Language-Haskell-FreeTheorems-NameStores.html src/Language/Haskell/FreeTheorems/NameStores.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/free-theorems/src/Language-Haskell-FreeTheorems-Frontend.html src/Language/Haskell/FreeTheorems/Frontend.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/free-theorems/src/Language-Haskell-FreeTheorems-Frontend-Error.html src/Language/Haskell/FreeTheorems/Frontend/Error.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/free-theorems/src/Language-Haskell-FreeTheorems-Frontend-TypeExpressions.html src/Language/Haskell/FreeTheorems/Frontend/TypeExpressions.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/free-theorems/src/Language-Haskell-FreeTheorems-Frontend-CheckLocal.html src/Language/Haskell/FreeTheorems/Frontend/CheckLocal.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/free-theorems/src/Language-Haskell-FreeTheorems-Frontend-CheckGlobal.html src/Language/Haskell/FreeTheorems/Frontend/CheckGlobal.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/free-theorems/src/Language-Haskell-FreeTheorems-LanguageSubsets.html src/Language/Haskell/FreeTheorems/LanguageSubsets.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/free-theorems/src/Language-Haskell-FreeTheorems-Intermediate.html src/Language/Haskell/FreeTheorems/Intermediate.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/free-theorems/src/Language-Haskell-FreeTheorems-Unfold.html src/Language/Haskell/FreeTheorems/Unfold.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/free-theorems/src/Language-Haskell-FreeTheorems-PrettyBase.html src/Language/Haskell/FreeTheorems/PrettyBase.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/free-theorems/src/Language-Haskell-FreeTheorems-PrettyTypes.html src/Language/Haskell/FreeTheorems/PrettyTypes.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/free-theorems/src/Language-Haskell-FreeTheorems-PrettyTheorems.html src/Language/Haskell/FreeTheorems/PrettyTheorems.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 copy src/Language/Haskell/FreeTheorems.hs to dist/build/tmp26113/src/Language/Haskell/FreeTheorems.hs copy src/Language/Haskell/FreeTheorems/Syntax.hs to dist/build/tmp26113/src/Language/Haskell/FreeTheorems/Syntax.hs copy src/Language/Haskell/FreeTheorems/Parser/Haskell98.hs to dist/build/tmp26113/src/Language/Haskell/FreeTheorems/Parser/Haskell98.hs copy src/Language/Haskell/FreeTheorems/Parser/Hsx.hs to dist/build/tmp26113/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs copy src/Language/Haskell/FreeTheorems/Theorems.hs to dist/build/tmp26113/src/Language/Haskell/FreeTheorems/Theorems.hs copy src/Language/Haskell/FreeTheorems/BasicSyntax.hs to dist/build/tmp26113/src/Language/Haskell/FreeTheorems/BasicSyntax.hs copy src/Language/Haskell/FreeTheorems/ValidSyntax.hs to dist/build/tmp26113/src/Language/Haskell/FreeTheorems/ValidSyntax.hs copy src/Language/Haskell/FreeTheorems/NameStores.hs to dist/build/tmp26113/src/Language/Haskell/FreeTheorems/NameStores.hs copy src/Language/Haskell/FreeTheorems/Frontend.hs to dist/build/tmp26113/src/Language/Haskell/FreeTheorems/Frontend.hs copy src/Language/Haskell/FreeTheorems/Frontend/Error.hs to dist/build/tmp26113/src/Language/Haskell/FreeTheorems/Frontend/Error.hs copy src/Language/Haskell/FreeTheorems/Frontend/TypeExpressions.hs to dist/build/tmp26113/src/Language/Haskell/FreeTheorems/Frontend/TypeExpressions.hs copy src/Language/Haskell/FreeTheorems/Frontend/CheckLocal.hs to dist/build/tmp26113/src/Language/Haskell/FreeTheorems/Frontend/CheckLocal.hs copy src/Language/Haskell/FreeTheorems/Frontend/CheckGlobal.hs to dist/build/tmp26113/src/Language/Haskell/FreeTheorems/Frontend/CheckGlobal.hs copy src/Language/Haskell/FreeTheorems/LanguageSubsets.hs to dist/build/tmp26113/src/Language/Haskell/FreeTheorems/LanguageSubsets.hs copy src/Language/Haskell/FreeTheorems/Intermediate.hs to dist/build/tmp26113/src/Language/Haskell/FreeTheorems/Intermediate.hs copy src/Language/Haskell/FreeTheorems/Unfold.hs to dist/build/tmp26113/src/Language/Haskell/FreeTheorems/Unfold.hs copy src/Language/Haskell/FreeTheorems/PrettyBase.hs to dist/build/tmp26113/src/Language/Haskell/FreeTheorems/PrettyBase.hs copy src/Language/Haskell/FreeTheorems/PrettyTypes.hs to dist/build/tmp26113/src/Language/Haskell/FreeTheorems/PrettyTypes.hs copy src/Language/Haskell/FreeTheorems/PrettyTheorems.hs to dist/build/tmp26113/src/Language/Haskell/FreeTheorems/PrettyTheorems.hs Creating dist/doc/html/free-theorems/ (and its parents) /usr/local/bin/haddock --use-contents=/package/free-theorems-0.2.1 --prologue=dist/doc/html/free-theorems/haddock-prolog26113.txt --dump-interface=dist/doc/html/free-theorems/free-theorems.haddock --optghc=-package-name --optghc=free-theorems-0.2.1 --hide=Language.Haskell.FreeTheorems.BasicSyntax --hide=Language.Haskell.FreeTheorems.ValidSyntax --hide=Language.Haskell.FreeTheorems.NameStores --hide=Language.Haskell.FreeTheorems.Frontend --hide=Language.Haskell.FreeTheorems.Frontend.Error --hide=Language.Haskell.FreeTheorems.Frontend.TypeExpressions --hide=Language.Haskell.FreeTheorems.Frontend.CheckLocal --hide=Language.Haskell.FreeTheorems.Frontend.CheckGlobal --hide=Language.Haskell.FreeTheorems.LanguageSubsets --hide=Language.Haskell.FreeTheorems.Intermediate --hide=Language.Haskell.FreeTheorems.Unfold --hide=Language.Haskell.FreeTheorems.PrettyBase --hide=Language.Haskell.FreeTheorems.PrettyTypes --hide=Language.Haskell.FreeTheorems.PrettyTheorems --source-module=src/%{MODULE/./-}.html --source-entity=src/%{MODULE/./-}.html#%{NAME} --verbosity=1 --html --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/cpphs/1.11/doc/html,/usr/local/tmp/archive/install/share/doc/cpphs-1.11/html/cpphs.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/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-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/haskell-src/1.0.1.3/doc/html,/usr/local/tmp/archive/install/share/doc/haskell-src-1.0.1.3/html/haskell-src.haddock --read-interface=/packages/archive/haskell-src-exts/1.8.2/doc/html,/usr/local/tmp/archive/install/share/doc/haskell-src-exts-1.8.2/html/haskell-src-exts.haddock --read-interface=/packages/archive/haskell98/1.0.1.1/doc/html,/usr/local/share/doc/ghc/html/libraries/haskell98-1.0.1.1/haskell98.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/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/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/free-theorems/ --title=free-theorems-0.2.1: Automatic generation of free theorems. --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=base-4.2.0.0-c9182baf5cf44f2e72b2298fa160086c --optghc=-package-id --optghc=containers-0.3.0.0-409fe3b8f0dda25b98e03716d26be411 --optghc=-package-id --optghc=haskell-src-1.0.1.3-6f583e83bf54a6ca0d07a352de5e8f4d --optghc=-package-id --optghc=haskell-src-exts-1.8.2-19290f2ea063bce22cc0a937480d79b5 --optghc=-package-id --optghc=mtl-1.1.0.2-23ca4de7c573fd4df309067199a40634 --optghc=-package-id --optghc=pretty-1.0.1.1-2bfa34c699efff7eed4d6297a2dac12d --optghc=-O --optghc=-XGenerics --optghc=-XDeriveDataTypeable --optghc=-XRank2Types --optghc=-XPatternSignatures -B/usr/local/lib/ghc-6.12.1 dist/build/tmp26113/src/Language/Haskell/FreeTheorems.hs dist/build/tmp26113/src/Language/Haskell/FreeTheorems/Syntax.hs dist/build/tmp26113/src/Language/Haskell/FreeTheorems/Parser/Haskell98.hs dist/build/tmp26113/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs dist/build/tmp26113/src/Language/Haskell/FreeTheorems/Theorems.hs dist/build/tmp26113/src/Language/Haskell/FreeTheorems/BasicSyntax.hs dist/build/tmp26113/src/Language/Haskell/FreeTheorems/ValidSyntax.hs dist/build/tmp26113/src/Language/Haskell/FreeTheorems/NameStores.hs dist/build/tmp26113/src/Language/Haskell/FreeTheorems/Frontend.hs dist/build/tmp26113/src/Language/Haskell/FreeTheorems/Frontend/Error.hs dist/build/tmp26113/src/Language/Haskell/FreeTheorems/Frontend/TypeExpressions.hs dist/build/tmp26113/src/Language/Haskell/FreeTheorems/Frontend/CheckLocal.hs dist/build/tmp26113/src/Language/Haskell/FreeTheorems/Frontend/CheckGlobal.hs dist/build/tmp26113/src/Language/Haskell/FreeTheorems/LanguageSubsets.hs dist/build/tmp26113/src/Language/Haskell/FreeTheorems/Intermediate.hs dist/build/tmp26113/src/Language/Haskell/FreeTheorems/Unfold.hs dist/build/tmp26113/src/Language/Haskell/FreeTheorems/PrettyBase.hs dist/build/tmp26113/src/Language/Haskell/FreeTheorems/PrettyTypes.hs dist/build/tmp26113/src/Language/Haskell/FreeTheorems/PrettyTheorems.hs dist/build/tmp26113/src/Language/Haskell/FreeTheorems/Parser/Haskell98.hs:15:7: Could not find module `Data.Generics': It is a member of the hidden package `syb-0.1.0.3'. Perhaps you need to add `syb' to the build-depends in your .cabal file. It is a member of the hidden package `syb-0.1.0.2'. Perhaps you need to add `syb' to the build-depends in your .cabal file. It is a member of the hidden package `syb-0.1.0.1'. Perhaps you need to add `syb' to the build-depends in your .cabal file. It is a member of the hidden package `syb-0.1.0.0'. Perhaps you need to add `syb' to the build-depends in your .cabal file. It is a member of the hidden package `base-3.0.3.2'. Perhaps you need to add `base' to the build-depends in your .cabal file. Use -v to see a list of the files searched for. *** Trying again with preferred-versions *** setup configure Configuring free-theorems-0.2.1... Dependency base >=1.0 && <4: using base-3.0.3.2 Dependency containers >=0.1.0.1: using containers-0.3.0.0 Dependency haskell-src >=1.0: using haskell-src-1.0.1.3 Dependency haskell-src-exts >=0.3.9: using haskell-src-exts-1.8.2 Dependency mtl >=1.0: using mtl-1.1.0.2 Dependency pretty >=1.0.0.0: using pretty-1.0.1.1 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/free-theorems-0.2.1/ghc-6.12.1 Private binaries installed in: /usr/local/tmp/archive/install/libexec Data files installed in: /usr/local/tmp/archive/install/share/free-theorems-0.2.1 Documentation installed in: /usr/local/tmp/archive/install/share/doc/free-theorems-0.2.1 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 free-theorems-0.2.1... /usr/local/bin/haddock --use-contents=/package/free-theorems-0.2.1 --ghc-version Creating dist/build (and its parents) Creating dist/build/autogen (and its parents) Preprocessing library free-theorems-0.2.1... Running hscolour for free-theorems-0.2.1... Creating dist/doc/html/free-theorems (and its parents) Creating dist/doc/html/free-theorems/src (and its parents) /usr/local/bin/HsColour -print-css -odist/doc/html/free-theorems/src/hscolour.css /usr/local/bin/HsColour -css -anchor -odist/doc/html/free-theorems/src/Language-Haskell-FreeTheorems.html src/Language/Haskell/FreeTheorems.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/free-theorems/src/Language-Haskell-FreeTheorems-Syntax.html src/Language/Haskell/FreeTheorems/Syntax.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/free-theorems/src/Language-Haskell-FreeTheorems-Parser-Haskell98.html src/Language/Haskell/FreeTheorems/Parser/Haskell98.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/free-theorems/src/Language-Haskell-FreeTheorems-Parser-Hsx.html src/Language/Haskell/FreeTheorems/Parser/Hsx.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/free-theorems/src/Language-Haskell-FreeTheorems-Theorems.html src/Language/Haskell/FreeTheorems/Theorems.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/free-theorems/src/Language-Haskell-FreeTheorems-BasicSyntax.html src/Language/Haskell/FreeTheorems/BasicSyntax.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/free-theorems/src/Language-Haskell-FreeTheorems-ValidSyntax.html src/Language/Haskell/FreeTheorems/ValidSyntax.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/free-theorems/src/Language-Haskell-FreeTheorems-NameStores.html src/Language/Haskell/FreeTheorems/NameStores.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/free-theorems/src/Language-Haskell-FreeTheorems-Frontend.html src/Language/Haskell/FreeTheorems/Frontend.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/free-theorems/src/Language-Haskell-FreeTheorems-Frontend-Error.html src/Language/Haskell/FreeTheorems/Frontend/Error.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/free-theorems/src/Language-Haskell-FreeTheorems-Frontend-TypeExpressions.html src/Language/Haskell/FreeTheorems/Frontend/TypeExpressions.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/free-theorems/src/Language-Haskell-FreeTheorems-Frontend-CheckLocal.html src/Language/Haskell/FreeTheorems/Frontend/CheckLocal.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/free-theorems/src/Language-Haskell-FreeTheorems-Frontend-CheckGlobal.html src/Language/Haskell/FreeTheorems/Frontend/CheckGlobal.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/free-theorems/src/Language-Haskell-FreeTheorems-LanguageSubsets.html src/Language/Haskell/FreeTheorems/LanguageSubsets.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/free-theorems/src/Language-Haskell-FreeTheorems-Intermediate.html src/Language/Haskell/FreeTheorems/Intermediate.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/free-theorems/src/Language-Haskell-FreeTheorems-Unfold.html src/Language/Haskell/FreeTheorems/Unfold.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/free-theorems/src/Language-Haskell-FreeTheorems-PrettyBase.html src/Language/Haskell/FreeTheorems/PrettyBase.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/free-theorems/src/Language-Haskell-FreeTheorems-PrettyTypes.html src/Language/Haskell/FreeTheorems/PrettyTypes.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/free-theorems/src/Language-Haskell-FreeTheorems-PrettyTheorems.html src/Language/Haskell/FreeTheorems/PrettyTheorems.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 copy src/Language/Haskell/FreeTheorems.hs to dist/build/tmp26174/src/Language/Haskell/FreeTheorems.hs copy src/Language/Haskell/FreeTheorems/Syntax.hs to dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Syntax.hs copy src/Language/Haskell/FreeTheorems/Parser/Haskell98.hs to dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Haskell98.hs copy src/Language/Haskell/FreeTheorems/Parser/Hsx.hs to dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs copy src/Language/Haskell/FreeTheorems/Theorems.hs to dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Theorems.hs copy src/Language/Haskell/FreeTheorems/BasicSyntax.hs to dist/build/tmp26174/src/Language/Haskell/FreeTheorems/BasicSyntax.hs copy src/Language/Haskell/FreeTheorems/ValidSyntax.hs to dist/build/tmp26174/src/Language/Haskell/FreeTheorems/ValidSyntax.hs copy src/Language/Haskell/FreeTheorems/NameStores.hs to dist/build/tmp26174/src/Language/Haskell/FreeTheorems/NameStores.hs copy src/Language/Haskell/FreeTheorems/Frontend.hs to dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Frontend.hs copy src/Language/Haskell/FreeTheorems/Frontend/Error.hs to dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Frontend/Error.hs copy src/Language/Haskell/FreeTheorems/Frontend/TypeExpressions.hs to dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Frontend/TypeExpressions.hs copy src/Language/Haskell/FreeTheorems/Frontend/CheckLocal.hs to dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Frontend/CheckLocal.hs copy src/Language/Haskell/FreeTheorems/Frontend/CheckGlobal.hs to dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Frontend/CheckGlobal.hs copy src/Language/Haskell/FreeTheorems/LanguageSubsets.hs to dist/build/tmp26174/src/Language/Haskell/FreeTheorems/LanguageSubsets.hs copy src/Language/Haskell/FreeTheorems/Intermediate.hs to dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Intermediate.hs copy src/Language/Haskell/FreeTheorems/Unfold.hs to dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Unfold.hs copy src/Language/Haskell/FreeTheorems/PrettyBase.hs to dist/build/tmp26174/src/Language/Haskell/FreeTheorems/PrettyBase.hs copy src/Language/Haskell/FreeTheorems/PrettyTypes.hs to dist/build/tmp26174/src/Language/Haskell/FreeTheorems/PrettyTypes.hs copy src/Language/Haskell/FreeTheorems/PrettyTheorems.hs to dist/build/tmp26174/src/Language/Haskell/FreeTheorems/PrettyTheorems.hs Creating dist/doc/html/free-theorems/ (and its parents) /usr/local/bin/haddock --use-contents=/package/free-theorems-0.2.1 --prologue=dist/doc/html/free-theorems/haddock-prolog26174.txt --dump-interface=dist/doc/html/free-theorems/free-theorems.haddock --optghc=-package-name --optghc=free-theorems-0.2.1 --hide=Language.Haskell.FreeTheorems.BasicSyntax --hide=Language.Haskell.FreeTheorems.ValidSyntax --hide=Language.Haskell.FreeTheorems.NameStores --hide=Language.Haskell.FreeTheorems.Frontend --hide=Language.Haskell.FreeTheorems.Frontend.Error --hide=Language.Haskell.FreeTheorems.Frontend.TypeExpressions --hide=Language.Haskell.FreeTheorems.Frontend.CheckLocal --hide=Language.Haskell.FreeTheorems.Frontend.CheckGlobal --hide=Language.Haskell.FreeTheorems.LanguageSubsets --hide=Language.Haskell.FreeTheorems.Intermediate --hide=Language.Haskell.FreeTheorems.Unfold --hide=Language.Haskell.FreeTheorems.PrettyBase --hide=Language.Haskell.FreeTheorems.PrettyTypes --hide=Language.Haskell.FreeTheorems.PrettyTheorems --source-module=src/%{MODULE/./-}.html --source-entity=src/%{MODULE/./-}.html#%{NAME} --verbosity=1 --html --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/cpphs/1.11/doc/html,/usr/local/tmp/archive/install/share/doc/cpphs-1.11/html/cpphs.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/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-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/haskell-src/1.0.1.3/doc/html,/usr/local/tmp/archive/install/share/doc/haskell-src-1.0.1.3/html/haskell-src.haddock --read-interface=/packages/archive/haskell-src-exts/1.8.2/doc/html,/usr/local/tmp/archive/install/share/doc/haskell-src-exts-1.8.2/html/haskell-src-exts.haddock --read-interface=/packages/archive/haskell98/1.0.1.1/doc/html,/usr/local/share/doc/ghc/html/libraries/haskell98-1.0.1.1/haskell98.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/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/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/free-theorems/ --title=free-theorems-0.2.1: Automatic generation of free theorems. --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=base-3.0.3.2-52acef427378232ec569bca0486ee48f --optghc=-package-id --optghc=containers-0.3.0.0-409fe3b8f0dda25b98e03716d26be411 --optghc=-package-id --optghc=haskell-src-1.0.1.3-6f583e83bf54a6ca0d07a352de5e8f4d --optghc=-package-id --optghc=haskell-src-exts-1.8.2-19290f2ea063bce22cc0a937480d79b5 --optghc=-package-id --optghc=mtl-1.1.0.2-23ca4de7c573fd4df309067199a40634 --optghc=-package-id --optghc=pretty-1.0.1.1-2bfa34c699efff7eed4d6297a2dac12d --optghc=-O --optghc=-XGenerics --optghc=-XDeriveDataTypeable --optghc=-XRank2Types --optghc=-XPatternSignatures -B/usr/local/lib/ghc-6.12.1 dist/build/tmp26174/src/Language/Haskell/FreeTheorems.hs dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Syntax.hs dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Haskell98.hs dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Theorems.hs dist/build/tmp26174/src/Language/Haskell/FreeTheorems/BasicSyntax.hs dist/build/tmp26174/src/Language/Haskell/FreeTheorems/ValidSyntax.hs dist/build/tmp26174/src/Language/Haskell/FreeTheorems/NameStores.hs dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Frontend.hs dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Frontend/Error.hs dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Frontend/TypeExpressions.hs dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Frontend/CheckLocal.hs dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Frontend/CheckGlobal.hs dist/build/tmp26174/src/Language/Haskell/FreeTheorems/LanguageSubsets.hs dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Intermediate.hs dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Unfold.hs dist/build/tmp26174/src/Language/Haskell/FreeTheorems/PrettyBase.hs dist/build/tmp26174/src/Language/Haskell/FreeTheorems/PrettyTypes.hs dist/build/tmp26174/src/Language/Haskell/FreeTheorems/PrettyTheorems.hs dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:80:46: Not in scope: type constructor or class `HsDecl' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:96:22: Not in scope: type constructor or class `HsModule' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:96:35: Not in scope: type constructor or class `HsDecl' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:97:20: Not in scope: data constructor `HsModule' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:100:6: Not in scope: data constructor `HsTypeDecl' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:101:6: Not in scope: data constructor `HsDataDecl' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:102:6: Not in scope: data constructor `HsClassDecl' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:103:6: Not in scope: data constructor `HsTypeSig' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:110:14: Not in scope: type constructor or class `HsDecl' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:110:26: Not in scope: type constructor or class `HsDecl' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:116:28: Not in scope: type constructor or class `HsDecl' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:116:40: Not in scope: type constructor or class `HsDecl' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:118:8: Not in scope: data constructor `HsTypeSig' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:118:46: Not in scope: data constructor `HsTypeSig' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:130:17: Not in scope: type constructor or class `HsClassDecl' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:130:40: Not in scope: type constructor or class `HsDecl' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:132:2: Not in scope: data constructor `HsClsDecl' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:133:2: Not in scope: data constructor `HsClsDataFam' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:134:2: Not in scope: data constructor `HsClsTyFam' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:135:2: Not in scope: data constructor `HsClsTyDef' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:142:17: Not in scope: type constructor or class `HsDecl' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:144:2: Not in scope: data constructor `HsTypeDecl' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:145:2: Not in scope: data constructor `HsDataDecl' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:146:2: Not in scope: data constructor `HsDataDecl' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:147:2: Not in scope: data constructor `HsClassDecl' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:148:2: Not in scope: data constructor `HsTypeSig' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:150:2: Not in scope: data constructor `HsClassDecl' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:151:2: Not in scope: data constructor `HsClassDecl' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:164:20: Not in scope: type constructor or class `HsName' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:177:10: Not in scope: type constructor or class `HsName' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:177:21: Not in scope: type constructor or class `HsName' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:177:32: Not in scope: type constructor or class `HsType' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:188:10: Not in scope: type constructor or class `HsName' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:188:21: Not in scope: type constructor or class `HsName' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:188:33: Not in scope: type constructor or class `HsQualConDecl' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:200:4: Not in scope: type constructor or class `HsQualConDecl' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:202:30: Not in scope: data constructor `HsQualConDecl' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:202:51: Not in scope: data constructor `HsConDecl' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:205:30: Not in scope: data constructor `HsQualConDecl' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:205:51: Not in scope: data constructor `HsRecDecl' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:214:4: Not in scope: type constructor or class `HsName' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:215:8: Not in scope: type constructor or class `HsBangType' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:223:16: Not in scope: data constructor `HsBangedTy' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:224:16: Not in scope: data constructor `HsUnBangedTy' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:230:13: Not in scope: type constructor or class `HsName' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:230:24: Not in scope: type constructor or class `HsName' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:230:35: Not in scope: type constructor or class `HsQualConDecl' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:231:21: Not in scope: data constructor `HsQualConDecl' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:237:22: Not in scope: data constructor `HsConDecl' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:238:22: Not in scope: data constructor `HsRecDecl' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:247:10: Not in scope: data constructor `HsUnBangedTy' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:248:10: Not in scope: data constructor `HsBangedTy' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:256:11: Not in scope: type constructor or class `HsContext' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:256:24: Not in scope: type constructor or class `HsName' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:256:34: Not in scope: type constructor or class `HsName' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:256:45: Not in scope: type constructor or class `HsClassDecl' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:269:13: Not in scope: type constructor or class `HsDecl' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:271:6: Not in scope: data constructor `HsTypeSig' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:302:15: Not in scope: type constructor or class `HsName' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:302:25: Not in scope: type constructor or class `HsType' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:314:13: Not in scope: type constructor or class `HsContext' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:317:11: Not in scope: data constructor `HsClassA' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:317:27: Not in scope: data constructor `HsTyVar' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:322:11: Not in scope: data constructor `HsClassA' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:323:11: Not in scope: data constructor `HsIParam' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:342:20: Not in scope: type constructor or class `HsType' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:350:21: Not in scope: type constructor or class `HsType' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:351:19: Not in scope: data constructor `HsTyVar' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:353:19: Not in scope: data constructor `HsTyApp' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:354:19: Not in scope: data constructor `HsTyCon' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:356:19: Not in scope: data constructor `HsTyInfix' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:357:21: Not in scope: data constructor `HsTyApp' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:357:30: Not in scope: data constructor `HsTyApp' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:357:39: Not in scope: data constructor `HsTyCon' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:359:19: Not in scope: data constructor `HsTyFun' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:364:19: Not in scope: data constructor `HsTyTuple' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:368:19: Not in scope: data constructor `HsTyForall' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:370:16: Not in scope: data constructor `HsKindedVar' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:371:16: Not in scope: data constructor `HsUnkindedVar' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:373:19: Not in scope: data constructor `HsTyPred' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:376:19: Not in scope: data constructor `HsTyTuple' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:384:17: Not in scope: type constructor or class `HsName' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:384:28: Not in scope: type constructor or class `HsContext' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:384:41: Not in scope: type constructor or class `HsType' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:399:15: Not in scope: type constructor or class `HsName' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:423:13: Not in scope: type constructor or class `HsType' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:423:24: Not in scope: type constructor or class `HsType' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:425:2: Not in scope: data constructor `HsTyFun' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:427:2: Not in scope: data constructor `HsTyTuple' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:428:2: Not in scope: data constructor `HsTyVar' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:429:2: Not in scope: data constructor `HsTyApp' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:430:2: Not in scope: data constructor `HsTyCon' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:440:4: Not in scope: type constructor or class `HsQName' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:444:30: Not in scope: data constructor `HsFunCon' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:445:30: Not in scope: data constructor `HsFunCon' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:459:21: Not in scope: type constructor or class `HsQName' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:465:27: Not in scope: data constructor `HsUnitCon' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:466:27: Not in scope: data constructor `HsListCon' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:467:28: Not in scope: data constructor `HsTupleCon' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:480:9: Not in scope: type constructor or class `HsName' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:482:2: Not in scope: data constructor `HsIdent' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:483:2: Not in scope: data constructor `HsIdent' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:484:2: Not in scope: data constructor `HsIdent' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:485:2: Not in scope: data constructor `HsIdent' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:486:2: Not in scope: data constructor `HsIdent' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:493:18: Not in scope: type constructor or class `HsName' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:504:17: Not in scope: type constructor or class `HsQName' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:508:23: Not in scope: data constructor `HsUnitCon' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:509:23: Not in scope: data constructor `HsListCon' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:510:23: Not in scope: data constructor `HsFunCon' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:511:23: Not in scope: data constructor `HsCons' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:512:24: Not in scope: data constructor `HsTupleCon' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:522:16: Not in scope: type constructor or class `HsName' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:529:22: Not in scope: type constructor or class `HsName' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:537:18: Not in scope: type constructor or class `HsName' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:538:16: Not in scope: data constructor `HsIdent' dist/build/tmp26174/src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:539:16: Not in scope: data constructor `HsSymbol'