Build #7 for bidirectionalization-combined-0.1
| Package | bidirectionalization-combined-0.1 |
|---|
| Install | BuildFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2016-12-28 22:12:37.553485 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, pretty-1.1.3.3, template-haskell-2.11.0.0, base-4.9.0.0, bytestring-0.10.8.1, cgi-3001.3.0.2, containers-0.5.7.1, directory-1.2.6.2, hint-0.6.0, mtl-2.2.1, parsec-3.1.11, pretty-1.1.3.3, template-haskell-2.11.0.0, unix-2.7.2.0, utf8-string-1.0.1.1, xhtml-3000.2.1 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Configuring ghc-paths-0.1.0.9...
Configuring mtl-2.2.1...
Building mtl-2.2.1...
Building ghc-paths-0.1.0.9...
Installed mtl-2.2.1
Configuring network-2.6.3.1...
Configuring random-1.1...
Installed ghc-paths-0.1.0.9
Building random-1.1...
Building network-2.6.3.1...
Configuring stm-2.4.4.1...
Installed random-1.1
Building stm-2.4.4.1...
Configuring utf8-string-1.0.1.1...
Installed stm-2.4.4.1
Building utf8-string-1.0.1.1...
Configuring text-1.2.2.1...
Installed network-2.6.3.1
Building text-1.2.2.1...
Configuring transformers-compat-0.5.1.4...
Installed utf8-string-1.0.1.1
Building transformers-compat-0.5.1.4...
Installed transformers-compat-0.5.1.4
Configuring exceptions-0.8.3...
Building exceptions-0.8.3...
Installed exceptions-0.8.3
Configuring hint-0.6.0...
Building hint-0.6.0...
Installed text-1.2.2.1
Configuring parsec-3.1.11...
Building parsec-3.1.11...
Installed hint-0.6.0
Installed parsec-3.1.11
Configuring multipart-0.1.2...
Configuring network-uri-2.6.1.0...
Building network-uri-2.6.1.0...
Building multipart-0.1.2...
Installed multipart-0.1.2
Installed network-uri-2.6.1.0
Configuring cgi-3001.3.0.2...
Building cgi-3001.3.0.2...
Installed cgi-3001.3.0.2
Downloading bidirectionalization-combined-0.1...
Configuring bidirectionalization-combined-0.1...
Building bidirectionalization-combined-0.1...
Failed to install bidirectionalization-combined-0.1
Build log ( /home/builder/.cabal/logs/bidirectionalization-combined-0.1.log ):
cabal: Entering directory '/tmp/cabal-tmp-20310/bidirectionalization-combined-0.1'
Configuring bidirectionalization-combined-0.1...
Building bidirectionalization-combined-0.1...
Preprocessing executable 'b18n-combined' for
bidirectionalization-combined-0.1...
[1 of 8] Compiling Util ( Util.hs, dist/build/b18n-combined/b18n-combined-tmp/Util.o )
[2 of 8] Compiling AST ( AST.hs, dist/build/b18n-combined/b18n-combined-tmp/AST.o )
[3 of 8] Compiling CodeGen ( CodeGen.hs, dist/build/b18n-combined/b18n-combined-tmp/CodeGen.o )
[4 of 8] Compiling Parser ( Parser.hs, dist/build/b18n-combined/b18n-combined-tmp/Parser.o )
[5 of 8] Compiling Shapify ( Shapify.hs, dist/build/b18n-combined/b18n-combined-tmp/Shapify.o )
[6 of 8] Compiling Type ( Type.hs, dist/build/b18n-combined/b18n-combined-tmp/Type.o )
Type.hs:166:1: error:
• Non type-variable argument
in the constraint: MonadState ([(Name, FType)], Int) m
(Use FlexibleContexts to permit this)
• When checking the inferred type
makeInitConstr :: forall (m :: * -> *) t.
MonadState ([(Name, FType)], Int) m =>
t -> [Decl] -> m [Decl]
Type.hs:188:11: error:
• Non type-variable argument
in the constraint: MonadState (t1, t) m
(Use FlexibleContexts to permit this)
• When checking the inferred type
putTmpMap :: forall t (m :: * -> *) t1.
MonadState (t1, t) m =>
t1 -> m ()
In an equation for ‘makeInitConstr’:
makeInitConstr tmap decls
= do { mapM_ (\ (Decl f t ps e) -> do { ... })
$ (nubBy isSameFunc decls);
tmpMap <- getTmpMap;
let decls' = ...;
.... }
where
getTmpMap
= do { (tmpMap, i) <- get;
.... }
putTmpMap tm
= do { (_, i) <- get;
.... }
newTypeVar
= do { (tm, i) <- get;
.... }
Type.hs:194:1: error:
• Non type-variable argument
in the constraint: MonadState (t, Int) m
(Use FlexibleContexts to permit this)
• When checking the inferred type
assignTypeVars :: forall t (m :: * -> *).
MonadState (t, Int) m =>
[(Name, FType)] -> [(Name, FType)] -> Decl -> m Decl
Type.hs:215:7: error:
• Non type-variable argument
in the constraint: MonadState ([(t2, t1)], t) m
(Use FlexibleContexts to permit this)
• When checking the inferred type
addConstr :: forall t (m :: * -> *) t1 t2.
MonadState ([(t2, t1)], t) m =>
t2 -> t1 -> m ()
In an equation for ‘assignTypeVars’:
assignTypeVars tmpMap typeMap (Decl fname ftype ps e)
= do { ps' <- mapM assignTypeVarsP ps;
e' <- assignTypeVarsE e;
unifyFT ftype (TFun [] (map typeofP ps') (typeofE e'));
.... }
where
vtMapP (PVar _ t x) = [(x, t)]
vtMapP (PCon _ _ c ps) = concatMap vtMapP ps
vtMapE (EVar _ t x) = [(x, t)]
vtMapE (ECon _ _ c es) = concatMap vtMapE es
vtMapE (EFun _ _ c es) = concatMap vtMapE es
newTypeVar
= do { (constr, icount) <- get;
.... }
addConstr s t
= do { (constr, icount) <- get;
.... }
....
cabal: Leaving directory '/tmp/cabal-tmp-20310/bidirectionalization-combined-0.1'
cabal: Error: some packages failed to install:
bidirectionalization-combined-0.1 failed during the building phase. The
exception was:
ExitFailure 1
Test log
No test log was submitted for this report.