Build #7 for type-unary-0.2.3
| Package | type-unary-0.2.3 |
|---|
| Install | BuildFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2016-12-23 15:47:44.757391 UTC |
|---|---|
| Compiler | ghc-8.0.1.20161018 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | base-4.9.0.0, ty-0.1.7, vector-space-0.10.4 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Configuring Boolean-0.2.3...
Configuring NumInstances-1.4...
Building NumInstances-1.4...
Building Boolean-0.2.3...
Installed Boolean-0.2.3
Configuring newtype-generics-0.5...
Building newtype-generics-0.5...
Configuring ty-0.1.7...
Installed NumInstances-1.4
Building ty-0.1.7...
Installed newtype-generics-0.5
Configuring MemoTrie-0.6.7...
Building MemoTrie-0.6.7...
Installed ty-0.1.7
Installed MemoTrie-0.6.7
Configuring vector-space-0.10.4...
Building vector-space-0.10.4...
Installed vector-space-0.10.4
Configuring type-unary-0.2.3...
Building type-unary-0.2.3...
Failed to install type-unary-0.2.3
Build log ( /home/builder/.cabal/logs/type-unary-0.2.3.log ):
cabal: Entering directory '/tmp/cabal-tmp-1219/type-unary-0.2.3'
Configuring type-unary-0.2.3...
Building type-unary-0.2.3...
Preprocessing library type-unary-0.2.3...
[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: error:
• 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:1-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:4-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))
cabal: Leaving directory '/tmp/cabal-tmp-1219/type-unary-0.2.3'
cabal: Error: some packages failed to install:
type-unary-0.2.3 failed during the building phase. The exception was:
ExitFailure 1
Test log
No test log was submitted for this report.