All Versions
23
Latest Version
Avg Release Cycle
-
Latest Release
-

Changelog History
Page 2

  • v1.5.3 Changes

    • More DsMonad instances, thanks to David Fox.

  • v1.5.2 Changes

    • Sweeten kinds more, too.

  • v1.5.1 Changes

    • Thanks to David Fox (@ddssff), sweetening now tries to use more of TH's Type constructors.

    • 📦 Also thanks to David Fox, depend usefully on the th-orphans package.

  • v1.5 Changes

    • 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.

  • v1.4.2 Changes

    • expand functions now consider open type families, as long as the type to be expanded has no free variables.

  • v1.4.1 Changes

    • ➕ Added Language.Haskell.TH.Desugar.Lift, which provides Lift instances for all of the th-desugar types, as well as several Template Haskell types.

    • ➕ Added applyDExp and applyDType as convenience functions.

  • v1.4.0 Changes

    • All Decs can now be desugared, to the new DDec type.

    • Sweetening Decs that do not exist in GHC 7.6.3- works on a "best effort" basis: closed type families are sweetened to open ones, and role annotations are dropped.

    • Infos can now be desugared. Desugaring takes into account GHC bug #8884, which meant that reifying poly-kinded type families in GHC 7.6.3- was subtly wrong.

    • There is a new function flattenDValD which takes a binding like let (a,b) = foo and breaks it apart into separate assignments for a and b.

    • 👀 There is a new Desugar class with methods desugar and sweeten. See 📚 the documentation in Language.Haskell.TH.Desugar.

    • Variable names that are distinct in desugared code are now guaranteed to have distinct answers to nameBase.

    • ➕ Added a new function getRecordSelectors that extracts types and definitions of record selectors from a datatype definition.

  • v1.3.1 Changes

    • ⚡️ Update cabal file to include testing files in sdist.

  • v1.3.0 Changes

    • ⚡️ Update to work with type Pred = Type in GHC 7.9. This changed the DPred type for all GHC versions, though.

  • v1.2.0 Changes

    • Generalized interface to allow any member of the Qausi class, instead of just Q.