Configuring type-eq-0.2.1... Dependency base ==4.6.0.1: using base-4.6.0.1 Dependency groupoids ==3.0.1.1: using groupoids-3.0.1.1 Dependency semigroupoids ==3.1: using semigroupoids-3.1 Using Cabal-1.16.0.3 compiled by ghc-7.6 Using compiler: ghc-7.6.3 Using install prefix: /srv/hackage/var/build/cache/inst Binaries installed in: /srv/hackage/var/build/cache/inst/bin Libraries installed in: /srv/hackage/var/build/cache/inst/lib/type-eq-0.2.1/ghc-7.6.3 Private binaries installed in: /srv/hackage/var/build/cache/inst/libexec Data files installed in: /srv/hackage/var/build/cache/inst/share/type-eq-0.2.1 Documentation installed in: /srv/hackage/var/build/cache/inst/share/doc/type-eq-0.2.1 Using alex version 3.0.1 found on system at: /usr/bin/alex Using ar found on system at: /usr/bin/ar No c2hs found No cpphs found No ffihugs found Using gcc version 4.7 found on system at: /usr/bin/gcc Using ghc version 7.6.3 found on system at: /usr/local/bin/ghc Using ghc-pkg version 7.6.3 found on system at: /usr/local/bin/ghc-pkg No greencard found Using haddock version 2.13.2 found on system at: /usr/local/bin/haddock Using happy version 1.18.9 found on system at: /usr/bin/happy No hmake found Using hpc version 0.6 found on system at: /usr/local/bin/hpc Using hsc2hs version 0.67 found on system at: /usr/local/bin/hsc2hs Using hscolour version 1.19 found on system at: /usr/bin/HsColour No hugs found No jhc found Using ld found on system at: /usr/bin/ld No lhc found No lhc-pkg found No nhc98 found No pkg-config found 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 No uhc found creating dist/build creating dist/build/autogen Building type-eq-0.2.1... Preprocessing library type-eq-0.2.1... Building library... creating dist/build /usr/local/bin/ghc --make -fbuilding-cabal-package -odir dist/build -hidir dist/build -stubdir dist/build -i -idist/build -i. -idist/build/autogen -Idist/build/autogen -Idist/build -I. -optP-DHAVE_DEPENDENCIES -optP-include -optPdist/build/autogen/cabal_macros.h -package-name type-eq-0.2.1 -hide-all-packages -package-db /srv/hackage/var/build/cache/inst/local.conf.d -package-db dist/package.conf.inplace -package-id base-4.6.0.1-8aa5d403c45ea59dcd2c39f123e27d57 -package-id groupoids-3.0.1.1-bb39ef84c68358d04087b6b413d1f036 -package-id semigroupoids-3.1-a3110c3ee52220bc44f8e21de74787ff -XHaskell98 Type.Eq.Poly Type.Eq Type.Eq.Unsafe Type.Eq.Higher Type.Eq.Higher.Unsafe -Wall -O0 [1 of 7] Compiling Type.Eq.Higher[boot] ( Type/Eq/Higher.hs-boot, dist/build/Type/Eq/Higher.o-boot ) [2 of 7] Compiling Type.Eq[boot] ( Type/Eq.hs-boot, dist/build/Type/Eq.o-boot ) [3 of 7] Compiling Type.Eq.Unsafe ( Type/Eq/Unsafe.hs, dist/build/Type/Eq/Unsafe.o ) [4 of 7] Compiling Type.Eq.Higher.Unsafe ( Type/Eq/Higher/Unsafe.hs, dist/build/Type/Eq/Higher/Unsafe.o ) [5 of 7] Compiling Type.Eq ( Type/Eq.hs, dist/build/Type/Eq.o ) [6 of 7] Compiling Type.Eq.Higher ( Type/Eq/Higher.hs, dist/build/Type/Eq/Higher.o ) [7 of 7] Compiling Type.Eq.Poly ( Type/Eq/Poly.hs, dist/build/Type/Eq/Poly.o ) Linking... /usr/bin/ar -r dist/build/libHStype-eq-0.2.1.a dist/build/Type/Eq/Poly.o dist/build/Type/Eq.o dist/build/Type/Eq/Unsafe.o dist/build/Type/Eq/Higher.o dist/build/Type/Eq/Higher/Unsafe.o /usr/bin/ar: creating dist/build/libHStype-eq-0.2.1.a In-place registering type-eq-0.2.1... /usr/local/bin/ghc-pkg update - --global --user --package-db=/srv/hackage/var/build/cache/inst/local.conf.d --package-db=dist/package.conf.inplace --no-user-package-conf Running Haddock for type-eq-0.2.1... /usr/local/bin/haddock --ghc-version --built-in-themes creating dist/build creating dist/build/autogen Running hscolour for type-eq-0.2.1... creating dist/doc/html/type-eq creating dist/doc/html creating dist/doc creating dist/doc/html creating dist/doc/html/type-eq Preprocessing library type-eq-0.2.1... creating dist/doc/html/type-eq/src /usr/bin/HsColour -print-css -odist/doc/html/type-eq/src/hscolour.css /usr/bin/HsColour -css -anchor -odist/doc/html/type-eq/src/Type-Eq-Poly.html Type/Eq/Poly.hs /usr/bin/HsColour -css -anchor -odist/doc/html/type-eq/src/Type-Eq.html Type/Eq.hs /usr/bin/HsColour -css -anchor -odist/doc/html/type-eq/src/Type-Eq-Unsafe.html Type/Eq/Unsafe.hs /usr/bin/HsColour -css -anchor -odist/doc/html/type-eq/src/Type-Eq-Higher.html Type/Eq/Higher.hs /usr/bin/HsColour -css -anchor -odist/doc/html/type-eq/src/Type-Eq-Higher-Unsafe.html Type/Eq/Higher/Unsafe.hs /usr/local/bin/ghc --print-libdir -O0 Preprocessing library type-eq-0.2.1... Warning: The documentation for the following packages are not installed. No links will be generated to these packages: rts-1.0, text-0.11.2.3, transformers-0.3.0.0 /usr/local/bin/ghc -E -cpp -x hs -optP-include -optPdist/build/autogen/cabal_macros.h -o dist/build/tmp-29690/Type/Eq/Poly.hs Type/Eq/Poly.hs -D__GLASGOW_HASKELL__=706 -Dlinux_BUILD_OS -Dlinux_HOST_OS -Dx86_64_BUILD_ARCH -Dx86_64_HOST_ARCH -DHAVE_DEPENDENCIES -I. -O0 /usr/local/bin/ghc -E -cpp -x hs -optP-include -optPdist/build/autogen/cabal_macros.h -o dist/build/tmp-29690/Type/Eq.hs Type/Eq.hs -D__GLASGOW_HASKELL__=706 -Dlinux_BUILD_OS -Dlinux_HOST_OS -Dx86_64_BUILD_ARCH -Dx86_64_HOST_ARCH -DHAVE_DEPENDENCIES -I. -O0 /usr/local/bin/ghc -E -cpp -x hs -optP-include -optPdist/build/autogen/cabal_macros.h -o dist/build/tmp-29690/Type/Eq/Unsafe.hs Type/Eq/Unsafe.hs -D__GLASGOW_HASKELL__=706 -Dlinux_BUILD_OS -Dlinux_HOST_OS -Dx86_64_BUILD_ARCH -Dx86_64_HOST_ARCH -DHAVE_DEPENDENCIES -I. -O0 /usr/local/bin/ghc -E -cpp -x hs -optP-include -optPdist/build/autogen/cabal_macros.h -o dist/build/tmp-29690/Type/Eq/Higher.hs Type/Eq/Higher.hs -D__GLASGOW_HASKELL__=706 -Dlinux_BUILD_OS -Dlinux_HOST_OS -Dx86_64_BUILD_ARCH -Dx86_64_HOST_ARCH -DHAVE_DEPENDENCIES -I. -O0 /usr/local/bin/ghc -E -cpp -x hs -optP-include -optPdist/build/autogen/cabal_macros.h -o dist/build/tmp-29690/Type/Eq/Higher/Unsafe.hs Type/Eq/Higher/Unsafe.hs -D__GLASGOW_HASKELL__=706 -Dlinux_BUILD_OS -Dlinux_HOST_OS -Dx86_64_BUILD_ARCH -Dx86_64_HOST_ARCH -DHAVE_DEPENDENCIES -I. -O0 creating dist/doc/html/type-eq /usr/local/bin/haddock --prologue=dist/doc/html/type-eq/haddock-prolog29690.txt --dump-interface=dist/doc/html/type-eq/type-eq.haddock --optghc=-package-name --optghc=type-eq-0.2.1 --source-module=src/%{MODULE/./-}.html --source-entity=src/%{MODULE/./-}.html#%{NAME} --use-contents=/package/type-eq-0.2.1 --verbosity=1 --html --read-interface=/package/array-0.4.0.1/docs,/usr/local/share/doc/ghc/html/libraries/array-0.4.0.1/array.haddock --read-interface=/package/base-4.6.0.1/docs,/usr/local/share/doc/ghc/html/libraries/base-4.6.0.1/base.haddock --read-interface=/package/bytestring-0.10.0.2/docs,/usr/local/share/doc/ghc/html/libraries/bytestring-0.10.0.2/bytestring.haddock --read-interface=/package/comonad-3.1/docs,/srv/hackage/var/build/cache/inst/share/doc/type-eq-0.2.1/html/comonad.haddock --read-interface=/package/containers-0.5.0.0/docs,/usr/local/share/doc/ghc/html/libraries/containers-0.5.0.0/containers.haddock --read-interface=/package/contravariant-0.4.4/docs,/srv/hackage/var/build/cache/inst/share/doc/type-eq-0.2.1/html/contravariant.haddock --read-interface=/package/deepseq-1.3.0.1/docs,/usr/local/share/doc/ghc/html/libraries/deepseq-1.3.0.1/deepseq.haddock --read-interface=/package/ghc-prim-0.3.0.0/docs,/usr/local/share/doc/ghc/html/libraries/ghc-prim-0.3.0.0/ghc-prim.haddock --read-interface=/package/groupoids-3.0.1.1/docs,/srv/hackage/var/build/cache/inst/share/doc/type-eq-0.2.1/html/groupoids.haddock --read-interface=/package/hashable-1.2.1.0/docs,/srv/hackage/var/build/cache/inst/share/doc/type-eq-0.2.1/html/hashable.haddock --read-interface=/package/integer-gmp-0.5.0.0/docs,/usr/local/share/doc/ghc/html/libraries/integer-gmp-0.5.0.0/integer-gmp.haddock --read-interface=/package/nats-0.1.2/docs,/srv/hackage/var/build/cache/inst/share/doc/type-eq-0.2.1/html/nats.haddock --read-interface=/package/semigroupoids-3.1/docs,/srv/hackage/var/build/cache/inst/share/doc/type-eq-0.2.1/html/semigroupoids.haddock --read-interface=/package/semigroups-0.11/docs,/srv/hackage/var/build/cache/inst/share/doc/type-eq-0.2.1/html/semigroups.haddock --read-interface=/package/tagged-0.7/docs,/srv/hackage/var/build/cache/inst/share/doc/type-eq-0.2.1/html/tagged.haddock --read-interface=/package/transformers-compat-0.1.1.1/docs,/srv/hackage/var/build/cache/inst/share/doc/type-eq-0.2.1/html/transformers-compat.haddock --read-interface=/package/unordered-containers-0.2.3.3/docs,/srv/hackage/var/build/cache/inst/share/doc/type-eq-0.2.1/html/unordered-containers.haddock --odir=dist/doc/html/type-eq/ --title=type-eq-0.2.1: Type equality evidence you can carry around --optghc=-fbuilding-cabal-package --optghc=-odir --optghc=dist/build/tmp-29690 --optghc=-hidir --optghc=dist/build/tmp-29690 --optghc=-stubdir --optghc=dist/build/tmp-29690 --optghc=-i --optghc=-idist/build --optghc=-i. --optghc=-idist/build/autogen --optghc=-Idist/build/autogen --optghc=-Idist/build --optghc=-I. --optghc=-optP-DHAVE_DEPENDENCIES --optghc=-optP-include --optghc=-optPdist/build/autogen/cabal_macros.h --optghc=-hide-all-packages --optghc=-package-db --optghc=/srv/hackage/var/build/cache/inst/local.conf.d --optghc=-package-id --optghc=base-4.6.0.1-8aa5d403c45ea59dcd2c39f123e27d57 --optghc=-package-id --optghc=groupoids-3.0.1.1-bb39ef84c68358d04087b6b413d1f036 --optghc=-package-id --optghc=semigroupoids-3.1-a3110c3ee52220bc44f8e21de74787ff --optghc=-XHaskell98 --optghc=-Wall -B/usr/local/lib/ghc-7.6.3 dist/build/tmp-29690/Type/Eq/Poly.hs dist/build/tmp-29690/Type/Eq.hs dist/build/tmp-29690/Type/Eq/Unsafe.hs dist/build/tmp-29690/Type/Eq/Higher.hs dist/build/tmp-29690/Type/Eq/Higher/Unsafe.hs --built-in-themes Haddock coverage: 100% ( 4 / 4) in 'Type.Eq.Unsafe' 83% ( 5 / 6) in 'Type.Eq.Higher.Unsafe' 82% ( 18 / 22) in 'Type.Eq' 62% ( 23 / 37) in 'Type.Eq.Higher' 61% ( 14 / 23) in 'Type.Eq.Poly' Documentation created: dist/doc/html/type-eq/index.html directory dist/doc/html/type-eq does exist: True creating /srv/hackage/var/build/cache/inst/share/doc/type-eq-0.2.1/html copy directory 'dist/doc/html/type-eq' to '/srv/hackage/var/build/cache/inst/share/doc/type-eq-0.2.1/html'. creating /srv/hackage/var/build/cache/inst/share/doc/type-eq-0.2.1/html creating /srv/hackage/var/build/cache/inst/share/doc/type-eq-0.2.1/html/src Installing dist/doc/html/type-eq/type-eq.haddock to /srv/hackage/var/build/cache/inst/share/doc/type-eq-0.2.1/html/type-eq.haddock Installing dist/doc/html/type-eq/doc-index.html to /srv/hackage/var/build/cache/inst/share/doc/type-eq-0.2.1/html/doc-index.html Installing dist/doc/html/type-eq/Type-Eq-Unsafe.html to /srv/hackage/var/build/cache/inst/share/doc/type-eq-0.2.1/html/Type-Eq-Unsafe.html Installing dist/doc/html/type-eq/mini_Type-Eq-Unsafe.html to /srv/hackage/var/build/cache/inst/share/doc/type-eq-0.2.1/html/mini_Type-Eq-Unsafe.html Installing dist/doc/html/type-eq/Type-Eq-Higher-Unsafe.html to /srv/hackage/var/build/cache/inst/share/doc/type-eq-0.2.1/html/Type-Eq-Higher-Unsafe.html Installing dist/doc/html/type-eq/mini_Type-Eq-Higher-Unsafe.html to /srv/hackage/var/build/cache/inst/share/doc/type-eq-0.2.1/html/mini_Type-Eq-Higher-Unsafe.html Installing dist/doc/html/type-eq/Type-Eq.html to /srv/hackage/var/build/cache/inst/share/doc/type-eq-0.2.1/html/Type-Eq.html Installing dist/doc/html/type-eq/mini_Type-Eq.html to /srv/hackage/var/build/cache/inst/share/doc/type-eq-0.2.1/html/mini_Type-Eq.html Installing dist/doc/html/type-eq/Type-Eq-Higher.html to /srv/hackage/var/build/cache/inst/share/doc/type-eq-0.2.1/html/Type-Eq-Higher.html Installing dist/doc/html/type-eq/mini_Type-Eq-Higher.html to /srv/hackage/var/build/cache/inst/share/doc/type-eq-0.2.1/html/mini_Type-Eq-Higher.html Installing dist/doc/html/type-eq/Type-Eq-Poly.html to /srv/hackage/var/build/cache/inst/share/doc/type-eq-0.2.1/html/Type-Eq-Poly.html Installing dist/doc/html/type-eq/mini_Type-Eq-Poly.html to /srv/hackage/var/build/cache/inst/share/doc/type-eq-0.2.1/html/mini_Type-Eq-Poly.html Installing dist/doc/html/type-eq/hslogo-16.png to /srv/hackage/var/build/cache/inst/share/doc/type-eq-0.2.1/html/hslogo-16.png Installing dist/doc/html/type-eq/minus.gif to /srv/hackage/var/build/cache/inst/share/doc/type-eq-0.2.1/html/minus.gif Installing dist/doc/html/type-eq/ocean.css to /srv/hackage/var/build/cache/inst/share/doc/type-eq-0.2.1/html/ocean.css Installing dist/doc/html/type-eq/plus.gif to /srv/hackage/var/build/cache/inst/share/doc/type-eq-0.2.1/html/plus.gif Installing dist/doc/html/type-eq/synopsis.png to /srv/hackage/var/build/cache/inst/share/doc/type-eq-0.2.1/html/synopsis.png Installing dist/doc/html/type-eq/haskell_icon.gif to /srv/hackage/var/build/cache/inst/share/doc/type-eq-0.2.1/html/haskell_icon.gif Installing dist/doc/html/type-eq/xhaddock.css to /srv/hackage/var/build/cache/inst/share/doc/type-eq-0.2.1/html/xhaddock.css Installing dist/doc/html/type-eq/haddock-util.js to /srv/hackage/var/build/cache/inst/share/doc/type-eq-0.2.1/html/haddock-util.js Installing dist/doc/html/type-eq/frames.html to /srv/hackage/var/build/cache/inst/share/doc/type-eq-0.2.1/html/frames.html Installing dist/doc/html/type-eq/src/hscolour.css to /srv/hackage/var/build/cache/inst/share/doc/type-eq-0.2.1/html/src/hscolour.css Installing dist/doc/html/type-eq/src/Type-Eq-Poly.html to /srv/hackage/var/build/cache/inst/share/doc/type-eq-0.2.1/html/src/Type-Eq-Poly.html Installing dist/doc/html/type-eq/src/Type-Eq.html to /srv/hackage/var/build/cache/inst/share/doc/type-eq-0.2.1/html/src/Type-Eq.html Installing dist/doc/html/type-eq/src/Type-Eq-Unsafe.html to /srv/hackage/var/build/cache/inst/share/doc/type-eq-0.2.1/html/src/Type-Eq-Unsafe.html Installing dist/doc/html/type-eq/src/Type-Eq-Higher.html to /srv/hackage/var/build/cache/inst/share/doc/type-eq-0.2.1/html/src/Type-Eq-Higher.html Installing dist/doc/html/type-eq/src/Type-Eq-Higher-Unsafe.html to /srv/hackage/var/build/cache/inst/share/doc/type-eq-0.2.1/html/src/Type-Eq-Higher-Unsafe.html creating /srv/hackage/var/build/cache/inst/share/doc/type-eq-0.2.1/html Installing dist/doc/html/type-eq/type-eq.haddock to /srv/hackage/var/build/cache/inst/share/doc/type-eq-0.2.1/html/type-eq.haddock creating /srv/hackage/var/build/cache/inst/share/doc/type-eq-0.2.1 Installing LICENSE to /srv/hackage/var/build/cache/inst/share/doc/type-eq-0.2.1/LICENSE Installing library in /srv/hackage/var/build/cache/inst/lib/type-eq-0.2.1/ghc-7.6.3 creating /srv/hackage/var/build/cache/inst/lib/type-eq-0.2.1/ghc-7.6.3/Type/Eq creating /srv/hackage/var/build/cache/inst/lib/type-eq-0.2.1/ghc-7.6.3/Type creating /srv/hackage/var/build/cache/inst/lib/type-eq-0.2.1/ghc-7.6.3 creating /srv/hackage/var/build/cache/inst/lib/type-eq-0.2.1 creating /srv/hackage/var/build/cache/inst/lib/type-eq-0.2.1/ghc-7.6.3 creating /srv/hackage/var/build/cache/inst/lib/type-eq-0.2.1/ghc-7.6.3/Type creating /srv/hackage/var/build/cache/inst/lib/type-eq-0.2.1/ghc-7.6.3/Type/Eq creating /srv/hackage/var/build/cache/inst/lib/type-eq-0.2.1/ghc-7.6.3/Type creating /srv/hackage/var/build/cache/inst/lib/type-eq-0.2.1/ghc-7.6.3/Type/Eq/Higher Installing dist/build/Type/Eq/Poly.hi to /srv/hackage/var/build/cache/inst/lib/type-eq-0.2.1/ghc-7.6.3/Type/Eq/Poly.hi Installing dist/build/Type/Eq.hi to /srv/hackage/var/build/cache/inst/lib/type-eq-0.2.1/ghc-7.6.3/Type/Eq.hi Installing dist/build/Type/Eq/Unsafe.hi to /srv/hackage/var/build/cache/inst/lib/type-eq-0.2.1/ghc-7.6.3/Type/Eq/Unsafe.hi Installing dist/build/Type/Eq/Higher.hi to /srv/hackage/var/build/cache/inst/lib/type-eq-0.2.1/ghc-7.6.3/Type/Eq/Higher.hi Installing dist/build/Type/Eq/Higher/Unsafe.hi to /srv/hackage/var/build/cache/inst/lib/type-eq-0.2.1/ghc-7.6.3/Type/Eq/Higher/Unsafe.hi creating /srv/hackage/var/build/cache/inst/lib/type-eq-0.2.1/ghc-7.6.3 Installing dist/build/libHStype-eq-0.2.1.a to /srv/hackage/var/build/cache/inst/lib/type-eq-0.2.1/ghc-7.6.3/libHStype-eq-0.2.1.a /usr/local/bin/ghc --abi-hash -fbuilding-cabal-package -odir dist/build -hidir dist/build -stubdir dist/build -i -idist/build -i. -idist/build/autogen -Idist/build/autogen -Idist/build -I. -optP-DHAVE_DEPENDENCIES -optP-include -optPdist/build/autogen/cabal_macros.h -package-name type-eq-0.2.1 -hide-all-packages -package-db /srv/hackage/var/build/cache/inst/local.conf.d -package-id base-4.6.0.1-8aa5d403c45ea59dcd2c39f123e27d57 -package-id groupoids-3.0.1.1-bb39ef84c68358d04087b6b413d1f036 -package-id semigroupoids-3.1-a3110c3ee52220bc44f8e21de74787ff -XHaskell98 Type.Eq.Poly Type.Eq Type.Eq.Unsafe Type.Eq.Higher Type.Eq.Higher.Unsafe -Wall -O0 Registering type-eq-0.2.1... /usr/local/bin/ghc-pkg update - --global --user --package-db=/srv/hackage/var/build/cache/inst/local.conf.d --no-user-package-conf