Build #6 for CPL-0.0.6
| Package | CPL-0.0.6 |
|---|
| Install | BuildFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2016-12-31 05:25:01.667589 UTC |
|---|---|
| Compiler | ghc-8.0.1.20161018 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | array-0.5.1.1, base-4.9.0.0, containers-0.5.7.1, mtl-2.2.1, parsec-3.1.11 |
| Flags | -readline -haskeline |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Configuring mtl-2.2.1...
Configuring text-1.2.2.1...
Building mtl-2.2.1...
Building text-1.2.2.1...
Installed mtl-2.2.1
Installed text-1.2.2.1
Configuring parsec-3.1.11...
Building parsec-3.1.11...
Installed parsec-3.1.11
Downloading CPL-0.0.6...
Configuring CPL-0.0.6...
Building CPL-0.0.6...
Failed to install CPL-0.0.6
Build log ( /home/builder/.cabal/logs/CPL-0.0.6.log ):
cabal: Entering directory '/tmp/cabal-tmp-27780/CPL-0.0.6'
Configuring CPL-0.0.6...
Building CPL-0.0.6...
Preprocessing executable 'cpl' for CPL-0.0.6...
src/Type.hs:1:12: warning:
-fglasgow-exts is deprecated: Use individual extensions instead
src/Subst.hs:1:12: warning:
-fglasgow-exts is deprecated: Use individual extensions instead
src/FE.hs:1:12: warning:
-fglasgow-exts is deprecated: Use individual extensions instead
[ 1 of 17] Compiling Variance ( src/Variance.hs, dist/build/cpl/cpl-tmp/Variance.o )
[ 2 of 17] Compiling ParserUtils ( src/ParserUtils.hs, dist/build/cpl/cpl-tmp/ParserUtils.o )
[ 3 of 17] Compiling Funct ( src/Funct.hs, dist/build/cpl/cpl-tmp/Funct.o )
[ 4 of 17] Compiling CDT[boot] ( src/CDT.hs-boot, dist/build/cpl/cpl-tmp/CDT.o-boot )
[ 5 of 17] Compiling FE ( src/FE.hs, dist/build/cpl/cpl-tmp/FE.o )
[ 6 of 17] Compiling Subst ( src/Subst.hs, dist/build/cpl/cpl-tmp/Subst.o )
[ 7 of 17] Compiling Type ( src/Type.hs, dist/build/cpl/cpl-tmp/Type.o )
[ 8 of 17] Compiling CDT ( src/CDT.hs, dist/build/cpl/cpl-tmp/CDT.o )
src/CDT.hs:202:9: error:
• Non type-variable argument in the constraint: Subst.FEs (GenFE t)
(Use FlexibleContexts to permit this)
• When checking the inferred type
f :: forall t t1. Subst.FEs (GenFE t) => (t1, GenType t) -> Bool
In an equation for ‘isUnconditioned’:
isUnconditioned
= all f natDecls
where
f (_, dom :-> cod)
= case t of {
LeftObject -> 0 `notElem` tv dom
RightObject -> 0 `notElem` tv cod }
In an equation for ‘mkCDT’:
mkCDT t functName functArity factName natDecls
= object
where
object
= CDT
{objectType = t, nats = nats, nNats = length (natDecls),
isUnconditioned = isUnconditioned, functName = functName,
functVariance = vs, functArity = functArity, factName = factName,
factParams = map snd natDecls, factDestType = factDestType}
vs
= map joinL . transpose . map f $ natDecls
where
f (_, dom :-> cod)
= zipWith
g
(tail (variance (CFE (1 + functArity) dom)))
(tail (variance (CFE (1 + functArity) cod)))
g = ...
factDestType
= case t of {
LeftObject -> a :-> b
RightObject -> b :-> a }
where
a = Ap object ...
b = Var 0
nats
= zipWith f natDecls [0 .. ]
where
f (name, declType@(dom :-> cod)) idx
= nat
where
...
....
cabal: Leaving directory '/tmp/cabal-tmp-27780/CPL-0.0.6'
cabal: Error: some packages failed to install:
CPL-0.0.6 failed during the building phase. The exception was:
ExitFailure 1
Test log
No test log was submitted for this report.