search

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

Support invisible binders in type-level declarations #194

Closed RyanGlScott closed 1 year ago

RyanGlScott commented 1 year ago

Among other changes, there is now a DTyVarBndrVis synonym, similar to the existing DTyVarBndrSpec and DTyVarBndrUnit synonyms, and various types in Language.Haskell.TH.Desugar.AST are now defined in terms of DTyVarBndrVis instead of DTyVarBndrUnit. See the CHANGES file for the full details.

This bumps the lower version bounds on th-abstraction to >=0.6, as this patch makes critical use of several compatibility shims introduced in that version of th-abstraction.

Fixes https://github.com/goldfirere/th-desugar/issues/186.

RyanGlScott commented 1 year ago

I'll merge this next week unless there are any review suggestions.