Build #1 for type-unary-0.2.8
| Package | type-unary-0.2.8 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | unknown |
|---|---|
| Compiler | ghc-7.6.3 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | vector-space-0.8.6, ty-0.1.4, base-4.6.0.1, applicative-numbers-0.1.2 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
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
Test log
No test log was submitted for this report.