GHC 9.6 checklist #540
Labels
Comments
RyanGlScott
added a commit
that referenced
this issue
Mar 4, 2023
As of `base-4.18.0.0`, `GHC.TypeLits` now exports the `SChar`, `SNat`, and `SSymbol` singleton types from `GHC.TypeLits` and `GHC.TypeNats` (see https://gitlab.haskell.org/ghc/ghc/-/merge_requests/9064). These subsume the custom singleton types that `GHC.TypeLits.Singletons` defines for `Char`, `Natural`, and `Text`, so this patch removes much of the custom definitions in `GHC.TypeLits.Singletons` in favor of re-exporting the equivalent definitions from `GHC.TypeLits`. In addition, the new API in `GHC.TypeLits` allows us to define some instances in a slightly more direct fashion, without needing to match on `SomeChar`, `SomeNat`, or `SomeSymbol` first. Checks off one box in #540.
RyanGlScott
added a commit
that referenced
this issue
Mar 9, 2023
As of `base-4.18.0.0`, `GHC.TypeLits` now exports the `SChar`, `SNat`, and `SSymbol` singleton types from `GHC.TypeLits` and `GHC.TypeNats` (see https://gitlab.haskell.org/ghc/ghc/-/merge_requests/9064). These subsume the custom singleton types that `GHC.TypeLits.Singletons` defines for `Char`, `Natural`, and `Text`, so this patch removes much of the custom definitions in `GHC.TypeLits.Singletons` in favor of re-exporting the equivalent definitions from `GHC.TypeLits`. In addition, the new API in `GHC.TypeLits` allows us to define some instances in a slightly more direct fashion, without needing to match on `SomeChar`, `SomeNat`, or `SomeSymbol` first. Checks off one box in #540.
|
I've uploaded these to Hackage: |
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.6:
th-desugar. See GHC 9.6 checklist th-desugar#170.singletons-th/singletons-baseto Hackage.SSymbol,symbolSing, etc. (GHC!9064).type dataout of the box #559The text was updated successfully, but these errors were encountered: