GHC 9.10 checklist #569
Labels
Comments
RyanGlScott
added a commit
that referenced
this issue
May 1, 2024
This bumps the `th-desugar` commit in the `cabal.project` file's `source-repository-package` to bring in the changes from `th-desugar-1.17`. Among other things, this version of `th-desugar` adds support for: * Namespace specifiers in fixity declarations * Embedded type expressions and patterns * Invisible type patterns For now, `singletons-th` will error if it encounters any of these constructs. Where appropriate, I have opened issues to track the idea of supporting these language features in `singletons-th`: * For namespace specifiers in fixity declarations, see #582. * Supporting embedded type expressions and patterns seems quite difficult due to `singletons-th`'s policy of only promoting/singling vanilla type signatures (see the `README`), so I have not opened an issue for this. * For invisible type patterns, see #583. This is one step towards preparing a GHC 9.10–compatible release of `singletons` and friends (see #569).
RyanGlScott
added a commit
that referenced
this issue
May 1, 2024
This bumps the `th-desugar` commit in the `cabal.project` file's `source-repository-package` to bring in the changes from `th-desugar-1.17`. Among other things, this version of `th-desugar` adds support for: * Namespace specifiers in fixity declarations * Embedded type expressions and patterns * Invisible type patterns For now, `singletons-th` will error if it encounters any of these constructs. Where appropriate, I have opened issues to track the idea of supporting these language features in `singletons-th`: * For namespace specifiers in fixity declarations, see #582. * Supporting embedded type expressions and patterns seems quite difficult due to `singletons-th`'s policy of only promoting/singling vanilla type signatures (see the `README`), so I have not opened an issue for this. * For invisible type patterns, see #583. This is one step towards preparing a GHC 9.10–compatible release of `singletons` and friends (see #569).
RyanGlScott
added a commit
that referenced
this issue
May 1, 2024
This bumps the `th-desugar` commit in the `cabal.project` file's `source-repository-package` to bring in the changes from `th-desugar-1.17`. Among other things, this version of `th-desugar` adds support for: * Namespace specifiers in fixity declarations * Embedded type expressions and patterns * Invisible type patterns For now, `singletons-th` will error if it encounters any of these constructs. Where appropriate, I have opened issues to track the idea of supporting these language features in `singletons-th`: * For namespace specifiers in fixity declarations, see #582. * Supporting embedded type expressions and patterns seems quite difficult due to `singletons-th`'s policy of only promoting/singling vanilla type signatures (see the `README`), so I have not opened an issue for this. * For invisible type patterns, see #583. This is one step towards preparing a GHC 9.10–compatible release of `singletons` and friends (see #569).
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
This issue serves as a reminder to do certain things before we ship a new major release that supports GHC 9.10:
th-desugar. See GHC 9.10 checklist th-desugar#191.singletons-th/singletons-baseto Hackage.th-desugar-1.17#584The text was updated successfully, but these errors were encountered: