Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

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

Closed
hasufell opened this issue Jan 20, 2024 · 1 comment
Closed

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

hasufell opened this issue Jan 20, 2024 · 1 comment

Comments

@hasufell
Copy link
Contributor

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
Copy link
Contributor

hsyl20 commented Jan 22, 2024

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).

@hsyl20 hsyl20 closed this as completed Jan 22, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants