th-abstraction-0.5

[alaendle]

th-abstraction-0.5.0.0 (changelog) (Ryan Scott ryan.gl.scott@gmail.com @RyanGlScott) is out of bounds for:

• [x] aeson-2.1.2.0 (>=0.3.0.0 && < 0.5). Adam Bergmark adam@bergmark.nl @bergmark. Used by: library
• [x] bifunctors-5.5.14 (>=0.4.2.0 && < 0.5). Edward Kmett ekmett@gmail.com @ekmett. Used by: library
• [ ] boomerang-1.4.8.1 (>=0.4 && < 0.5). Jeremy Shaw jeremy@n-heptane.com @stepcut. Used by: library
• [x] bound-2.0.6 (>=0.4 && < 0.5). Edward Kmett ekmett@gmail.com @ekmett. Used by: library
• [x] cleff-0.3.3.0 (>=0.2 && < 0.5). Xy Ren xy.r@outlook.com @re-xyr. Used by: library
• [x] effectful-th-1.0.0.1 (>=0.4 && < 0.5). Andrzej Rybczak andrzej@rybczak.net @arybczak. Used by: library
• [x] eliminators-0.9.1 (>=0.4 && < 0.5). Ryan Scott ryan.gl.scott@gmail.com @RyanGlScott. Used by: library
• [x] free-5.1.10 (>=0.4.2.0 && < 0.5). Edward Kmett ekmett@gmail.com @ekmett. Used by: library
• [x] generics-sop-0.5.1.2 (>=0.4 && < 0.5). Andres Löh andres@well-typed.com @kosmikus. Used by: library
• [x] invariant-0.6 (>=0.4 && < 0.5). Ryan Scott ryan.gl.scott@gmail.com @RyanGlScott. Used by: library
• [x] lens-5.2 (>=0.4.1 && < 0.5). Edward Kmett ekmett@gmail.com @ekmett. Used by: library
• [ ] microlens-th-0.4.3.11 (>=0.4.1 && < 0.5). Steven Fontanella steven.fontanella@gmail.com @stevenfontanella. Used by: library
• [x] optics-th-0.4.1 (>=0.4 && < 0.5). Optics optics@well-typed.com. Used by: library
• [x] polysemy-1.7.1.0 (>=0.3.1.0 && < 0.5). Matej Niznik matten@tuta.io @TheMatten, Stackage upper bounds. Used by: library
• [x] product-profunctors-0.11.1.1 (>=0.4 && < 0.5). Tom Ellis tom-stackage@jaguarpaw.co.uk @tomjaguarpaw. Used by: library
• [x] recursion-schemes-5.2.2.3 (>=0.4 && < 0.5). Samuel Gélineau gelisam@gmail.com @gelisam. Used by: library
• [x] structs-0.1.8 (>=0.4 && < 0.5). Edward Kmett ekmett@gmail.com @ekmett. Used by: library
• [x] text-show-3.10 (>=0.4 && < 0.5). Ryan Scott ryan.gl.scott@gmail.com @RyanGlScott. Used by: library
• [x] th-desugar-1.14 (>=0.4 && < 0.5). Richard Eisenberg eir@cis.upenn.edu @goldfirere. Used by: library
• [x] th-lift-0.8.2 (>=0.2.3 && < 0.5). Mathieu Boespflug mboes@tweag.net @mboes, Michael Snoyman michael@snoyman.com @snoyberg. Used by: library
• [x] universe-some-1.2.1 (>=0.4.2.0 && < 0.5). Grandfathered dependencies. Used by: library

[re-xyr]

Relaxed the upper bound of cleff-0.3.3.0 to 0.6

[RyanGlScott]

I've uploaded new versions of the following packages to make them support th-abstraction-0.5.*:

• bifunctors-5.5.15
• invariant-0.6.1
• text-show-3.10.1

I have also made revisions to the following packages:

• bound-2.0.6-r1
• free-5.1.10-r1
• structs-0.1.8-r1

lens, th-desugar, and eliminators will require a bit more effort, so I will get to them later.

[arybczak]

I added revisions for effectful-th and optics-th.

[gelisam]

recursion-schemes-5.2.2.4 now accepts th-abstraction-0.5.*.* (thanks @RyanGlScott!)

[ysangkok]

th-desugar-1.15 requires th-abstraction-0.5

[tomjaguarpaw]

Revision made for https://hackage.haskell.org/package/product-profunctors-0.11.1.1

[ysangkok]

It seems that while all the package above have been fixed, upgrading th-abstractions would require a newer singletons-base. But singletons-base releases only works for a single GHC major version, so it would have to be disabled.

The same goes for eliminators. So we have to choose between keeping the old th-abstractions and linear-generics, or disabling singletons and eliminators.

[ysangkok]

@bergmark Would it be possible to add the ghc-9.6 label? See previous comment for rationale.

[juhp]

th-abstraction-0.5.0.0 (changelog) (Ryan Scott ryan.gl.scott@gmail.com @RyanGlScott, Stackage upper bounds) is out of bounds for:

• [ ] linear-generics-0.2.1 (>=0.4 && < 0.5). Arnaud Spiwack arnaud.spiwack@tweag.io @aspiwack. Used by: library

[ysangkok]

th-abstraction-0.5 is in Stackage Nightly. See Stackage page.

[alaendle]

Only remaining bound issues (@martijnbastiaan):

- clash-prelude < 0 # tried clash-prelude-1.6.4, but its *library* requires th-abstraction >=0.2.10 && < 0.5.0 and the snapshot contains th-abstraction-0.5.0.0
- th-extras < 0 # tried th-extras-0.0.0.6, but its *library* requires th-abstraction >=0.4 && < 0.5 and the snapshot contains th-abstraction-0.5.0.0

Since PR exists https://github.com/mokus0/th-extras/pull/21 and fixed on master https://github.com/clash-lang/clash-compiler/commit/99d5261439b5d37bf84d99212f4e12aa315c8102 I think its okay to close this issue. As soon as compatible releases appear on hackage they will get re-enabled semi-automatically.