Build #3 for singletons-0.8.1

[all reports]

Package singletons-0.8.1
Install BuildFailed
Docs NotTried
Tests NotTried
Time submitted 2015-10-19 12:31:01.892232 UTC
Compiler ghc-7.10.2
OS linux
Arch x86_64
Dependencies template-haskell-2.10.0.0, syb-0.6, mtl-2.2.1, containers-0.5.6.2, base-4.8.1.0
Flags none

Code Coverage

No Code Coverage was submitted for this report.

Build log

[view raw]

Resolving dependencies...
Configuring mtl-2.2.1...
Building mtl-2.2.1...
Preprocessing library mtl-2.2.1...
[ 1 of 22] Compiling Control.Monad.Writer.Class ( Control/Monad/Writer/Class.hs, dist/build/Control/Monad/Writer/Class.o )
[ 2 of 22] Compiling Control.Monad.State.Class ( Control/Monad/State/Class.hs, dist/build/Control/Monad/State/Class.o )
[ 3 of 22] Compiling Control.Monad.Reader.Class ( Control/Monad/Reader/Class.hs, dist/build/Control/Monad/Reader/Class.o )
[ 4 of 22] Compiling Control.Monad.RWS.Class ( Control/Monad/RWS/Class.hs, dist/build/Control/Monad/RWS/Class.o )
[ 5 of 22] Compiling Control.Monad.Identity ( Control/Monad/Identity.hs, dist/build/Control/Monad/Identity.o )
[ 6 of 22] Compiling Control.Monad.Error.Class ( Control/Monad/Error/Class.hs, dist/build/Control/Monad/Error/Class.o )
[ 7 of 22] Compiling Control.Monad.Cont.Class ( Control/Monad/Cont/Class.hs, dist/build/Control/Monad/Cont/Class.o )
[ 8 of 22] Compiling Control.Monad.Trans ( Control/Monad/Trans.hs, dist/build/Control/Monad/Trans.o )
[ 9 of 22] Compiling Control.Monad.Error ( Control/Monad/Error.hs, dist/build/Control/Monad/Error.o )
[10 of 22] Compiling Control.Monad.Except ( Control/Monad/Except.hs, dist/build/Control/Monad/Except.o )
[11 of 22] Compiling Control.Monad.List ( Control/Monad/List.hs, dist/build/Control/Monad/List.o )
[12 of 22] Compiling Control.Monad.RWS.Lazy ( Control/Monad/RWS/Lazy.hs, dist/build/Control/Monad/RWS/Lazy.o )
[13 of 22] Compiling Control.Monad.RWS ( Control/Monad/RWS.hs, dist/build/Control/Monad/RWS.o )
[14 of 22] Compiling Control.Monad.Reader ( Control/Monad/Reader.hs, dist/build/Control/Monad/Reader.o )
[15 of 22] Compiling Control.Monad.RWS.Strict ( Control/Monad/RWS/Strict.hs, dist/build/Control/Monad/RWS/Strict.o )
[16 of 22] Compiling Control.Monad.State.Lazy ( Control/Monad/State/Lazy.hs, dist/build/Control/Monad/State/Lazy.o )
[17 of 22] Compiling Control.Monad.State ( Control/Monad/State.hs, dist/build/Control/Monad/State.o )
[18 of 22] Compiling Control.Monad.State.Strict ( Control/Monad/State/Strict.hs, dist/build/Control/Monad/State/Strict.o )
[19 of 22] Compiling Control.Monad.Writer.Lazy ( Control/Monad/Writer/Lazy.hs, dist/build/Control/Monad/Writer/Lazy.o )
[20 of 22] Compiling Control.Monad.Writer ( Control/Monad/Writer.hs, dist/build/Control/Monad/Writer.o )
[21 of 22] Compiling Control.Monad.Writer.Strict ( Control/Monad/Writer/Strict.hs, dist/build/Control/Monad/Writer/Strict.o )
[22 of 22] Compiling Control.Monad.Cont ( Control/Monad/Cont.hs, dist/build/Control/Monad/Cont.o )
In-place registering mtl-2.2.1...
Running Haddock for mtl-2.2.1...
Running hscolour for mtl-2.2.1...
Preprocessing library mtl-2.2.1...
Preprocessing library mtl-2.2.1...
Haddock coverage:
  75% (  3 /  4) in 'Control.Monad.Writer.Class'
  Missing documentation for:
    MonadWriter (Control/Monad/Writer/Class.hs:62)
 100% (  5 /  5) in 'Control.Monad.State.Class'
 100% (  3 /  3) in 'Control.Monad.Reader.Class'
  80% (  4 /  5) in 'Control.Monad.RWS.Class'
  Missing documentation for:
    MonadRWS (Control/Monad/RWS/Class.hs:44)
 100% (  4 /  4) in 'Control.Monad.Identity'
 100% (  3 /  3) in 'Control.Monad.Error.Class'
  50% (  1 /  2) in 'Control.Monad.Cont.Class'
  Missing documentation for:
    MonadCont (Control/Monad/Cont/Class.hs:73)
 100% (  3 /  3) in 'Control.Monad.Trans'
  93% ( 14 / 15) in 'Control.Monad.Error'
  Missing documentation for:
    runErrorT
 100% ( 19 / 19) in 'Control.Monad.Except'
 100% (  5 /  5) in 'Control.Monad.List'
  95% ( 21 / 22) in 'Control.Monad.RWS.Lazy'
  Missing documentation for:
    runRWST
 100% (  2 /  2) in 'Control.Monad.RWS'
  96% ( 22 / 23) in 'Control.Monad.Reader'
  Missing documentation for:
    runReaderT
  95% ( 21 / 22) in 'Control.Monad.RWS.Strict'
  Missing documentation for:
    runRWST
  96% ( 24 / 25) in 'Control.Monad.State.Lazy'
  Missing documentation for:
    runStateT
 100% (  2 /  2) in 'Control.Monad.State'
  96% ( 24 / 25) in 'Control.Monad.State.Strict'
  Missing documentation for:
    runStateT
  89% ( 17 / 19) in 'Control.Monad.Writer.Lazy'
  Missing documentation for:
    MonadWriter (Control/Monad/Writer/Class.hs:62)
    runWriterT
 100% (  2 /  2) in 'Control.Monad.Writer'
  94% ( 17 / 18) in 'Control.Monad.Writer.Strict'
  Missing documentation for:
    MonadWriter (Control/Monad/Writer/Class.hs:62)
  91% ( 20 / 22) in 'Control.Monad.Cont'
  Missing documentation for:
    MonadCont (Control/Monad/Cont/Class.hs:73)
    runContT
Documentation created: dist/doc/html/mtl/index.html, dist/doc/html/mtl/mtl.txt
Creating package registration file: /tmp/pkgConf-mtl-2.2278722862233665123.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/mtl-2.2.1-KMpng31YRYc5JfMWFZ3FCU
Registering mtl-2.2.1...
Installed mtl-2.2.1
Configuring syb-0.6...
Building syb-0.6...
Preprocessing library syb-0.6...
[ 1 of 16] Compiling Data.Generics.Basics ( src/Data/Generics/Basics.hs, dist/build/Data/Generics/Basics.o )
[ 2 of 16] Compiling Generics.SYB.Basics ( src/Generics/SYB/Basics.hs, dist/build/Generics/SYB/Basics.o )
[ 3 of 16] Compiling Data.Generics.Instances ( src/Data/Generics/Instances.hs, dist/build/Data/Generics/Instances.o )
[ 4 of 16] Compiling Generics.SYB.Instances ( src/Generics/SYB/Instances.hs, dist/build/Generics/SYB/Instances.o )
[ 5 of 16] Compiling Data.Generics.Aliases ( src/Data/Generics/Aliases.hs, dist/build/Data/Generics/Aliases.o )
[ 6 of 16] Compiling Data.Generics.Schemes ( src/Data/Generics/Schemes.hs, dist/build/Data/Generics/Schemes.o )
[ 7 of 16] Compiling Generics.SYB.Schemes ( src/Generics/SYB/Schemes.hs, dist/build/Generics/SYB/Schemes.o )
[ 8 of 16] Compiling Data.Generics.Text ( src/Data/Generics/Text.hs, dist/build/Data/Generics/Text.o )
[ 9 of 16] Compiling Generics.SYB.Text ( src/Generics/SYB/Text.hs, dist/build/Generics/SYB/Text.o )
[10 of 16] Compiling Data.Generics.Twins ( src/Data/Generics/Twins.hs, dist/build/Data/Generics/Twins.o )
[11 of 16] Compiling Generics.SYB.Twins ( src/Generics/SYB/Twins.hs, dist/build/Generics/SYB/Twins.o )
[12 of 16] Compiling Data.Generics.Builders ( src/Data/Generics/Builders.hs, dist/build/Data/Generics/Builders.o )
[13 of 16] Compiling Generics.SYB.Builders ( src/Generics/SYB/Builders.hs, dist/build/Generics/SYB/Builders.o )
[14 of 16] Compiling Generics.SYB.Aliases ( src/Generics/SYB/Aliases.hs, dist/build/Generics/SYB/Aliases.o )
[15 of 16] Compiling Data.Generics    ( src/Data/Generics.hs, dist/build/Data/Generics.o )
[16 of 16] Compiling Generics.SYB     ( src/Generics/SYB.hs, dist/build/Generics/SYB.o )
In-place registering syb-0.6...
Running Haddock for syb-0.6...
Running hscolour for syb-0.6...
Preprocessing library syb-0.6...
Preprocessing library syb-0.6...
Haddock coverage:
 100% (  2 /  2) in 'Data.Generics.Basics'
 100% (  2 /  2) in 'Generics.SYB.Basics'
 100% (  1 /  1) in 'Data.Generics.Instances'
 100% (  1 /  1) in 'Generics.SYB.Instances'
  96% ( 43 / 45) in 'Data.Generics.Aliases'
  Missing documentation for:
    GenericQ' (src/Data/Generics/Aliases.hs:268)
    GenericM' (src/Data/Generics/Aliases.hs:269)
 100% ( 19 / 19) in 'Data.Generics.Schemes'
 100% (  2 /  2) in 'Generics.SYB.Schemes'
 100% (  6 /  6) in 'Data.Generics.Text'
 100% (  2 /  2) in 'Generics.SYB.Text'
 100% ( 17 / 17) in 'Data.Generics.Twins'
 100% (  2 /  2) in 'Generics.SYB.Twins'
 100% (  3 /  3) in 'Data.Generics.Builders'
 100% (  2 /  2) in 'Generics.SYB.Builders'
 100% (  2 /  2) in 'Generics.SYB.Aliases'
 100% (  8 /  8) in 'Data.Generics'
 100% (  2 /  2) in 'Generics.SYB'
Documentation created: dist/doc/html/syb/index.html, dist/doc/html/syb/syb.txt
Creating package registration file: /tmp/pkgConf-syb-0711645630195740084.6
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/syb-0.6-2wX6OHAY1mu1En8Oic6xKR
Registering syb-0.6...
Installed syb-0.6
Configuring singletons-0.8.1...
Building singletons-0.8.1...
Preprocessing library singletons-0.8.1...
[1 of 6] Compiling Singletons.Util  ( Singletons/Util.hs, dist/build/Singletons/Util.o )
[2 of 6] Compiling Singletons.Promote ( Singletons/Promote.hs, dist/build/Singletons/Promote.o )

Singletons/Promote.hs:190:14:
    Couldn't match expected type ‘Type -> Dec’ with actual type ‘Dec’
    The function ‘TySynInstD’ is applied to three arguments,
    but its type ‘Name -> TySynEqn -> Dec’ has only two
    In the second argument of ‘($)’, namely
      ‘TySynInstD
         tyEqName
         [foldType (PromotedT name) lvars, foldType (PromotedT name) rvars]
         (tyAll
            (zipWith (\ l r -> foldType (ConT tyEqName) [l, r]) lvars rvars))’
    In a stmt of a 'do' block:
      return
      $ TySynInstD
          tyEqName
          [foldType (PromotedT name) lvars, foldType (PromotedT name) rvars]
          (tyAll
             (zipWith (\ l r -> foldType (ConT tyEqName) [l, r]) lvars rvars))

Singletons/Promote.hs:192:7:
    Couldn't match expected type ‘TySynEqn’ with actual type ‘[Type]’
    In the second argument of ‘TySynInstD’, namely
      ‘[foldType (PromotedT name) lvars,
        foldType (PromotedT name) rvars]’
    In the second argument of ‘($)’, namely
      ‘TySynInstD
         tyEqName
         [foldType (PromotedT name) lvars, foldType (PromotedT name) rvars]
         (tyAll
            (zipWith (\ l r -> foldType (ConT tyEqName) [l, r]) lvars rvars))’
    In a stmt of a 'do' block:
      return
      $ TySynInstD
          tyEqName
          [foldType (PromotedT name) lvars, foldType (PromotedT name) rvars]
          (tyAll
             (zipWith (\ l r -> foldType (ConT tyEqName) [l, r]) lvars rvars))

Singletons/Promote.hs:201:14:
    Couldn't match expected type ‘Type -> Dec’ with actual type ‘Dec’
    The function ‘TySynInstD’ is applied to three arguments,
    but its type ‘Name -> TySynEqn -> Dec’ has only two
    In the second argument of ‘($)’, namely
      ‘TySynInstD
         tyEqName
         [foldType (PromotedT lname) (map VarT lnames),
          foldType (PromotedT rname) (map VarT rnames)]
         falseTy’
    In a stmt of a 'do' block:
      return
      $ TySynInstD
          tyEqName
          [foldType (PromotedT lname) (map VarT lnames),
           foldType (PromotedT rname) (map VarT rnames)]
          falseTy

Singletons/Promote.hs:203:7:
    Couldn't match expected type ‘TySynEqn’ with actual type ‘[Type]’
    In the second argument of ‘TySynInstD’, namely
      ‘[foldType (PromotedT lname) (map VarT lnames),
        foldType (PromotedT rname) (map VarT rnames)]’
    In the second argument of ‘($)’, namely
      ‘TySynInstD
         tyEqName
         [foldType (PromotedT lname) (map VarT lnames),
          foldType (PromotedT rname) (map VarT rnames)]
         falseTy’
    In a stmt of a 'do' block:
      return
      $ TySynInstD
          tyEqName
          [foldType (PromotedT lname) (map VarT lnames),
           foldType (PromotedT rname) (map VarT rnames)]
          falseTy

Singletons/Promote.hs:241:42:
    Couldn't match expected type ‘Type -> Dec’ with actual type ‘Dec’
    The function ‘TySynInstD’ is applied to three arguments,
    but its type ‘Name -> TySynEqn -> Dec’ has only two
    In the expression: TySynInstD nm [] (hole rhs)
    In the first argument of ‘map’, namely
      ‘(\ (LHS _ nm hole) -> TySynInstD nm [] (hole rhs))’

Singletons/Promote.hs:241:56:
    Couldn't match expected type ‘TySynEqn’ with actual type ‘[t0]’
    In the second argument of ‘TySynInstD’, namely ‘[]’
    In the expression: TySynInstD nm [] (hole rhs)
    In the first argument of ‘map’, namely
      ‘(\ (LHS _ nm hole) -> TySynInstD nm [] (hole rhs))’

Singletons/Promote.hs:271:18:
    Constructor ‘TySynInstD’ should have 2 arguments, but has been given 3
    In the pattern: TySynInstD name tys ty
    In an equation for ‘promoteDec’:
        promoteDec vars (TySynInstD name tys ty)
          = fail "Promotion of type synonym instances not yet supported)"

Singletons/Promote.hs:323:22:
    Couldn't match expected type ‘Type -> Dec’ with actual type ‘Dec’
    The function ‘TySynInstD’ is applied to three arguments,
    but its type ‘Name -> TySynEqn -> Dec’ has only two
    In the expression: TySynInstD name types ty
    In the second argument of ‘(++)’, namely
      ‘[TySynInstD name types ty]’

Singletons/Promote.hs:323:38:
    Couldn't match expected type ‘TySynEqn’ with actual type ‘[Type]’
    In the second argument of ‘TySynInstD’, namely ‘types’
    In the expression: TySynInstD name types ty

Singletons/Promote.hs:371:18:
    Couldn't match expected type ‘Type -> Dec’ with actual type ‘Dec’
    The function ‘TySynInstD’ is applied to three arguments,
    but its type ‘Name -> TySynEqn -> Dec’ has only two
    In the second argument of ‘($)’, namely
      ‘TySynInstD
         extractorName
         [foldType (promoteDataCon name) (map VarT componentNames)]
         (VarT componentName)’
    In the expression:
      addElement
      $ TySynInstD
          extractorName
          [foldType (promoteDataCon name) (map VarT componentNames)]
          (VarT componentName)

Singletons/Promote.hs:372:29:
    Couldn't match expected type ‘TySynEqn’ with actual type ‘[Type]’
    In the second argument of ‘TySynInstD’, namely
      ‘[foldType (promoteDataCon name) (map VarT componentNames)]’
    In the second argument of ‘($)’, namely
      ‘TySynInstD
         extractorName
         [foldType (promoteDataCon name) (map VarT componentNames)]
         (VarT componentName)’
    In the expression:
      addElement
      $ TySynInstD
          extractorName
          [foldType (promoteDataCon name) (map VarT componentNames)]
          (VarT componentName)
Failed to install singletons-0.8.1
cabal: Error: some packages failed to install:
singletons-0.8.1 failed during the building phase. The exception was:
ExitFailure 1

Test log

No test log was submitted for this report.