Build #6 for CPL-0.0.5

[all reports]

Package CPL-0.0.5
Install BuildFailed
Docs NotTried
Tests NotTried
Time submitted 2016-12-31 05:37:41.501887 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 none

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.5...
Configuring CPL-0.0.5...
Building CPL-0.0.5...
Failed to install CPL-0.0.5
Build log ( /home/builder/.cabal/logs/CPL-0.0.5.log ):
cabal: Entering directory '/tmp/cabal-tmp-27119/CPL-0.0.5'
Configuring CPL-0.0.5...
Building CPL-0.0.5...
Preprocessing executable 'cpl' for CPL-0.0.5...

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-27119/CPL-0.0.5'
cabal: Error: some packages failed to install:
CPL-0.0.5 failed during the building phase. The exception was:
ExitFailure 1

Test log

No test log was submitted for this report.