Doesn't compile with vector-0.13 (with --allow-newer in order to ignore the bound from .cabal)

[Mikolaj]

Compiles fine with vector-0.12.3.1. The failure is

[41 of 44] Compiling Data.Strict.Vector.Autogen.Mutable ( src/Data/Strict/Vector/Autogen/Mutable.hs, dist/build/Data/Strict/Vector/Autogen/Mutable.o, dist/build/Data/Strict/Vector/Autogen/Mutable.dyn_o )

src/Data/Strict/Vector/Autogen/Mutable.hs:161:3: error:
    Data constructor not in scope:
      INTERNAL_CHECK :: t2 -> String -> String -> Bool -> m2 () -> m ()
    |
161 |   INTERNAL_CHECK(check) "moveBackwards" "not a backwards move" (dstOff < srcOff)
    |   ^^^^^^^^^^^^^^

src/Data/Strict/Vector/Autogen/Mutable.hs:161:18: error:
    Variable not in scope: check
    |
161 |   INTERNAL_CHECK(check) "moveBackwards" "not a backwards move" (dstOff < srcOff)
    |                  ^^^^^

src/Data/Strict/Vector/Autogen/Mutable.hs:168:3: error:
    Data constructor not in scope:
      INTERNAL_CHECK :: t1 -> String -> String -> Bool -> m1 () -> m ()
    |
168 |   INTERNAL_CHECK(check) "moveForwardsSmallOverlap" "not a forward move" (dstOff > srcOff)
    |   ^^^^^^^^^^^^^^

src/Data/Strict/Vector/Autogen/Mutable.hs:168:18: error:
    Variable not in scope: check
    |
168 |   INTERNAL_CHECK(check) "moveForwardsSmallOverlap" "not a forward move" (dstOff > srcOff)
    |                  ^^^^^

src/Data/Strict/Vector/Autogen/Mutable.hs:179:3: error:
    Data constructor not in scope:
      INTERNAL_CHECK :: t0 -> String -> String -> Bool -> m0 () -> m ()
    |
179 |   INTERNAL_CHECK(check) "moveForwardsLargeOverlap" "not a forward move" (dstOff > srcOff)
    |   ^^^^^^^^^^^^^^

src/Data/Strict/Vector/Autogen/Mutable.hs:179:18: error:
    Variable not in scope: check
    |
179 |   INTERNAL_CHECK(check) "moveForwardsLargeOverlap" "not a forward move" (dstOff > srcOff)
    |                  ^^^^^
Error: cabal: Failed to build strict-containers-0.1 (which is required by
test:shortTestForCI from horde-ad-0.1.0.0, test:minimalTest from
horde-ad-0.1.0.0 and others). See the build log above for details.

[sjakobi]

strict-containers-serialise and strict-containers-tests are blocked on well-typed/cborg#302.

[infinity0]

This issue is blocked on well-typed/cborg#302 but it's not the only thing it's blocked on.

This package is autogenerated from vector-0.12.3.0 (details in docs) so in general it's not expected to work with newer versions. The bound from .cabal is very very hard. See strict-containers/regen.sh for details.

[infinity0]

Tentative PR in #10 but I'm having trouble debugging the CI failure - it works locally here for me with GHC 9.0.2 and cabal 3.4.1.0 - help would be appreciated.

[Mikolaj]

Hey, that's great news! Anything else holding up the release?

[infinity0]

Whoops I forgot, will do that shortly.

[infinity0]

https://hackage.haskell.org/package/strict-containers

[Mikolaj]

Thank you. I've tested the new release in https://github.com/Mikolaj/horde-ad and it works great.

[infinity0]

Nice, glad to see it's being used! 👍