« Changelog History


th-desugar v1.5 Release Notes

    • There is now a facility to register a list of Dec that internal reification should use when necessary. This avoids the user needing to break up their definition across different top-level splices. See withLocalDeclarations. This has a side effect of changing the Quasi typeclass constraint on many functions to be the new DsMonad constraint. Happily, there are DsMonad instances for Q and IO, the two normal inhabitants of Quasi.

    • 🚚 "Match flattening" is implemented! The functions scExp and scLetDec remove any nested pattern matches.

    • More is now exported from Language.Haskell.TH.Desugar for ease of use.

    • expand can now expand closed type families! It still requires that the type to expand contain no type variables.

    • 👌 Support for standalone-deriving and default signatures in GHC 7.10. This means that there are now two new constructors for DDec.

    • 👌 Support for static expressions, which are new in GHC 7.10.