Build #8 for caledon-3.0.0.0
| Package | caledon-3.0.0.0 |
|---|
| Install | BuildFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2016-12-21 23:04:43.061446 UTC |
|---|---|
| Compiler | ghc-8.0.1.20161018 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | base-4.9.0.0, containers-0.5.7.1, cpphs-1.20.2, mtl-2.2.1, parsec-3.1.11, transformers-0.5.2.0 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Configuring old-locale-1.0.0.7...
Configuring mtl-2.2.1...
Building old-locale-1.0.0.7...
Building mtl-2.2.1...
Installed old-locale-1.0.0.7
Configuring text-1.2.2.1...
Building text-1.2.2.1...
Configuring old-time-1.1.0.3...
Installed mtl-2.2.1
Building old-time-1.1.0.3...
Installed old-time-1.1.0.3
Installed text-1.2.2.1
Configuring parsec-3.1.11...
Configuring polyparse-1.12...
Building polyparse-1.12...
Building parsec-3.1.11...
Installed parsec-3.1.11
Installed polyparse-1.12
Configuring cpphs-1.20.2...
Building cpphs-1.20.2...
Installed cpphs-1.20.2
Configuring caledon-3.0.0.0...
Building caledon-3.0.0.0...
Failed to install caledon-3.0.0.0
Build log ( /home/builder/.cabal/logs/caledon-3.0.0.0.log ):
cabal: Entering directory '/tmp/cabal-tmp-8128/caledon-3.0.0.0'
Configuring caledon-3.0.0.0...
Building caledon-3.0.0.0...
Preprocessing executable 'caledon' for caledon-3.0.0.0...
[1 of 7] Compiling Choice ( Choice.hs, dist/build/caledon/caledon-tmp/Choice.o )
[2 of 7] Compiling AST ( AST.hs, dist/build/caledon/caledon-tmp/AST.o )
AST.hs:321:2: warning: [-Winline-rule-shadowing]
Rule "mappendmempty" may never fire
because rule "Class op mempty" for ‘mempty’ might fire first
Probable fix: add phase [n] or [~n] to the competing rule
AST.hs:325:2: warning: [-Winline-rule-shadowing]
Rule "memptymappend" may never fire
because rule "Class op mempty" for ‘mempty’ might fire first
Probable fix: add phase [n] or [~n] to the competing rule
AST.hs:325:2: warning: [-Winline-rule-shadowing]
Rule "memptymappend" may never fire
because rule "Class op mappend" for ‘mappend’ might fire first
Probable fix: add phase [n] or [~n] to the competing rule
[3 of 7] Compiling Context ( Context.hs, dist/build/caledon/caledon-tmp/Context.o )
[4 of 7] Compiling Parser ( Parser.hs, dist/build/caledon/caledon-tmp/Parser.o )
[5 of 7] Compiling TopoSortAxioms ( TopoSortAxioms.hs, dist/build/caledon/caledon-tmp/TopoSortAxioms.o )
[6 of 7] Compiling HOU ( HOU.hs, dist/build/caledon/caledon-tmp/HOU.o )
HOU.hs:553:29: error:
• Couldn't match type ‘Spine’ with ‘Constraint’
Expected type: Name -> Type -> Constraint -> Constraint
Actual type: Name -> Type -> Spine -> Spine
• In the first argument of ‘addToEnv’, namely ‘(forall)’
In the expression: addToEnv (forall) r t''
In a stmt of a 'do' block:
Spine _ l' <- addToEnv (forall) r t'' $ checkType (Spine r l) ty
HOU.hs:569:22: error:
• Couldn't match type ‘Spine’ with ‘Constraint’
Expected type: Name -> Type -> Constraint -> Constraint
Actual type: Name -> Type -> Spine -> Spine
• In the first argument of ‘addToEnv’, namely ‘(forall)’
In the expression: addToEnv (forall) (check "imp_forall" x) tyA
In a stmt of a 'do' block:
tyB <- addToEnv (forall) (check "imp_forall" x) tyA
$ checkType tyB ty
HOU.hs:574:33: error:
• Couldn't match type ‘Spine’ with ‘Constraint’
Expected type: Name -> Type -> Constraint -> Constraint
Actual type: Name -> Type -> Spine -> Spine
• In the first argument of ‘addToEnv’, namely ‘(forall)’
In the expression: addToEnv (forall) (check "forall" x) tyA
In the second argument of ‘(<$>)’, namely
‘(addToEnv (forall) (check "forall" x) tyA $ checkType tyB ty)’
HOU.hs:585:17: error:
• Couldn't match type ‘Spine’ with ‘Constraint’
Expected type: Name -> Type -> Constraint -> Constraint
Actual type: Name -> Type -> Spine -> Spine
• In the first argument of ‘addToEnv’, namely ‘(forall)’
In the expression: addToEnv (forall) (check "impabs1" x) tyA
In a stmt of a 'do' block:
addToEnv (forall) (check "impabs1" x) tyA
$ do { imp_abs x tyA <$> checkType sp tyF' }
HOU.hs:593:25: error:
• Couldn't match type ‘Spine’ with ‘Constraint’
Expected type: Name -> Type -> Constraint -> Constraint
Actual type: Name -> Type -> Spine -> Spine
• In the first argument of ‘addToEnv’, namely ‘(forall)’
In the expression: addToEnv (forall) (check "impabs2" x) tyA
In a stmt of a 'do' block:
sp <- addToEnv (forall) (check "impabs2" x) tyA
$ checkType sp (Spine e [var x])
HOU.hs:600:17: error:
• Couldn't match type ‘Spine’ with ‘Constraint’
Expected type: Name -> Type -> Constraint -> Constraint
Actual type: Name -> Type -> Spine -> Spine
• In the first argument of ‘addToEnv’, namely ‘(forall)’
In the expression: addToEnv (forall) (check "abs1" x) tyA
In a stmt of a 'do' block:
addToEnv (forall) (check "abs1" x) tyA
$ do { Abs x tyA <$> checkType sp (subst (x' |-> var x) tyF') }
HOU.hs:607:34: error:
• Couldn't match type ‘Spine’ with ‘Constraint’
Expected type: Name -> Type -> Constraint -> Constraint
Actual type: Name -> Type -> Spine -> Spine
• In the first argument of ‘addToEnv’, namely ‘(forall)’
In the expression: addToEnv (forall) (check "abs2" x) tyA
In the second argument of ‘(<$>)’, namely
‘(addToEnv (forall) (check "abs2" x) tyA
$ checkType sp (Spine e [var x]))’
cabal: Leaving directory '/tmp/cabal-tmp-8128/caledon-3.0.0.0'
cabal: Error: some packages failed to install:
caledon-3.0.0.0 failed during the building phase. The exception was:
ExitFailure 1
Test log
No test log was submitted for this report.