pa-ba / compdata

Haskell library implementing "Data Types a la Carte"
http://hackage.haskell.org/package/compdata
Other
89 stars 27 forks source link

GHC 8.0.1-rc3 build failure #12

Closed deepfire closed 8 years ago

deepfire commented 8 years ago
these derivations will be built:
  /nix/store/2x6w494jh8rm0gr7jb3nm31p5pq9l6sl-compdata-0.10.drv
building path(s) ‘/nix/store/nbjjicsxxzpzjwa1gbq812gr7rpqax3z-compdata-0.10’
setupCompilerEnvironmentPhase
Build with /nix/store/vjwkxl10263m8f29347z60jmvjwqb45g-ghc-8.0.0.20160411.
unpacking sources
unpacking source archive /nix/store/qsq9wiac8w0a331plvssphq5h5b9q27l-compdata-0.10.tar.gz
source root is compdata-0.10
setting SOURCE_DATE_EPOCH to timestamp 1430384659 of file compdata-0.10/testsuite/tests/Test/Ut
ils.hs
patching sources
Replace Cabal file with edited version from http://hackage.haskell.org/package/compdata-0.10/re
vision/1.cabal.
compileBuildDriverPhase
setupCompileFlags: -package-db=/tmp/nix-build-compdata-0.10.drv-0/package.conf.d -j1 -threaded
[1 of 1] Compiling Main             ( Setup.hs, /tmp/nix-build-compdata-0.10.drv-0/Main.o )
Linking Setup ...
configuring
configureFlags: --verbose --prefix=/nix/store/nbjjicsxxzpzjwa1gbq812gr7rpqax3z-compdata-0.10 --
libdir=$prefix/lib/$compiler --libsubdir=$pkgid --with-gcc=gcc --package-db=/tmp/nix-build-comp
data-0.10.drv-0/package.conf.d --ghc-option=-optl=-Wl,-rpath=/nix/store/nbjjicsxxzpzjwa1gbq812g
r7rpqax3z-compdata-0.10/lib/ghc-8.0.0.20160411/compdata-0.10 --enable-split-objs --disable-libr
ary-profiling --disable-profiling --enable-shared --enable-library-vanilla --enable-executable-
dynamic --disable-tests
Configuring compdata-0.10...
Dependency QuickCheck >=2 && <2.9: using QuickCheck-2.8.2
Dependency base >=4.7 && <5: using base-4.9.0.0
Dependency containers -any: using containers-0.5.7.1
Dependency deepseq -any: using deepseq-1.4.2.0
Dependency derive -any: using derive-2.5.24
Dependency mtl >=2.2.1: using mtl-2.2.1
Dependency template-haskell -any: using template-haskell-2.11.0.0
Dependency th-expand-syns -any: using th-expand-syns-0.4.0.0
Dependency transformers -any: using transformers-0.5.2.0
Dependency tree-view -any: using tree-view-0.4
Using Cabal-1.24.0.0 compiled by ghc-8.0
Using compiler: ghc-8.0.0.20160411
Using install prefix:
/nix/store/nbjjicsxxzpzjwa1gbq812gr7rpqax3z-compdata-0.10
Binaries installed in:
/nix/store/nbjjicsxxzpzjwa1gbq812gr7rpqax3z-compdata-0.10/bin
Libraries installed in:
/nix/store/nbjjicsxxzpzjwa1gbq812gr7rpqax3z-compdata-0.10/lib/ghc-8.0.0.20160411/compdata-0.10
Private binaries installed in:
/nix/store/nbjjicsxxzpzjwa1gbq812gr7rpqax3z-compdata-0.10/libexec
Data files installed in:
/nix/store/nbjjicsxxzpzjwa1gbq812gr7rpqax3z-compdata-0.10/share/x86_64-linux-ghc-8.0.0.20160411
/compdata-0.10
Documentation installed in:
/nix/store/nbjjicsxxzpzjwa1gbq812gr7rpqax3z-compdata-0.10/share/doc/x86_64-linux-ghc-8.0.0.2016
0411/compdata-0.10
Configuration files installed in:
/nix/store/nbjjicsxxzpzjwa1gbq812gr7rpqax3z-compdata-0.10/etc
No alex found
Using ar found on system at:
/nix/store/4bqj6wzfq81lhqysh224lqbsi533cyin-binutils-2.26-dev/bin/ar
No c2hs found
Using cpphs version 1.20.1 found on system at:
/nix/store/0ydlk4fz0rlk09xcij7m13padld806p8-cpphs-1.20.1/bin/cpphs
Using gcc version 5.3.0 given by user at:
/nix/store/kz3avmqpq66xi8rfxsj9c9dvfva661s3-gcc-wrapper-5.3.0/bin/gcc
Using ghc version 8.0.0.20160411 found on system at:
/nix/store/vjwkxl10263m8f29347z60jmvjwqb45g-ghc-8.0.0.20160411/bin/ghc
Using ghc-pkg version 8.0.0.20160411 found on system at:
/nix/store/vjwkxl10263m8f29347z60jmvjwqb45g-ghc-8.0.0.20160411/bin/ghc-pkg
No ghcjs found
No ghcjs-pkg found
No greencard found
Using haddock version 2.17.0 found on system at:
/nix/store/vjwkxl10263m8f29347z60jmvjwqb45g-ghc-8.0.0.20160411/bin/haddock
No happy found
Using haskell-suite found on system at: haskell-suite-dummy-location
Using haskell-suite-pkg found on system at: haskell-suite-pkg-dummy-location
No hmake found
Using hpc version 0.67 found on system at:
/nix/store/vjwkxl10263m8f29347z60jmvjwqb45g-ghc-8.0.0.20160411/bin/hpc
Using hsc2hs version 0.67 found on system at:
/nix/store/vjwkxl10263m8f29347z60jmvjwqb45g-ghc-8.0.0.20160411/bin/hsc2hs
Using hscolour version 1.24 found on system at:
/nix/store/v2crnxm20i9jgyrf36sh34xqa824j8ma-hscolour-1.24/bin/HsColour
No jhc found
Using ld found on system at:
/nix/store/kz3avmqpq66xi8rfxsj9c9dvfva661s3-gcc-wrapper-5.3.0/bin/ld
No lhc found
No lhc-pkg found
No pkg-config found
Using strip version 2.26 found on system at:
/nix/store/4bqj6wzfq81lhqysh224lqbsi533cyin-binutils-2.26-dev/bin/strip
Using tar found on system at:
/nix/store/fv8lbg8jk2amwsxzrw82r028r8fm3rl3-gnutar-1.28/bin/tar
No uhc found
building
Building compdata-0.10...
Preprocessing library compdata-0.10...

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

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

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

src/Data/Comp/Multi/Desugar.hs:3:14: warning:
    -XOverlappingInstances is deprecated: instead use per-instance pragmas OVERLAPPING/OVERLAPP
ABLE/OVERLAPS
[ 1 of 61] Compiling Data.Comp.Multi.HFunctor ( src/Data/Comp/Multi/HFunctor.hs, dist/build/Dat
a/Comp/Multi/HFunctor.o )

src/Data/Comp/Multi/HFunctor.hs:42:1: warning: [-Wunused-imports]
    The import of ‘Data.Traversable’ is redundant
      except perhaps to import instances from ‘Data.Traversable’
    To import instances alone, use: import Data.Traversable()

src/Data/Comp/Multi/HFunctor.hs:43:1: warning: [-Wunused-imports]
    The import of ‘Data.Foldable’ is redundant
      except perhaps to import instances from ‘Data.Foldable’
    To import instances alone, use: import Data.Foldable()
[ 2 of 61] Compiling Data.Comp.Multi.HFoldable ( src/Data/Comp/Multi/HFoldable.hs, dist/build/D
ata/Comp/Multi/HFoldable.o )

src/Data/Comp/Multi/HFoldable.hs:42:18: error:
    • Couldn't match type ‘m’ with ‘m -> m’
      ‘m’ is a rigid type variable bound by
        the type signature for:
          hfoldMap :: forall m (a :: * -> *).
                      Monoid m =>
                      a :=> m -> h a :=> m
        at src/Data/Comp/Multi/HFoldable.hs:41:17
      Expected type: h a i -> m
        Actual type: h a i -> m -> m
    • In the expression: hfoldr (mappend . f) mempty
      In an equation for ‘hfoldMap’:
          hfoldMap f = hfoldr (mappend . f) mempty
    • Relevant bindings include
        f :: a :=> m (bound at src/Data/Comp/Multi/HFoldable.hs:42:14)
        hfoldMap :: a :=> m -> h a :=> m
          (bound at src/Data/Comp/Multi/HFoldable.hs:42:5)

src/Data/Comp/Multi/HFoldable.hs:42:26: error:
    • Couldn't match type ‘a’ with ‘(->) (a i2)’
      ‘a’ is a rigid type variable bound by
        the type signature for:
          hfoldMap :: forall m (a :: * -> *).
                      Monoid m =>
                      a :=> m -> h a :=> m
        at src/Data/Comp/Multi/HFoldable.hs:41:17
      Expected type: a (m -> m)
        Actual type: a i2 -> m -> m
    • In the first argument of ‘hfoldr’, namely ‘(mappend . f)’
      In the expression: hfoldr (mappend . f) mempty
      In an equation for ‘hfoldMap’:
          hfoldMap f = hfoldr (mappend . f) mempty
    • Relevant bindings include
        f :: a :=> m (bound at src/Data/Comp/Multi/HFoldable.hs:42:14)
        hfoldMap :: a :=> m -> h a :=> m
          (bound at src/Data/Comp/Multi/HFoldable.hs:42:5)

src/Data/Comp/Multi/HFoldable.hs:45:46: error:
    • Couldn't match type ‘b’ with ‘b -> b’
      ‘b’ is a rigid type variable bound by
        the type signature for:
          hfoldr :: forall (a :: * -> *) b. (a :=> b -> b) -> b -> h a :=> b
        at src/Data/Comp/Multi/HFoldable.hs:44:15
      Expected type: a i5 -> b -> b
        Actual type: a :=> b -> b
    • In the second argument of ‘(.)’, namely ‘f’
      In the first argument of ‘hfoldMap’, namely ‘(Endo . f)’
      In the first argument of ‘appEndo’, namely
        ‘(hfoldMap (Endo . f) t)’
    • Relevant bindings include
        z :: b (bound at src/Data/Comp/Multi/HFoldable.hs:45:14)
        f :: a :=> b -> b (bound at src/Data/Comp/Multi/HFoldable.hs:45:12)
        hfoldr :: (a :=> b -> b) -> b -> h a :=> b
          (bound at src/Data/Comp/Multi/HFoldable.hs:45:5)

src/Data/Comp/Multi/HFoldable.hs:55:17: error:
    • Couldn't match expected type ‘Maybe a’
                  with actual type ‘Maybe a -> Maybe a’
    • The equation(s) for ‘mf’ have two arguments,
      but its type ‘K a :=> Maybe a -> Maybe a’ has only one
      In an equation for ‘hfoldr1’:
          hfoldr1 f xs
            = fromMaybe
                (error "hfoldr1: empty structure") (hfoldr mf Nothing xs)
            where
                mf :: K a :=> Maybe a -> Maybe a
                mf (K x) Nothing = Just x
                mf (K x) (Just y) = Just (f x y)
    • Relevant bindings include
        mf :: K a :=> Maybe a -> Maybe a
          (bound at src/Data/Comp/Multi/HFoldable.hs:55:17)
        xs :: h (K a) i (bound at src/Data/Comp/Multi/HFoldable.hs:52:15)
        f :: a -> a -> a (bound at src/Data/Comp/Multi/HFoldable.hs:52:13)
        hfoldr1 :: (a -> a -> a) -> h (K a) :=> a
          (bound at src/Data/Comp/Multi/HFoldable.hs:52:5)

src/Data/Comp/Multi/HFoldable.hs:55:21: error:
    • Couldn't match expected type ‘K a i3 -> Maybe a’
                  with actual type ‘K a t2’
    • In the pattern: K x
      In an equation for ‘mf’: mf (K x) Nothing = Just x
      The equation(s) for ‘mf’ have two arguments,
      but its type ‘K a :=> Maybe a -> Maybe a’ has only one
    • Relevant bindings include
        mf :: K a :=> Maybe a -> Maybe a
          (bound at src/Data/Comp/Multi/HFoldable.hs:55:17)
        xs :: h (K a) i (bound at src/Data/Comp/Multi/HFoldable.hs:52:15)
        f :: a -> a -> a (bound at src/Data/Comp/Multi/HFoldable.hs:52:13)
        hfoldr1 :: (a -> a -> a) -> h (K a) :=> a
          (bound at src/Data/Comp/Multi/HFoldable.hs:52:5)

src/Data/Comp/Multi/HFoldable.hs:56:21: error:
    • Couldn't match expected type ‘K a i4 -> Maybe a’
                  with actual type ‘K a t3’
    • In the pattern: K x
      In an equation for ‘mf’: mf (K x) (Just y) = Just (f x y)
      The equation(s) for ‘mf’ have two arguments,
      but its type ‘K a :=> Maybe a -> Maybe a’ has only one
    • Relevant bindings include
        mf :: K a :=> Maybe a -> Maybe a
          (bound at src/Data/Comp/Multi/HFoldable.hs:55:17)
        xs :: h (K a) i (bound at src/Data/Comp/Multi/HFoldable.hs:52:15)
        f :: a -> a -> a (bound at src/Data/Comp/Multi/HFoldable.hs:52:13)
        hfoldr1 :: (a -> a -> a) -> h (K a) :=> a
          (bound at src/Data/Comp/Multi/HFoldable.hs:52:5)

src/Data/Comp/Multi/HFoldable.hs:66:11: error:
    • Couldn't match type ‘[E ((->) (a i1))] -> [E ((->) (a i1))]’
                     with ‘[E a]’
      Expected type: f a i -> [E a]
        Actual type: f a i -> [E ((->) (a i1))] -> [E ((->) (a i1))]
    • Probable cause: ‘hfoldr’ is applied to too few arguments
      In the expression: hfoldr (\ n l -> E n : l) []
      In an equation for ‘htoList’:
          htoList = hfoldr (\ n l -> E n : l) []
    • Relevant bindings include
        htoList :: f a :=> [E a]
          (bound at src/Data/Comp/Multi/HFoldable.hs:66:1)

src/Data/Comp/Multi/HFoldable.hs:66:38: error:
    • Couldn't match expected type ‘[E ((->) (a i1))]
                                    -> [E ((->) (a i1))]’
                  with actual type ‘[t1]’
    • In the second argument of ‘hfoldr’, namely ‘[]’
      In the expression: hfoldr (\ n l -> E n : l) []
      In an equation for ‘htoList’:
          htoList = hfoldr (\ n l -> E n : l) []
    • Relevant bindings include
        htoList :: f a :=> [E a]
          (bound at src/Data/Comp/Multi/HFoldable.hs:66:1)

src/Data/Comp/Multi/HFoldable.hs:69:23: error:
    • Couldn't match expected type ‘K a i0 -> b -> b’
                  with actual type ‘K a t0’
    • In the pattern: K x
      In the first argument of ‘hfoldr’, namely ‘(\ (K x) y -> f x y)’
      In the expression: hfoldr (\ (K x) y -> f x y)
    • Relevant bindings include
        f :: a -> b -> b (bound at src/Data/Comp/Multi/HFoldable.hs:69:8)
        kfoldr :: (a -> b -> b) -> b -> f (K a) :=> b
          (bound at src/Data/Comp/Multi/HFoldable.hs:69:1)
builder for ‘/nix/store/2x6w494jh8rm0gr7jb3nm31p5pq9l6sl-compdata-0.10.drv’ failed with exit code 1
error: build of ‘/nix/store/2x6w494jh8rm0gr7jb3nm31p5pq9l6sl-compdata-0.10.drv’ failed
tomberek commented 8 years ago

See #14