Handle `InfixT`/`PromotedInfixT` in `unfoldType` properly

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

Handle `InfixT`/`PromotedInfixT` in `unfoldType` properly #185

Closed RyanGlScott closed 1 year ago

RyanGlScott commented 1 year ago

This adds two missing cases for InfixT and PromotedUInfixT in unfoldType. Missing a case for the former can cause data family declarations to be spuriously rejected, as noted in https://github.com/goldfirere/th-desugar/issues/184, so I have added a regression test for this.

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