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