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 a DType.

    • Incorporate a DDeclaredInfix field into DNormalC to indicate if it is a constructor that was declared infix.

    • Implement lookupValueNameWithLocals, lookupTypeNameWithLocals, mkDataNameWithLocals, and mkTypeNameWithLocals, counterparts to lookupValueName, lookupTypeName, mkDataName, and mkTypeName which have access to local Template Haskell declarations.

    • Implement reifyNameSpace to determine a Name's NameSpace.

    • Export reifyFixityWithLocals from Language.Haskell.TH.Desugar.

    • Export matchTy (among other goodies) from new module Language.Haskell.TH.Subst. This function matches a type template against a target.