Support more embedded types in terms (GHC 9.12)

goldfirere / th-desugar

Desugars Template Haskell abstract syntax to a simpler format without changing semantics

BSD 3-Clause "New" or "Revised" License

20 stars 13 forks source link

Closed RyanGlScott closed 1 month ago

RyanGlScott commented 1 month ago

This adds DForallE and DConstrainedE constructors to DExp, mirroring similar changes on the template-haskell side in GHC 9.12.

Checks off one box in #221.