Build #4 for type-unary-0.2.4

[all reports]

Package type-unary-0.2.4
Install BuildFailed
Docs NotTried
Tests NotTried
Time submitted 2015-11-25 16:48:59.868025 UTC
Compiler ghc-7.10.2
OS linux
Arch x86_64
Dependencies vector-space-0.10.2, ty-0.1.6, base-4.8.1.0, applicative-numbers-0.1.3
Flags none

Code Coverage

No Code Coverage was submitted for this report.

Build log

[view raw]

Resolving dependencies...
Configuring Boolean-0.2.3...
Building Boolean-0.2.3...
Preprocessing library Boolean-0.2.3...
[1 of 3] Compiling Data.Boolean     ( src/Data/Boolean.hs, dist/build/Data/Boolean.o )
[2 of 3] Compiling Data.Boolean.Overload ( src/Data/Boolean/Overload.hs, dist/build/Data/Boolean/Overload.o )
[3 of 3] Compiling Data.Boolean.Numbers ( src/Data/Boolean/Numbers.hs, dist/build/Data/Boolean/Numbers.o )
In-place registering Boolean-0.2.3...
Running Haddock for Boolean-0.2.3...
Running hscolour for Boolean-0.2.3...
Preprocessing library Boolean-0.2.3...
Preprocessing library Boolean-0.2.3...
Haddock coverage:
 100% ( 14 / 14) in 'Data.Boolean'
  14% (  2 / 14) in 'Data.Boolean.Overload'
  Missing documentation for:
    && (src/Data/Boolean/Overload.hs:41)
    || (src/Data/Boolean/Overload.hs:44)
    not (src/Data/Boolean/Overload.hs:47)
    ifThenElse (src/Data/Boolean/Overload.hs:52)
    == (src/Data/Boolean/Overload.hs:56)
    /= (src/Data/Boolean/Overload.hs:58)
    < (src/Data/Boolean/Overload.hs:62)
    > (src/Data/Boolean/Overload.hs:64)
    <= (src/Data/Boolean/Overload.hs:66)
    >= (src/Data/Boolean/Overload.hs:68)
    min (src/Data/Boolean/Overload.hs:71)
    max (src/Data/Boolean/Overload.hs:73)
 100% (  8 /  8) in 'Data.Boolean.Numbers'
Documentation created: dist/doc/html/Boolean/index.html,
dist/doc/html/Boolean/Boolean.txt
Creating package registration file:
/tmp/pkgConf-Boolean-0.2278722862233665123.3
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/Boolean-0.2.3-Gipy5on5nq18hTbEsOOw30
Registering Boolean-0.2.3...
Installed Boolean-0.2.3
Configuring MemoTrie-0.6.4...
Building MemoTrie-0.6.4...
Preprocessing library MemoTrie-0.6.4...
[1 of 1] Compiling Data.MemoTrie    ( src/Data/MemoTrie.hs, dist/build/Data/MemoTrie.o )

src/Data/MemoTrie.hs:67:1: Warning:
    The import of ‘Control.Applicative’ is redundant
      except perhaps to import instances from ‘Control.Applicative’
    To import instances alone, use: import Control.Applicative()

src/Data/MemoTrie.hs:69:1: Warning:
    The import of ‘Data.Monoid’ is redundant
      except perhaps to import instances from ‘Data.Monoid’
    To import instances alone, use: import Data.Monoid()
In-place registering MemoTrie-0.6.4...
Running Haddock for MemoTrie-0.6.4...
Running hscolour for MemoTrie-0.6.4...
Preprocessing library MemoTrie-0.6.4...
Preprocessing library MemoTrie-0.6.4...

src/Data/MemoTrie.hs:67:1: Warning:
    The import of ‘Control.Applicative’ is redundant
      except perhaps to import instances from ‘Control.Applicative’
    To import instances alone, use: import Control.Applicative()

src/Data/MemoTrie.hs:69:1: Warning:
    The import of ‘Data.Monoid’ is redundant
      except perhaps to import instances from ‘Data.Monoid’
    To import instances alone, use: import Data.Monoid()
Haddock coverage:
  81% ( 13 / 16) in 'Data.MemoTrie'
  Missing documentation for:
    trieGeneric (src/Data/MemoTrie.hs:608)
    untrieGeneric (src/Data/MemoTrie.hs:615)
    enumerateGeneric (src/Data/MemoTrie.hs:622)
Documentation created: dist/doc/html/MemoTrie/index.html,
dist/doc/html/MemoTrie/MemoTrie.txt
Creating package registration file:
/tmp/pkgConf-MemoTrie-0.61687926652660260756.4
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/MemoTrie-0.6.4-7uU5gNLD1d911biDZ0G1wB
Registering MemoTrie-0.6.4...
Installed MemoTrie-0.6.4
Configuring NumInstances-1.4...
Building NumInstances-1.4...
Preprocessing library NumInstances-1.4...
[1 of 5] Compiling Data.NumInstances.Util ( src/Data/NumInstances/Util.hs, dist/build/Data/NumInstances/Util.o )
[2 of 5] Compiling Data.NumInstances.PreRequisites ( src-relaxed-Num/Data/NumInstances/PreRequisites.hs, dist/build/Data/NumInstances/PreRequisites.o )
[3 of 5] Compiling Data.NumInstances.Tuple ( src/Data/NumInstances/Tuple.hs, dist/build/Data/NumInstances/Tuple.o )
[4 of 5] Compiling Data.NumInstances.Function ( src/Data/NumInstances/Function.hs, dist/build/Data/NumInstances/Function.o )
[5 of 5] Compiling Data.NumInstances ( src/Data/NumInstances.hs, dist/build/Data/NumInstances.o )
In-place registering NumInstances-1.4...
Running Haddock for NumInstances-1.4...
Running hscolour for NumInstances-1.4...
Preprocessing library NumInstances-1.4...
Preprocessing library NumInstances-1.4...
Haddock coverage:
  50% (  1 /  2) in 'Data.NumInstances.Util'
  Missing documentation for:
    noOv (src/Data/NumInstances/Util.hs:16)
   0% (  0 /  1) in 'Data.NumInstances.PreRequisites'
  Missing documentation for:
    Module header
 100% (  1 /  1) in 'Data.NumInstances.Tuple'
 100% (  1 /  1) in 'Data.NumInstances.Function'
 100% (  1 /  1) in 'Data.NumInstances'
Documentation created: dist/doc/html/NumInstances/index.html,
dist/doc/html/NumInstances/NumInstances.txt
Creating package registration file:
/tmp/pkgConf-NumInstances-11275373743387346491.4
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/NumInstances-1.4-5rklW6SdW0UKOQixfUKBrX
Registering NumInstances-1.4...
Installed NumInstances-1.4
Configuring applicative-numbers-0.1.3...
Building applicative-numbers-0.1.3...
Preprocessing library applicative-numbers-0.1.3...
[1 of 1] Compiling Data.Numeric.Function ( src/Data/Numeric/Function.hs, dist/build/Data/Numeric/Function.o )

src/ApplicativeNumeric-inc.hs:34:10: Warning:
    No explicit implementation for
      either ‘compare’ or ‘<=’
    In the instance declaration for ‘Ord (a -> applicative_arg)’

src/Data/Numeric/Function.hs:18:1: Warning:
    The import of ‘Applicative’
    from module ‘Control.Applicative’ is redundant
In-place registering applicative-numbers-0.1.3...
Running Haddock for applicative-numbers-0.1.3...
Running hscolour for applicative-numbers-0.1.3...
Preprocessing library applicative-numbers-0.1.3...
Preprocessing library applicative-numbers-0.1.3...

src/ApplicativeNumeric-inc.hs:34:10: Warning:
    No explicit implementation for
      either ‘compare’ or ‘<=’
    In the instance declaration for ‘Ord (a -> applicative_arg)’

src/Data/Numeric/Function.hs:18:1: Warning:
    The import of ‘Applicative’
    from module ‘Control.Applicative’ is redundant
Haddock coverage:
 100% (  1 /  1) in 'Data.Numeric.Function'
Documentation created: dist/doc/html/applicative-numbers/index.html,
dist/doc/html/applicative-numbers/applicative-numbers.txt
Creating package registration file:
/tmp/pkgConf-applicative-numbers-0.1238962600776532036.3
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/applicative-numbers-0.1.3-LYRlUYO8wme8pm8IrZ5Yo9
Registering applicative-numbers-0.1.3...
Installed applicative-numbers-0.1.3
Configuring ty-0.1.6...
Building ty-0.1.6...
Preprocessing library ty-0.1.6...
[1 of 3] Compiling Data.Proof.EQ    ( src/Data/Proof/EQ.hs, dist/build/Data/Proof/EQ.o )
[2 of 3] Compiling Data.IsTy        ( src/Data/IsTy.hs, dist/build/Data/IsTy.o )
[3 of 3] Compiling Data.Ty          ( src/Data/Ty.hs, dist/build/Data/Ty.o )
In-place registering ty-0.1.6...
Running Haddock for ty-0.1.6...
Running hscolour for ty-0.1.6...
Preprocessing library ty-0.1.6...
Preprocessing library ty-0.1.6...
Haddock coverage:
 100% (  8 /  8) in 'Data.Proof.EQ'
  60% (  3 /  5) in 'Data.IsTy'
  Missing documentation for:
    Yes (src/Data/IsTy.hs:23)
    Yes2 (src/Data/IsTy.hs:33)
  67% (  8 / 12) in 'Data.Ty'
  Missing documentation for:
    tyRep (src/Data/Ty.hs:33)
    ty (src/Data/Ty.hs:42)
    AsPairTy (src/Data/Ty.hs:85)
    asPairTy (src/Data/Ty.hs:91)
Documentation created: dist/doc/html/ty/index.html, dist/doc/html/ty/ty.txt
Creating package registration file: /tmp/pkgConf-ty-0.11307565984555996658.6
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/ty-0.1.6-7q4Aj0Le7niECW1UtyJPDA
Registering ty-0.1.6...
Installed ty-0.1.6
Configuring vector-space-0.10.2...
Building vector-space-0.10.2...
Preprocessing library vector-space-0.10.2...
[1 of 8] Compiling Data.AdditiveGroup ( src/Data/AdditiveGroup.hs, dist/build/Data/AdditiveGroup.o )
[2 of 8] Compiling Data.VectorSpace ( src/Data/VectorSpace.hs, dist/build/Data/VectorSpace.o )
[3 of 8] Compiling Data.Basis       ( src/Data/Basis.hs, dist/build/Data/Basis.o )
[4 of 8] Compiling Data.AffineSpace ( src/Data/AffineSpace.hs, dist/build/Data/AffineSpace.o )
[5 of 8] Compiling Data.LinearMap   ( src/Data/LinearMap.hs, dist/build/Data/LinearMap.o )
[6 of 8] Compiling Data.Maclaurin   ( src/Data/Maclaurin.hs, dist/build/Data/Maclaurin.o )
[7 of 8] Compiling Data.Derivative  ( src/Data/Derivative.hs, dist/build/Data/Derivative.o )
[8 of 8] Compiling Data.Cross       ( src/Data/Cross.hs, dist/build/Data/Cross.o )
In-place registering vector-space-0.10.2...
Running Haddock for vector-space-0.10.2...
Running hscolour for vector-space-0.10.2...
Preprocessing library vector-space-0.10.2...
Preprocessing library vector-space-0.10.2...
Haddock coverage:
 100% (  6 /  6) in 'Data.AdditiveGroup'
 100% ( 12 / 12) in 'Data.VectorSpace'
  50% (  2 /  4) in 'Data.Basis'
  Missing documentation for:
    HasBasis (src/Data/Basis.hs:30)
    recompose (src/Data/Basis.hs:44)
  86% (  6 /  7) in 'Data.AffineSpace'
  Missing documentation for:
    AffineSpace (src/Data/AffineSpace.hs:40)
  59% ( 10 / 17) in 'Data.LinearMap'
  Missing documentation for:
    inLMap (src/Data/LinearMap.hs:104)
    inLMap2 (src/Data/LinearMap.hs:107)
    inLMap3 (src/Data/LinearMap.hs:111)
    liftMS (src/Data/LinearMap.hs:185)
    liftMS2 (src/Data/LinearMap.hs:193)
    liftMS3 (src/Data/LinearMap.hs:199)
    firstL (src/Data/LinearMap.hs:64)
Warning: Data.Maclaurin: powVal is exported separately but will be documented under D. Consider exporting it together with its parent(s) for code clarity.
Warning: Data.Maclaurin: derivative is exported separately but will be documented under D. Consider exporting it together with its parent(s) for code clarity.
  80% ( 16 / 20) in 'Data.Maclaurin'
  Missing documentation for:
    pairD (src/Data/Maclaurin.hs:301)
    unpairD (src/Data/Maclaurin.hs:308)
    tripleD (src/Data/Maclaurin.hs:315)
    untripleD (src/Data/Maclaurin.hs:321)
 100% (  2 /  2) in 'Data.Derivative'
 100% (  8 /  8) in 'Data.Cross'
Warning: Data.LinearMap: could not find link destinations for:
    LMap' MSum
Documentation created: dist/doc/html/vector-space/index.html,
dist/doc/html/vector-space/vector-space.txt
Creating package registration file:
/tmp/pkgConf-vector-space-0.101775473788624549797.2
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/vector-space-0.10.2-E8X7wJFSIbN52qGfhnplGC
Registering vector-space-0.10.2...
Installed vector-space-0.10.2
Configuring type-unary-0.2.4...
Building type-unary-0.2.4...
Preprocessing library type-unary-0.2.4...
[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 )

src/TypeUnary/Nat.hs:258:20:
    Could not deduce (Eq i1) arising from the literal ‘0’
    from the context (Show i, Num i)
      bound by the type signature for
                 coerceToIndex' :: (Show i, Num i) => Nat m -> i -> Index m
      at src/TypeUnary/Nat.hs:251:19-58
    or from (Show i1, Num i1)
      bound by the type signature for
                 loop :: (Show i1, Num i1) => Nat m1 -> i1 -> Index m1
      at src/TypeUnary/Nat.hs:254:12-51
    or from (m1 ~ S n, IsNat n)
      bound by a pattern with constructor
                 Succ :: forall n. IsNat n => Nat n -> Nat (S n),
               in an equation for ‘loop’
      at src/TypeUnary/Nat.hs:258:10-15
    Possible fix:
      add (Eq i1) to the context of
        the data constructor ‘Succ’
        or the type signature for
             loop :: (Show i1, Num i1) => Nat m1 -> i1 -> Index m1
    In the pattern: 0
    In an equation for ‘loop’: loop (Succ _) 0 = Index ZLess Zero
    In an equation for ‘coerceToIndex'’:
        coerceToIndex' mOrig niOrig
          = loop mOrig niOrig
          where
              loop :: (Show i, Num i) => Nat m -> i -> Index m
              loop Zero _
                = error
                  $ "coerceToIndex: out of bounds: "
                    ++ show niOrig ++ " should be less than " ++ show mOrig
              loop (Succ _) 0 = Index ZLess Zero
              loop (Succ m') ni' = succI (loop m' (ni' - 1))
Failed to install type-unary-0.2.4
cabal: Error: some packages failed to install:
type-unary-0.2.4 failed during the building phase. The exception was:
ExitFailure 1

Test log

No test log was submitted for this report.