Configuring type-unary-0.2.8... Dependency applicative-numbers ==0.1.2: using applicative-numbers-0.1.2 Dependency base ==4.6.0.1: using base-4.6.0.1 Dependency ty ==0.1.4: using ty-0.1.4 Dependency vector-space ==0.8.6: using vector-space-0.8.6 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-unary-0.2.8/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-unary-0.2.8 Documentation installed in: /srv/hackage/var/build/cache/inst/share/doc/type-unary-0.2.8 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-unary-0.2.8... Preprocessing library type-unary-0.2.8... 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 -isrc -idist/build/autogen -Idist/build/autogen -Idist/build -optP-include -optPdist/build/autogen/cabal_macros.h -package-name type-unary-0.2.8 -hide-all-packages -package-db /srv/hackage/var/build/cache/inst/local.conf.d -package-db dist/package.conf.inplace -package-id applicative-numbers-0.1.2-f423a8d8e6dcd9d4a4029e5a3722c3ff -package-id base-4.6.0.1-8aa5d403c45ea59dcd2c39f123e27d57 -package-id ty-0.1.4-d2e8dc13e795f8057295d6fa1d190c45 -package-id vector-space-0.8.6-f998f844bacb82f186c96cc571a34301 -XHaskell98 TypeUnary.TyNat TypeUnary.Nat TypeUnary.Vec -Wall -O0 [1 of 3] Compiling TypeUnary.TyNat ( src/TypeUnary/TyNat.hs, dist/build/TypeUnary/TyNat.o ) [2 of 3] Compiling TypeUnary.Nat ( src/TypeUnary/Nat.hs, dist/build/TypeUnary/Nat.o ) [3 of 3] Compiling TypeUnary.Vec ( src/TypeUnary/Vec.hs, dist/build/TypeUnary/Vec.o ) Linking... /usr/bin/ar -r dist/build/libHStype-unary-0.2.8.a dist/build/TypeUnary/TyNat.o dist/build/TypeUnary/Nat.o dist/build/TypeUnary/Vec.o /usr/bin/ar: creating dist/build/libHStype-unary-0.2.8.a In-place registering type-unary-0.2.8... /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-unary-0.2.8... /usr/local/bin/haddock --ghc-version --built-in-themes creating dist/build creating dist/build/autogen Running hscolour for type-unary-0.2.8... creating dist/doc/html/type-unary creating dist/doc/html creating dist/doc creating dist/doc/html creating dist/doc/html/type-unary Preprocessing library type-unary-0.2.8... creating dist/doc/html/type-unary/src /usr/bin/HsColour -print-css -odist/doc/html/type-unary/src/hscolour.css /usr/bin/HsColour -css -anchor -odist/doc/html/type-unary/src/TypeUnary-TyNat.html src/TypeUnary/TyNat.hs /usr/bin/HsColour -css -anchor -odist/doc/html/type-unary/src/TypeUnary-Nat.html src/TypeUnary/Nat.hs /usr/bin/HsColour -css -anchor -odist/doc/html/type-unary/src/TypeUnary-Vec.html src/TypeUnary/Vec.hs /usr/local/bin/ghc --print-libdir -O0 Preprocessing library type-unary-0.2.8... 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 copy src/TypeUnary/TyNat.hs to dist/build/tmp-21528/src/TypeUnary/TyNat.hs copy src/TypeUnary/Nat.hs to dist/build/tmp-21528/src/TypeUnary/Nat.hs copy src/TypeUnary/Vec.hs to dist/build/tmp-21528/src/TypeUnary/Vec.hs creating dist/doc/html/type-unary /usr/local/bin/haddock --prologue=dist/doc/html/type-unary/haddock-prolog21528.txt --dump-interface=dist/doc/html/type-unary/type-unary.haddock --optghc=-package-name --optghc=type-unary-0.2.8 --source-module=src/%{MODULE/./-}.html --source-entity=src/%{MODULE/./-}.html#%{NAME} --use-contents=/package/type-unary-0.2.8 --verbosity=1 --html --read-interface=/package/Boolean-0.2/docs,/srv/hackage/var/build/cache/inst/share/doc/type-unary-0.2.8/html/Boolean.haddock --read-interface=/package/MemoTrie-0.6.1/docs,/srv/hackage/var/build/cache/inst/share/doc/type-unary-0.2.8/html/MemoTrie.haddock --read-interface=/package/NumInstances-1.3/docs,/srv/hackage/var/build/cache/inst/share/doc/type-unary-0.2.8/html/NumInstances.haddock --read-interface=/package/applicative-numbers-0.1.2/docs,/srv/hackage/var/build/cache/inst/share/doc/type-unary-0.2.8/html/applicative-numbers.haddock --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/containers-0.5.0.0/docs,/usr/local/share/doc/ghc/html/libraries/containers-0.5.0.0/containers.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/hashable-1.2.1.0/docs,/srv/hackage/var/build/cache/inst/share/doc/type-unary-0.2.8/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-unary-0.2.8/html/nats.haddock --read-interface=/package/semigroups-0.11/docs,/srv/hackage/var/build/cache/inst/share/doc/type-unary-0.2.8/html/semigroups.haddock --read-interface=/package/ty-0.1.4/docs,/srv/hackage/var/build/cache/inst/share/doc/type-unary-0.2.8/html/ty.haddock --read-interface=/package/unordered-containers-0.2.3.3/docs,/srv/hackage/var/build/cache/inst/share/doc/type-unary-0.2.8/html/unordered-containers.haddock --read-interface=/package/vector-space-0.8.6/docs,/srv/hackage/var/build/cache/inst/share/doc/type-unary-0.2.8/html/vector-space.haddock --read-interface=/package/void-0.6.1/docs,/srv/hackage/var/build/cache/inst/share/doc/type-unary-0.2.8/html/void.haddock --read-interface=/package/wl-pprint-1.1/docs,/srv/hackage/var/build/cache/inst/share/doc/type-unary-0.2.8/html/wl-pprint.haddock --odir=dist/doc/html/type-unary/ --title=type-unary-0.2.8: Type-level and typed unary natural numbers, inequality proofs, vectors --optghc=-fbuilding-cabal-package --optghc=-odir --optghc=dist/build/tmp-21528 --optghc=-hidir --optghc=dist/build/tmp-21528 --optghc=-stubdir --optghc=dist/build/tmp-21528 --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=-hide-all-packages --optghc=-package-db --optghc=/srv/hackage/var/build/cache/inst/local.conf.d --optghc=-package-id --optghc=applicative-numbers-0.1.2-f423a8d8e6dcd9d4a4029e5a3722c3ff --optghc=-package-id --optghc=base-4.6.0.1-8aa5d403c45ea59dcd2c39f123e27d57 --optghc=-package-id --optghc=ty-0.1.4-d2e8dc13e795f8057295d6fa1d190c45 --optghc=-package-id --optghc=vector-space-0.8.6-f998f844bacb82f186c96cc571a34301 --optghc=-XHaskell98 --optghc=-Wall -B/usr/local/lib/ghc-7.6.3 dist/build/tmp-21528/src/TypeUnary/TyNat.hs dist/build/tmp-21528/src/TypeUnary/Nat.hs dist/build/tmp-21528/src/TypeUnary/Vec.hs --built-in-themes Haddock coverage: Warning: TypeUnary.TyNat: Instances of type and data families are not yet supported. Instances of the following families will be filtered out: :+:, :*:, :-: 25% ( 6 / 24) in 'TypeUnary.TyNat' 48% ( 14 / 29) in 'TypeUnary.Nat' Warning: TypeUnary.Vec: We do not support associated types in instances yet. These instances are affected: (TypeUnary.Nat.IsNat n, GHC.Num.Num a) => Data.VectorSpace.VectorSpace (TypeUnary.Vec.Vec n a) 50% ( 34 / 68) in 'TypeUnary.Vec' Documentation created: dist/doc/html/type-unary/index.html directory dist/doc/html/type-unary does exist: True creating /srv/hackage/var/build/cache/inst/share/type-unary-0.2.8/src creating /srv/hackage/var/build/cache/inst/share/type-unary-0.2.8 creating /srv/hackage/var/build/cache/inst/share/type-unary-0.2.8/src Installing src/.ghci to /srv/hackage/var/build/cache/inst/share/type-unary-0.2.8/src/.ghci creating /srv/hackage/var/build/cache/inst/share/doc/type-unary-0.2.8/html copy directory 'dist/doc/html/type-unary' to '/srv/hackage/var/build/cache/inst/share/doc/type-unary-0.2.8/html'. creating /srv/hackage/var/build/cache/inst/share/doc/type-unary-0.2.8/html creating /srv/hackage/var/build/cache/inst/share/doc/type-unary-0.2.8/html/src Installing dist/doc/html/type-unary/type-unary.haddock to /srv/hackage/var/build/cache/inst/share/doc/type-unary-0.2.8/html/type-unary.haddock Installing dist/doc/html/type-unary/doc-index.html to /srv/hackage/var/build/cache/inst/share/doc/type-unary-0.2.8/html/doc-index.html Installing dist/doc/html/type-unary/TypeUnary-TyNat.html to /srv/hackage/var/build/cache/inst/share/doc/type-unary-0.2.8/html/TypeUnary-TyNat.html Installing dist/doc/html/type-unary/mini_TypeUnary-TyNat.html to /srv/hackage/var/build/cache/inst/share/doc/type-unary-0.2.8/html/mini_TypeUnary-TyNat.html Installing dist/doc/html/type-unary/TypeUnary-Nat.html to /srv/hackage/var/build/cache/inst/share/doc/type-unary-0.2.8/html/TypeUnary-Nat.html Installing dist/doc/html/type-unary/mini_TypeUnary-Nat.html to /srv/hackage/var/build/cache/inst/share/doc/type-unary-0.2.8/html/mini_TypeUnary-Nat.html Installing dist/doc/html/type-unary/TypeUnary-Vec.html to /srv/hackage/var/build/cache/inst/share/doc/type-unary-0.2.8/html/TypeUnary-Vec.html Installing dist/doc/html/type-unary/mini_TypeUnary-Vec.html to /srv/hackage/var/build/cache/inst/share/doc/type-unary-0.2.8/html/mini_TypeUnary-Vec.html Installing dist/doc/html/type-unary/hslogo-16.png to /srv/hackage/var/build/cache/inst/share/doc/type-unary-0.2.8/html/hslogo-16.png Installing dist/doc/html/type-unary/minus.gif to /srv/hackage/var/build/cache/inst/share/doc/type-unary-0.2.8/html/minus.gif Installing dist/doc/html/type-unary/ocean.css to /srv/hackage/var/build/cache/inst/share/doc/type-unary-0.2.8/html/ocean.css Installing dist/doc/html/type-unary/plus.gif to /srv/hackage/var/build/cache/inst/share/doc/type-unary-0.2.8/html/plus.gif Installing dist/doc/html/type-unary/synopsis.png to /srv/hackage/var/build/cache/inst/share/doc/type-unary-0.2.8/html/synopsis.png Installing dist/doc/html/type-unary/haskell_icon.gif to /srv/hackage/var/build/cache/inst/share/doc/type-unary-0.2.8/html/haskell_icon.gif Installing dist/doc/html/type-unary/xhaddock.css to /srv/hackage/var/build/cache/inst/share/doc/type-unary-0.2.8/html/xhaddock.css Installing dist/doc/html/type-unary/haddock-util.js to /srv/hackage/var/build/cache/inst/share/doc/type-unary-0.2.8/html/haddock-util.js Installing dist/doc/html/type-unary/frames.html to /srv/hackage/var/build/cache/inst/share/doc/type-unary-0.2.8/html/frames.html Installing dist/doc/html/type-unary/src/hscolour.css to /srv/hackage/var/build/cache/inst/share/doc/type-unary-0.2.8/html/src/hscolour.css Installing dist/doc/html/type-unary/src/TypeUnary-TyNat.html to /srv/hackage/var/build/cache/inst/share/doc/type-unary-0.2.8/html/src/TypeUnary-TyNat.html Installing dist/doc/html/type-unary/src/TypeUnary-Nat.html to /srv/hackage/var/build/cache/inst/share/doc/type-unary-0.2.8/html/src/TypeUnary-Nat.html Installing dist/doc/html/type-unary/src/TypeUnary-Vec.html to /srv/hackage/var/build/cache/inst/share/doc/type-unary-0.2.8/html/src/TypeUnary-Vec.html creating /srv/hackage/var/build/cache/inst/share/doc/type-unary-0.2.8/html Installing dist/doc/html/type-unary/type-unary.haddock to /srv/hackage/var/build/cache/inst/share/doc/type-unary-0.2.8/html/type-unary.haddock creating /srv/hackage/var/build/cache/inst/share/doc/type-unary-0.2.8 Installing COPYING to /srv/hackage/var/build/cache/inst/share/doc/type-unary-0.2.8/COPYING Installing library in /srv/hackage/var/build/cache/inst/lib/type-unary-0.2.8/ghc-7.6.3 creating /srv/hackage/var/build/cache/inst/lib/type-unary-0.2.8/ghc-7.6.3/TypeUnary creating /srv/hackage/var/build/cache/inst/lib/type-unary-0.2.8/ghc-7.6.3 creating /srv/hackage/var/build/cache/inst/lib/type-unary-0.2.8 creating /srv/hackage/var/build/cache/inst/lib/type-unary-0.2.8/ghc-7.6.3 creating /srv/hackage/var/build/cache/inst/lib/type-unary-0.2.8/ghc-7.6.3/TypeUnary Installing dist/build/TypeUnary/TyNat.hi to /srv/hackage/var/build/cache/inst/lib/type-unary-0.2.8/ghc-7.6.3/TypeUnary/TyNat.hi Installing dist/build/TypeUnary/Nat.hi to /srv/hackage/var/build/cache/inst/lib/type-unary-0.2.8/ghc-7.6.3/TypeUnary/Nat.hi Installing dist/build/TypeUnary/Vec.hi to /srv/hackage/var/build/cache/inst/lib/type-unary-0.2.8/ghc-7.6.3/TypeUnary/Vec.hi creating /srv/hackage/var/build/cache/inst/lib/type-unary-0.2.8/ghc-7.6.3 Installing dist/build/libHStype-unary-0.2.8.a to /srv/hackage/var/build/cache/inst/lib/type-unary-0.2.8/ghc-7.6.3/libHStype-unary-0.2.8.a /usr/local/bin/ghc --abi-hash -fbuilding-cabal-package -odir dist/build -hidir dist/build -stubdir dist/build -i -idist/build -isrc -idist/build/autogen -Idist/build/autogen -Idist/build -optP-include -optPdist/build/autogen/cabal_macros.h -package-name type-unary-0.2.8 -hide-all-packages -package-db /srv/hackage/var/build/cache/inst/local.conf.d -package-id applicative-numbers-0.1.2-f423a8d8e6dcd9d4a4029e5a3722c3ff -package-id base-4.6.0.1-8aa5d403c45ea59dcd2c39f123e27d57 -package-id ty-0.1.4-d2e8dc13e795f8057295d6fa1d190c45 -package-id vector-space-0.8.6-f998f844bacb82f186c96cc571a34301 -XHaskell98 TypeUnary.TyNat TypeUnary.Nat TypeUnary.Vec -Wall -O0 Registering type-unary-0.2.8... /usr/local/bin/ghc-pkg update - --global --user --package-db=/srv/hackage/var/build/cache/inst/local.conf.d --no-user-package-conf