Build #2 for convert-1.0.1

[all reports]

Package convert-1.0.1
Install BuildFailed
Docs NotTried
Tests NotTried
Time submitted 2016-11-28 06:03:30.713221 UTC
Compiler ghc-8.0.1.20161018
OS linux
Arch x86_64
Dependencies base-4.9.0.0, bytestring-0.10.8.1, containers-0.5.7.1, either-4.4.1.1, lens-4.15.1, mtl-2.2.1, old-locale-1.0.0.7, old-time-1.1.0.3, template-haskell-2.11.0.0, text-1.2.2.1, time-1.6.0.1
Flags -dump-splices

Code Coverage

No Code Coverage was submitted for this report.

Build log

[view raw]

Resolving dependencies...
Configuring base-orphans-0.5.4...
Configuring mtl-2.2.1...
Building base-orphans-0.5.4...
Building mtl-2.2.1...
Installed base-orphans-0.5.4
Configuring old-locale-1.0.0.7...
Building old-locale-1.0.0.7...
Configuring parallel-3.2.1.0...
Installed old-locale-1.0.0.7
Building parallel-3.2.1.0...
Configuring primitive-0.6.1.0...
Installed mtl-2.2.1
Building primitive-0.6.1.0...
Configuring prelude-extras-0.4.0.3...
Installed parallel-3.2.1.0
Building prelude-extras-0.4.0.3...
Configuring reflection-2.1.2...
Installed primitive-0.6.1.0
Building reflection-2.1.2...
Configuring random-1.1...
Installed prelude-extras-0.4.0.3
Building random-1.1...
Configuring semigroups-0.18.2...
Installed random-1.1
Building semigroups-0.18.2...
Configuring stm-2.4.4.1...
Installed reflection-2.1.2
Building stm-2.4.4.1...
Configuring transformers-compat-0.5.1.4...
Installed semigroups-0.18.2
Building transformers-compat-0.5.1.4...
Configuring text-1.2.2.1...
Installed stm-2.4.4.1
Installed transformers-compat-0.5.1.4
Configuring old-time-1.1.0.3...
Building text-1.2.2.1...
Building old-time-1.1.0.3...
Configuring vector-0.11.0.0...
Installed old-time-1.1.0.3
Building vector-0.11.0.0...
Configuring StateVar-1.1.0.4...
Installed text-1.2.2.1
Building StateVar-1.1.0.4...
Installed StateVar-1.1.0.4
Configuring MonadRandom-0.4.2.3...
Building MonadRandom-0.4.2.3...
Configuring exceptions-0.8.3...
Installed MonadRandom-0.4.2.3
Building exceptions-0.8.3...
Configuring mmorph-1.0.9...
Installed exceptions-0.8.3
Building mmorph-1.0.9...
Configuring transformers-base-0.4.4...
Installed mmorph-1.0.9
Building transformers-base-0.4.4...
Configuring tagged-0.8.5...
Installed vector-0.11.0.0
Building tagged-0.8.5...
Configuring hashable-1.2.4.0...
Installed transformers-base-0.4.4
Building hashable-1.2.4.0...
Configuring monad-control-1.0.1.0...
Installed tagged-0.8.5
Configuring distributive-0.5.0.2...
Installed hashable-1.2.4.0
Building monad-control-1.0.1.0...
Installed monad-control-1.0.1.0
Configuring unordered-containers-0.2.7.1...
Building unordered-containers-0.2.7.1...
Building distributive-0.5.0.2...
Configuring void-0.7.1...
Installed distributive-0.5.0.2
Building void-0.7.1...
Installed void-0.7.1
Configuring contravariant-1.4...
Building contravariant-1.4...
Installed unordered-containers-0.2.7.1
Installed contravariant-1.4
Configuring comonad-5...
Building comonad-5...
Installed comonad-5
Configuring bifunctors-5.4.1...
Building bifunctors-5.4.1...
Installed bifunctors-5.4.1
Configuring semigroupoids-5.1...
Configuring profunctors-5.2...
Building profunctors-5.2...
Building semigroupoids-5.1...
Installed profunctors-5.2
Installed semigroupoids-5.1
Configuring free-4.12.4...
Building free-4.12.4...
Installed free-4.12.4
Configuring either-4.4.1.1...
Configuring adjunctions-4.3...
Building either-4.4.1.1...
Building adjunctions-4.3...
Installed either-4.4.1.1
Installed adjunctions-4.3
Configuring kan-extensions-5.0.1...
Building kan-extensions-5.0.1...
Installed kan-extensions-5.0.1
Configuring lens-4.15.1...
Building lens-4.15.1...
Installed lens-4.15.1
Downloading convert-1.0.1...
Configuring convert-1.0.1...
Building convert-1.0.1...
Failed to install convert-1.0.1
Build log ( /home/builder/.cabal/logs/convert-1.0.1.log ):
cabal: Entering directory '/tmp/cabal-tmp-19730/convert-1.0.1'
Configuring convert-1.0.1...
Building convert-1.0.1...
Preprocessing library convert-1.0.1...
[1 of 9] Compiling Data.Convert.Errors ( src/Data/Convert/Errors.hs, dist/build/Data/Convert/Errors.o )
[2 of 9] Compiling Data.Convert.Base ( src/Data/Convert/Base.hs, dist/build/Data/Convert/Base.o )
[3 of 9] Compiling Data.Convert.Bound ( src/Data/Convert/Bound.hs, dist/build/Data/Convert/Bound.o )

src/Data/Convert/Bound.hs:61:5: error:
    • Couldn't match type ‘[Dec] -> Dec’ with ‘Dec’
      Expected type: Q Dec
        Actual type: Q ([Dec] -> Dec)
    • In a stmt of a 'do' block:
        return
        $ if bounds `isSubBound` bounds' then
              InstanceD
                []
                (AppT
                   (AppT (ConT $ mkName "Convertible") (ConT name)) (ConT name'))
              $ convf "convert" id
          else
              InstanceD
                []
                (AppT
                   (AppT
                      (AppT (ConT $ mkName "MaybeConvertible") (ConT name))
                      (ConT $ mkName "BoundError"))
                   (ConT name'))
              $ convf "tryConvert" $ AppE (VarE $ mkName "boundedConversion")
      In the expression:
        do { exp <- qexp :: Q Exp;
             let convf name fmod = ...;
             return
             $ if bounds `isSubBound` bounds' then
                   InstanceD
                     []
                     (AppT
                        (AppT (ConT $ mkName "Convertible") (ConT name)) (ConT name'))
                   $ convf "convert" id
               else
                   InstanceD
                     []
                     (AppT
                        (AppT
                           (AppT (ConT $ mkName "MaybeConvertible") (ConT name))
                           (ConT $ mkName "BoundError"))
                        (ConT name'))
                   $ convf "tryConvert" $ AppE (VarE $ mkName "boundedConversion") }
      In an equation for ‘genConversion’:
          genConversion
            c@(Conversion qexp (Type name bounds) (Type name' bounds'))
            = do { exp <- qexp :: Q Exp;
                   let convf name fmod = ...;
                   return
                   $ if bounds `isSubBound` bounds' then
                         InstanceD
                           []
                           (AppT
                              (AppT (ConT $ mkName "Convertible") (ConT name)) (ConT name'))
                         $ convf "convert" id
                     else
                         InstanceD
                           []
                           (AppT
                              (AppT
                                 (AppT (ConT $ mkName "MaybeConvertible") (ConT name))
                                 (ConT $ mkName "BoundError"))
                              (ConT name'))
                         $ convf "tryConvert" $ AppE (VarE $ mkName "boundedConversion") }

src/Data/Convert/Bound.hs:62:24: error:
    • Couldn't match expected type ‘Maybe Overlap’
                  with actual type ‘[t0]’
    • In the first argument of ‘InstanceD’, namely ‘[]’
      In the expression:
        InstanceD
          []
          (AppT
             (AppT (ConT $ mkName "Convertible") (ConT name)) (ConT name'))
      In the expression:
        InstanceD
          []
          (AppT
             (AppT (ConT $ mkName "Convertible") (ConT name)) (ConT name'))
        $ convf "convert" id

src/Data/Convert/Bound.hs:62:28: error:
    • Couldn't match type ‘Language.Haskell.TH.Syntax.Type’
                     with ‘[Pred]’
      Expected type: Cxt
        Actual type: Language.Haskell.TH.Syntax.Type
    • In the second argument of ‘InstanceD’, namely
        ‘(AppT
            (AppT (ConT $ mkName "Convertible") (ConT name)) (ConT name'))’
      In the expression:
        InstanceD
          []
          (AppT
             (AppT (ConT $ mkName "Convertible") (ConT name)) (ConT name'))
      In the expression:
        InstanceD
          []
          (AppT
             (AppT (ConT $ mkName "Convertible") (ConT name)) (ConT name'))
        $ convf "convert" id

src/Data/Convert/Bound.hs:62:98: error:
    • Couldn't match expected type ‘Language.Haskell.TH.Syntax.Type’
                  with actual type ‘[Dec]’
    • In the second argument of ‘($)’, namely ‘convf "convert" id’
      In the expression:
        InstanceD
          []
          (AppT
             (AppT (ConT $ mkName "Convertible") (ConT name)) (ConT name'))
        $ convf "convert" id
      In the second argument of ‘($)’, namely
        ‘if bounds `isSubBound` bounds' then
             InstanceD
               []
               (AppT
                  (AppT (ConT $ mkName "Convertible") (ConT name)) (ConT name'))
             $ convf "convert" id
         else
             InstanceD
               []
               (AppT
                  (AppT
                     (AppT (ConT $ mkName "MaybeConvertible") (ConT name))
                     (ConT $ mkName "BoundError"))
                  (ConT name'))
             $ convf "tryConvert" $ AppE (VarE $ mkName "boundedConversion")’

src/Data/Convert/Bound.hs:63:24: error:
    • Couldn't match expected type ‘Maybe Overlap’
                  with actual type ‘[t1]’
    • In the first argument of ‘InstanceD’, namely ‘[]’
      In the expression:
        InstanceD
          []
          (AppT
             (AppT
                (AppT (ConT $ mkName "MaybeConvertible") (ConT name))
                (ConT $ mkName "BoundError"))
             (ConT name'))
      In the expression:
        InstanceD
          []
          (AppT
             (AppT
                (AppT (ConT $ mkName "MaybeConvertible") (ConT name))
                (ConT $ mkName "BoundError"))
             (ConT name'))
        $ convf "tryConvert" $ AppE (VarE $ mkName "boundedConversion")

src/Data/Convert/Bound.hs:63:28: error:
    • Couldn't match type ‘Language.Haskell.TH.Syntax.Type’
                     with ‘[Pred]’
      Expected type: Cxt
        Actual type: Language.Haskell.TH.Syntax.Type
    • In the second argument of ‘InstanceD’, namely
        ‘(AppT
            (AppT
               (AppT (ConT $ mkName "MaybeConvertible") (ConT name))
               (ConT $ mkName "BoundError"))
            (ConT name'))’
      In the expression:
        InstanceD
          []
          (AppT
             (AppT
                (AppT (ConT $ mkName "MaybeConvertible") (ConT name))
                (ConT $ mkName "BoundError"))
             (ConT name'))
      In the expression:
        InstanceD
          []
          (AppT
             (AppT
                (AppT (ConT $ mkName "MaybeConvertible") (ConT name))
                (ConT $ mkName "BoundError"))
             (ConT name'))
        $ convf "tryConvert" $ AppE (VarE $ mkName "boundedConversion")

src/Data/Convert/Bound.hs:63:139: error:
    • Couldn't match expected type ‘Language.Haskell.TH.Syntax.Type’
                  with actual type ‘[Dec]’
    • In the second argument of ‘($)’, namely
        ‘convf "tryConvert" $ AppE (VarE $ mkName "boundedConversion")’
      In the expression:
        InstanceD
          []
          (AppT
             (AppT
                (AppT (ConT $ mkName "MaybeConvertible") (ConT name))
                (ConT $ mkName "BoundError"))
             (ConT name'))
        $ convf "tryConvert" $ AppE (VarE $ mkName "boundedConversion")
      In the second argument of ‘($)’, namely
        ‘if bounds `isSubBound` bounds' then
             InstanceD
               []
               (AppT
                  (AppT (ConT $ mkName "Convertible") (ConT name)) (ConT name'))
             $ convf "convert" id
         else
             InstanceD
               []
               (AppT
                  (AppT
                     (AppT (ConT $ mkName "MaybeConvertible") (ConT name))
                     (ConT $ mkName "BoundError"))
                  (ConT name'))
             $ convf "tryConvert" $ AppE (VarE $ mkName "boundedConversion")’
cabal: Leaving directory '/tmp/cabal-tmp-19730/convert-1.0.1'
cabal: Error: some packages failed to install:
convert-1.0.1 failed during the building phase. The exception was:
ExitFailure 1

Test log

No test log was submitted for this report.