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.