search

haskus / packages

Haskus packages
https://haskus.org/
24 stars 11 forks source link

haskus-utils-variant does not build with GHC-9.6 #51

Closed hasufell closed 9 months ago

hasufell commented 9 months ago 
Failed to build haskus-utils-variant-3.3.
Build log (
/home/hasufell/.cabal/logs/ghc-9.6.4/haskus-utils-variant-3.3-80dfcc24a7654b551bb44bfbea753796ab68774d499f49d39a1fe3fa11874c89.log
):
Configuring library for haskus-utils-variant-3.3..
Preprocessing library for haskus-utils-variant-3.3..
Building library for haskus-utils-variant-3.3..
[1 of 9] Compiling Haskus.Utils.ContFlow ( src/lib/Haskus/Utils/ContFlow.hs, dist/build/Haskus/Utils/ContFlow.o, dist/build/Haskus/Utils/ContFlow.dyn_o )

src/lib/Haskus/Utils/ContFlow.hs:88:29: warning: [GHC-68441] [-Wdeprecations]
    In the use of data constructor ‘Solo’
    (imported from Haskus.Utils.Tuple, but defined in GHC.Tuple):
    Deprecated: "The Solo constructor has been renamed to MkSolo to avoid punning."
   |
88 | (>:-:>) (ContFlow f) c = f (Solo c)
   |                             ^^^^
[2 of 9] Compiling Haskus.Utils.Variant ( src/lib/Haskus/Utils/Variant.hs, dist/build/Haskus/Utils/Variant.o, dist/build/Haskus/Utils/Variant.dyn_o )

src/lib/Haskus/Utils/Variant.hs:1266:47: warning: [GHC-68441] [-Wdeprecations]
    In the use of data constructor ‘Solo’
    (imported from Haskus.Utils.Tuple, but defined in GHC.Tuple):
    Deprecated: "The Solo constructor has been renamed to MkSolo to avoid punning."
     |
1266 |    variantToCont (Variant _ a) = ContFlow $ \(Solo f) ->
     |                                               ^^^^

src/lib/Haskus/Utils/Variant.hs:1270:38: warning: [GHC-68441] [-Wdeprecations]
    In the use of data constructor ‘Solo’
    (imported from Haskus.Utils.Tuple, but defined in GHC.Tuple):
    Deprecated: "The Solo constructor has been renamed to MkSolo to avoid punning."
     |
1270 |    variantToContM act = ContFlow $ \(Solo f) -> do
     |                                      ^^^^

src/lib/Haskus/Utils/Variant.hs:1276:7: warning: [GHC-68441] [-Wdeprecations]
    In the use of data constructor ‘Solo’
    (imported from Haskus.Utils.Tuple, but defined in GHC.Tuple):
    Deprecated: "The Solo constructor has been renamed to MkSolo to avoid punning."
     |
1276 |       Solo (toVariantAt @0)
     |       ^^^^

src/lib/Haskus/Utils/Variant.hs:1280:7: warning: [GHC-68441] [-Wdeprecations]
    In the use of data constructor ‘Solo’
    (imported from Haskus.Utils.Tuple, but defined in GHC.Tuple):
    Deprecated: "The Solo constructor has been renamed to MkSolo to avoid punning."
     |
1280 |       Solo (return . toVariantAt @0)
     |       ^^^^
[3 of 9] Compiling Haskus.Utils.Variant.Syntax ( src/lib/Haskus/Utils/Variant/Syntax.hs, dist/build/Haskus/Utils/Variant/Syntax.o, dist/build/Haskus/Utils/Variant/Syntax.dyn_o )
[4 of 9] Compiling Haskus.Utils.Variant.VEither ( src/lib/Haskus/Utils/Variant/VEither.hs, dist/build/Haskus/Utils/Variant/VEither.o, dist/build/Haskus/Utils/Variant/VEither.dyn_o )
[5 of 9] Compiling Haskus.Utils.Variant.Excepts ( src/lib/Haskus/Utils/Variant/Excepts.hs, dist/build/Haskus/Utils/Variant/Excepts.o, dist/build/Haskus/Utils/Variant/Excepts.dyn_o )
[6 of 9] Compiling Haskus.Utils.VariantF ( src/lib/Haskus/Utils/VariantF.hs, dist/build/Haskus/Utils/VariantF.o, dist/build/Haskus/Utils/VariantF.dyn_o )

src/lib/Haskus/Utils/VariantF.hs:166:4: error: [GHC-05617]
    • Could not deduce ‘ConstraintAll1 Eq1 fs’
        arising from the head of a quantified constraint
        arising from the superclasses of an instance declaration
      from the context: (Eq1 f, Eq1 (VariantF fs))
        bound by the instance declaration
        at src/lib/Haskus/Utils/VariantF.hs:(166,4)-(168,29)
      or from: Eq a
        bound by a quantified context
        at src/lib/Haskus/Utils/VariantF.hs:(166,4)-(168,29)
    • In the instance declaration for ‘Eq1 (VariantF (f : fs))’
    |
166 |    ( Eq1 f
    |    ^^^^^^^...

src/lib/Haskus/Utils/VariantF.hs:178:4: error: [GHC-05617]
    • Could not deduce: (ConstraintAll1 Ord1 fs, ConstraintAll1 Eq1 fs)
        arising from the head of a quantified constraint
        arising from the superclasses of an instance declaration
      from the context: (Ord1 f, Ord1 (VariantF fs))
        bound by the instance declaration
        at src/lib/Haskus/Utils/VariantF.hs:(178,4)-(180,30)
      or from: Ord a
        bound by a quantified context
        at src/lib/Haskus/Utils/VariantF.hs:(178,4)-(180,30)
    • In the instance declaration for ‘Ord1 (VariantF (f : fs))’
    |
178 |    ( Ord1 f
    |    ^^^^^^^^...

src/lib/Haskus/Utils/VariantF.hs:192:4: error: [GHC-05617]
    • Could not deduce ‘ConstraintAll1 Show1 fs’
        arising from the head of a quantified constraint
        arising from the superclasses of an instance declaration
      from the context: (Show1 f, Show1 (VariantF fs))
        bound by the instance declaration
        at src/lib/Haskus/Utils/VariantF.hs:(192,4)-(194,31)
      or from: Show a
        bound by a quantified context
        at src/lib/Haskus/Utils/VariantF.hs:(192,4)-(194,31)
    • In the instance declaration for ‘Show1 (VariantF (f : fs))’
    |
192 |    ( Show1 f
    |    ^^^^^^^^^...
Error: cabal: Failed to build haskus-utils-variant-3.3 (which is required by
exe:ghcup from ghcup-0.1.20.0). See the build log above for details.
hsyl20 commented 9 months ago

I've published https://hackage.haskell.org/package/haskus-utils-variant-3.4 that fixes this (it was already fixed in head thanks to Sam).