Version 0.7.0.0 (2021-12-31)

• Re-export functions for dealing with type-level literals, such as mkNumLitTy and isStrLitTy.

• Re-export functions for splitting apart type applications, such as splitAppTy_maybe and tyConAppTyCon_maybe.

• Redefine and re-export mkUncheckedIntExpr for GHC versions prior to 9.0.

• Re-export some basic types from GHC.Types.Basic such as Arity, PromotionFlag and Boxity.

• Re-export GHC.Builtin.Names and GHC.Builin.Types.Prim.

• Provide MonadThings instances for TcPluginM monads.

Version 0.6.1.0 (2021-12-13)

• Re-export various useful types and functions to deal with type and coercion variables.

• Re-export a few types and functions to deal with source locations.

• Remove some re-exports for constructing function types, as not all functions make sense across all GHC versions supported by the library.

• Re-export panic and pprPanic.

Version 0.6.0.0 (2021-12-13)

• Add support for GHC 8.8.

• Re-export evDataConApp, which is useful for constructing typeclass dictionaries.

Version 0.5.1.0 (2021-08-31)

• Fix a bug in the type-family rewriting compatibility layer (GHC 8.10, 9.0, 9.2) by correctly downgrading the coercion used to cast the evidence, when necessary.

Version 0.5.0.0 (2021-08-30)

• Re-export some additional types and functions that are useful for inspecting and constructing evidence terms, such as mkTyVar, newName, mkLocalId, lookupEvBind...

Version 0.4.1.0 (2021-08-24)

• Re-export a few GHC modules, such as GHC.Core.Make and GHC.Plugins. These re-exports might be changed to be more selective in the future to aid cross-version compatibility.

Version 0.4.0.0 (2021-08-24)

• Adapt to GHC 9.4 changes in the TcPluginSolveResult datatype: are now able to solve and emit constraints even when reporting a contradiction. This can help with error messages. Unfortunately these extra constraints will be dropped in versions of GHC prior to 9.4.

• Add a utility module for name resolution using constrained traversals.

• Add compatibility for GHC 8.10.

Version 0.3.1.0 (2021-08-09)

Ensure that the coercions stored in Reductions are always oriented left-to-right, by making the internal rewriting compatibility layer also use left-to-right coercions.

Version 0.3.0.0 (2021-08-04)

Account for changes in rewriting in GHC 9.4:

• rewriter plugins can no longer emit new Wanted constraints if they don't rewrite the type family application;
• coercions in the rewriter are now oriented left-to-right, requiring mkTyFamAppReduction to be adapted.

Version 0.2.0.0 (2021-07-22)

Initial release on Hackage.