This is a partial fix for #204 and #205 which adds DTypeE, DTypeP, and DInvisP constructs to the th-desugar AST, which behave exactly like their TypeE, TypeP, and InvisP counterparts in the template-haskell AST. This is only a partial fix, however, because DTypeP and DInvisP are currently only supported in the clauses of function declarations. In particular, DTypeP and DInvisP are not supported in lambda expressions, \case expressions, or \cases expressions. See the "Known limitations" section of the README for more.
This is a partial fix for #204 and #205 which adds
DTypeE,DTypeP, andDInvisPconstructs to theth-desugarAST, which behave exactly like theirTypeE,TypeP, andInvisPcounterparts in thetemplate-haskellAST. This is only a partial fix, however, becauseDTypePandDInvisPare currently only supported in the clauses of function declarations. In particular,DTypePandDInvisPare not supported in lambda expressions,\caseexpressions, or\casesexpressions. See the "Known limitations" section of theREADMEfor more.In order to add full support for
DTypePandDInvisP, we would first need to implement the design proposed in https://github.com/goldfirere/th-desugar/issues/210. Until then, this is good enough.