Build #1 for leancheck-0.4.0
| Package | leancheck-0.4.0 |
|---|
| Install | BuildFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2016-11-23 03:57:27.258782 UTC |
|---|---|
| Compiler | ghc-8.0.1.20161018 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | base-4.9.0.0, template-haskell-2.11.0.0 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Downloading leancheck-0.4.0...
Configuring leancheck-0.4.0...
Building leancheck-0.4.0...
Failed to install leancheck-0.4.0
Build log ( /home/builder/.cabal/logs/leancheck-0.4.0.log ):
cabal: Entering directory '/tmp/cabal-tmp-25733/leancheck-0.4.0'
Configuring leancheck-0.4.0...
Building leancheck-0.4.0...
Preprocessing library leancheck-0.4.0...
[ 1 of 18] Compiling Test.LeanCheck.Core ( src/Test/LeanCheck/Core.hs, dist/build/Test/LeanCheck/Core.o )
[ 2 of 18] Compiling Test.LeanCheck.IO ( src/Test/LeanCheck/IO.hs, dist/build/Test/LeanCheck/IO.o )
[ 3 of 18] Compiling Test.LeanCheck.Basic ( src/Test/LeanCheck/Basic.hs, dist/build/Test/LeanCheck/Basic.o )
[ 4 of 18] Compiling Test.LeanCheck.Derive ( src/Test/LeanCheck/Derive.hs, dist/build/Test/LeanCheck/Derive.o )
src/Test/LeanCheck/Derive.hs:129:13: error:
• The constructor ‘DataD’ should have 6 arguments, but has been given 5
• In the pattern: DataD _ _ ks _ _
In the pattern: TyConI (DataD _ _ ks _ _)
In a case alternative: TyConI (DataD _ _ ks _ _) -> ks
src/Test/LeanCheck/Derive.hs:141:13: error:
• The constructor ‘DataD’ should have 6 arguments, but has been given 5
• In the pattern: DataD _ _ _ cs _
In the pattern: TyConI (DataD _ _ _ cs _)
In a case alternative: TyConI (DataD _ _ _ cs _) -> cs
src/Test/LeanCheck/Derive.hs:157:13: error:
• The constructor ‘InstanceD’ should have 4 arguments, but has been given 3
• In the pattern: InstanceD c ts ds
In an equation for ‘ac’:
ac (InstanceD c ts ds) c' = InstanceD (c ++ c') ts ds
In an equation for ‘|=>|’:
c |=>| qds
= do { ds <- qds;
return $ map (`ac` c) ds }
where
ac (InstanceD c ts ds) c' = InstanceD (c ++ c') ts ds
ac d _ = d
cabal: Leaving directory '/tmp/cabal-tmp-25733/leancheck-0.4.0'
cabal: Error: some packages failed to install:
leancheck-0.4.0 failed during the building phase. The exception was:
ExitFailure 1
Test log
No test log was submitted for this report.