Build failure with GHC 7.10

[snoyberg]

Unpacking to compdata-0.9/
Resolving dependencies...
Configuring compdata-0.9...
Building compdata-0.9...
Preprocessing library compdata-0.9...

src/Data/Comp/Variables.hs:4:14: Warning:
    -XOverlappingInstances is deprecated: instead use per-instance pragmas OVERLAPPING/OVERLAPPABLE/OVERLAPS

src/Data/Comp/Desugar.hs:4:14: Warning:
    -XOverlappingInstances is deprecated: instead use per-instance pragmas OVERLAPPING/OVERLAPPABLE/OVERLAPS

src/Data/Comp/Multi/Variables.hs:6:14: Warning:
    -XOverlappingInstances is deprecated: instead use per-instance pragmas OVERLAPPING/OVERLAPPABLE/OVERLAPS

src/Data/Comp/Multi/Desugar.hs:3:14: Warning:
    -XOverlappingInstances is deprecated: instead use per-instance pragmas OVERLAPPING/OVERLAPPABLE/OVERLAPS
[ 1 of 59] Compiling Data.Comp.Multi.HFunctor ( src/Data/Comp/Multi/HFunctor.hs, dist/build/Data/Comp/Multi/HFunctor.o )
[ 2 of 59] Compiling Data.Comp.Multi.HFoldable ( src/Data/Comp/Multi/HFoldable.hs, dist/build/Data/Comp/Multi/HFoldable.o )
[ 3 of 59] Compiling Data.Comp.Multi.HTraversable ( src/Data/Comp/Multi/HTraversable.hs, dist/build/Data/Comp/Multi/HTraversable.o )

src/Data/Comp/Multi/HTraversable.hs:27:1: Warning:
    The import of ‘Control.Applicative’ is redundant
      except perhaps to import instances from ‘Control.Applicative’
    To import instances alone, use: import Control.Applicative()
[ 4 of 59] Compiling Data.Comp.Multi.Mapping ( src/Data/Comp/Multi/Mapping.hs, dist/build/Data/Comp/Multi/Mapping.o )

src/Data/Comp/Multi/Mapping.hs:49:3:
    Non type-variable argument in the constraint: MonadState Int m
    (Use FlexibleContexts to permit this)
    When checking that ‘run’ has the inferred type
      run :: forall (m :: * -> *) (a :: * -> *) i.
             MonadState Int m =>
             a i -> m (Numbered a i)
    In an equation for ‘number’:
        number x
          = evalState (hmapM run x) 0
          where
              run b
                = do { n <- get;
                       .... }
[ 5 of 59] Compiling Data.Comp.Multi.Term ( src/Data/Comp/Multi/Term.hs, dist/build/Data/Comp/Multi/Term.o )

src/Data/Comp/Multi/Term.hs:38:1: Warning:
    The import of ‘Data.Monoid’ is redundant
      except perhaps to import instances from ‘Data.Monoid’
    To import instances alone, use: import Data.Monoid()

src/Data/Comp/Multi/Term.hs:40:1: Warning:
    The import of ‘Control.Applicative’ is redundant
      except perhaps to import instances from ‘Control.Applicative’
    To import instances alone, use: import Control.Applicative()
[ 6 of 59] Compiling Data.Comp.SubsumeCommon ( src/Data/Comp/SubsumeCommon.hs, dist/build/Data/Comp/SubsumeCommon.o )
[ 7 of 59] Compiling Data.Comp.Mapping ( src/Data/Comp/Mapping.hs, dist/build/Data/Comp/Mapping.o )

src/Data/Comp/Mapping.hs:46:3:
    Non type-variable argument in the constraint: MonadState Int m
    (Use FlexibleContexts to permit this)
    When checking that ‘run’ has the inferred type
      run :: forall (m :: * -> *) a.
             MonadState Int m =>
             a -> m (Numbered a)
    In an equation for ‘number’:
        number x
          = evalState (mapM run x) 0
          where
              run b
                = do { n <- get;
                       .... }
[ 8 of 59] Compiling Data.Comp.Derive.Utils ( src/Data/Comp/Derive/Utils.hs, dist/build/Data/Comp/Derive/Utils.o )

src/Data/Comp/Derive/Utils.hs:157:18:
    Not in scope: data constructor ‘ClassP’
    Perhaps you meant one of these:
      ‘ClassI’ (imported from Language.Haskell.TH.Syntax),
      ‘ClassD’ (imported from Language.Haskell.TH.Syntax),
      variable ‘classP’ (imported from Language.Haskell.TH)

src/Data/Comp/Derive/Utils.hs:158:18:
    Not in scope: data constructor ‘ClassP’
    Perhaps you meant one of these:
      ‘ClassI’ (imported from Language.Haskell.TH.Syntax),
      ‘ClassD’ (imported from Language.Haskell.TH.Syntax),
      variable ‘classP’ (imported from Language.Haskell.TH)
[19 of 59] Compiling Data.Comp.Ops    ( src/Data/Comp/Ops.hs, dist/build/Data/Comp/Ops.o )
[20 of 59] Compiling Data.Comp.Multi.Algebra ( src/Data/Comp/Multi/Algebra.hs, dist/build/Data/Comp/Multi/Algebra.o )
[22 of 59] Compiling Data.Comp.Multi.Ops ( src/Data/Comp/Multi/Ops.hs, dist/build/Data/Comp/Multi/Ops.o )

src/Data/Comp/Multi/Ops.hs:33:1: Warning:
    The import of ‘Control.Applicative’ is redundant
      except perhaps to import instances from ‘Control.Applicative’
    To import instances alone, use: import Control.Applicative()
[23 of 59] Compiling Data.Comp.Multi.Sum ( src/Data/Comp/Multi/Sum.hs, dist/build/Data/Comp/Multi/Sum.o )
[24 of 59] Compiling Data.Comp.Multi.Generic ( src/Data/Comp/Multi/Generic.hs, dist/build/Data/Comp/Multi/Generic.o )
[26 of 59] Compiling Data.Comp.Multi.Annotation ( src/Data/Comp/Multi/Annotation.hs, dist/build/Data/Comp/Multi/Annotation.o )
[28 of 59] Compiling Data.Comp.Multi.Equality ( src/Data/Comp/Multi/Equality.hs, dist/build/Data/Comp/Multi/Equality.o )
[29 of 59] Compiling Data.Comp.Multi  ( src/Data/Comp/Multi.hs, dist/build/Data/Comp/Multi.o )
[30 of 59] Compiling Data.Comp.Multi.Desugar ( src/Data/Comp/Multi/Desugar.hs, dist/build/Data/Comp/Multi/Desugar.o )
[32 of 59] Compiling Data.Comp.Multi.Ordering ( src/Data/Comp/Multi/Ordering.hs, dist/build/Data/Comp/Multi/Ordering.o )
[37 of 59] Compiling Data.Comp.Term   ( src/Data/Comp/Term.hs, dist/build/Data/Comp/Term.o )
[39 of 59] Compiling Data.Comp.Algebra ( src/Data/Comp/Algebra.hs, dist/build/Data/Comp/Algebra.o )
[40 of 59] Compiling Data.Comp.Annotation ( src/Data/Comp/Annotation.hs, dist/build/Data/Comp/Annotation.o )
[41 of 59] Compiling Data.Comp.Sum    ( src/Data/Comp/Sum.hs, dist/build/Data/Comp/Sum.o )

src/Data/Comp/Sum.hs:66:1: Warning:
    The import of ‘Data.Traversable’ is redundant
      except perhaps to import instances from ‘Data.Traversable’
    To import instances alone, use: import Data.Traversable()
[42 of 59] Compiling Data.Comp.Generic ( src/Data/Comp/Generic.hs, dist/build/Data/Comp/Generic.o )

[pa-ba]

The build works with the master branch. I will push it as a new version to Hackage shortly.

[pa-ba]

The new version (0.10) is on Hackage now.

[snoyberg]

Thanks!

On Thu, Apr 30, 2015 at 12:21 PM Patrick Bahr notifications@github.com wrote:

The new version (0.10) is on Hackage now.

— Reply to this email directly or view it on GitHub https://github.com/pa-ba/compdata/issues/7#issuecomment-97717070.

[snoyberg]

Unfortunately, this new version adds an upper bound on QuickCheck which makes it incompatible with the rest of Stackage. Would you be able to upload a new version that relaxes that upper bound?

[pa-ba]

I changed the upper bound on QuickCheck to 2.9.