Build #8 for caledon-2.1.1.0
Package | caledon-2.1.1.0 |
---|
Install | BuildFailed |
---|---|
Docs | NotTried |
Tests | NotTried |
Time submitted | 2016-12-22 00:00:05.993266 UTC |
---|---|
Compiler | ghc-8.0.1.20161018 |
OS | linux |
Arch | x86_64 |
Dependencies | base-4.9.0.0, containers-0.5.7.1, 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 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 Configuring caledon-2.1.1.0... Building caledon-2.1.1.0... Failed to install caledon-2.1.1.0 Build log ( /home/builder/.cabal/logs/caledon-2.1.1.0.log ): cabal: Entering directory '/tmp/cabal-tmp-3310/caledon-2.1.1.0' Configuring caledon-2.1.1.0... Building caledon-2.1.1.0... Preprocessing executable 'caledon' for caledon-2.1.1.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:309: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:313: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:313: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:543: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:558: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:563: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:574: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:582: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:589: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:596: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-3310/caledon-2.1.1.0' cabal: Error: some packages failed to install: caledon-2.1.1.0 failed during the building phase. The exception was: ExitFailure 1
Test log
No test log was submitted for this report.