haskellari / indexed-traversable Goto Github PK

src/WithIndex.hs:264:27: warning: [GHC-12003] [-Wtype-equality-out-of-scope]
    • The ‘~’ operator is out of scope.
      Assuming it to stand for an equality constraint.
    • NB: ‘~’ used to be built-in syntax but now is a regular type operator
          exported from Data.Type.Equality and Prelude.
      If you are using a custom Prelude, consider re-exporting it.
    • This will become an error in a future GHC release.
    |
264 |   default itraverse :: (i ~ Int, Applicative f) => (i -> a -> f b) -> t a -> f (t b)
    |            

cabal install -w ghc-9.2.0 indexed-traversable --allow-newer=indexed-traversable:base

Failed to build indexed-traversable-instances-0.1.1.1.
Build log (
/home/phil/.cabal/logs/ghc-9.0.2/indexed-traversable-instances-0.1.1.1-6405bb3a8c098e0325d7b52aaa3ac3275de7fa82b741b994e2e754541d89f270.log
):
Configuring library for indexed-traversable-instances-0.1.1.1..
Preprocessing library for indexed-traversable-instances-0.1.1.1..
Building library for indexed-traversable-instances-0.1.1.1..
[1 of 1] Compiling Data.Functor.WithIndex.Instances ( src/Data/Functor/WithIndex/Instances.hs, dist/build/Data/Functor/WithIndex/Instances.o, dist/build/Data/Functor/WithIndex/Instances.dyn_o )
ghc: panic! (the 'impossible' happened)
  (GHC version 9.0.2:
	Ix{Int}.index: Index (4107780713) out of range ((0,83))

Please report this as a GHC bug:  https://www.haskell.org/ghc/reportabug

cabal: Failed to build indexed-traversable-instances-0.1.1.1 (which is

Building library for indexed-traversable-0.1.2..
...
[2 of 5] Compiling WithIndex        ( src/WithIndex.hs, dist/build/WithIndex.o, dist/build/WithIndex.dyn_o )

src/WithIndex.hs:673:3: warning: [-Wnoncanonical-monoid-instances]
    Noncanonical ‘mappend’ definition detected
    in the instance declaration for ‘Monoid (Traversed a f)’.
    ‘mappend’ will eventually be removed in favour of ‘(<>)’
    Either remove definition for ‘mappend’ (recommended) or define as ‘mappend = (<>)’
    See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/semigroup-monoid
    |
673 |   Traversed ma `mappend` Traversed mb = Traversed (ma *> mb)
    |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

src/WithIndex.hs:694:3: warning: [-Wnoncanonical-monoid-instances]
    Noncanonical ‘mappend’ definition detected
    in the instance declaration for ‘Monoid (Sequenced a m)’.
    ‘mappend’ will eventually be removed in favour of ‘(<>)’
    Either remove definition for ‘mappend’ (recommended) or define as ‘mappend = (<>)’
    See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/semigroup-monoid
    |
694 |   Sequenced ma `mappend` Sequenced mb = Sequenced (ma >> mb)
    |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

cabal repl -z -b indexed-traversable==0.1.3 --allow-newer=indexed-traversable:base -w ~/ghc-9.10/bin/ghc-9.10.1