th-desugar v1.8 Release Notes
-
👌 Support GHC 8.4.
substTy
now properly substitutes into kind signatures.🔦 Expose
fvDType
, which computes the free variables of aDType
.Incorporate a
DDeclaredInfix
field intoDNormalC
to indicate if it is a constructor that was declared infix.Implement
lookupValueNameWithLocals
,lookupTypeNameWithLocals
,mkDataNameWithLocals
, andmkTypeNameWithLocals
, counterparts tolookupValueName
,lookupTypeName
,mkDataName
, andmkTypeName
which have access to local Template Haskell declarations.Implement
reifyNameSpace
to determine aName
'sNameSpace
.Export
reifyFixityWithLocals
fromLanguage.Haskell.TH.Desugar
.Export
matchTy
(among other goodies) from new moduleLanguage.Haskell.TH.Subst
. This function matches a type template against a target.