singletons

singletons copied to clipboard

Memory leak when compiling Data.Singletons.Prelude.List with match flattening

13

I just compiled latest singletons and compiling `Data.Singletons.Prelude.List` allocated 1.5GB of RAM (and took ~20 minutes on my old machine). Did this use to happen? Based on my experience I...

jstolarek

singletonization in Nat test is broken when match-flattening

7

Fix broken singletonization of Nats.

jstolarek

Fixes https://github.com/goldfirere/singletons/issues/594.

RyanGlScott

[GHC#23515](https://gitlab.haskell.org/ghc/ghc/-/issues/23515) tracks implementing [this portion of GHC proposal #425](https://github.com/ghc-proposals/ghc-proposals/blob/8443acc903437cef1a7fbb56de79b6dce77b1a09/proposals/0425-decl-invis-binders.rst#proposed-change-specification-instances) (Invisible binders in type declarations): > In type family and data family instances, the instantiation is fully determined by the left...

RyanGlScott

Improve documentation of Data.Singletons

11

Currently I would say that `singletons` is daunting. This should not be! The underlying principle is straightforward. It took me a long time to understand it, but now that I...

tomjaguarpaw

Use `GHC2024` in `singletons-th` and `singletons-base`

1

GHC 9.10 introduces the [`GHC2024`](https://github.com/ghc-proposals/ghc-proposals/blob/8443acc903437cef1a7fbb56de79b6dce77b1a09/proposals/0613-ghc2024.rst) language extension set. As compared to `GHC2021`, this enables several additional language extensions by default, and several of these are ones that are commonly sprinkled...

RyanGlScott