In Language.Haskell.TH.Syntax, DataInstD, NewTypeInstD, TySynEqn,
and RuleP now all have a Maybe [TyVarBndr] argument, which contains a
list of quantified type variables if an explicit forall is present, and
Nothing otherwise. DataInstD, NewTypeInstD, TySynEqn also now use
a single Type argument to represent the left-hand-side to avoid
malformed type family equations and allow visible kind application.
Correspondingly, in Language.Haskell.TH.Lib.Internal, pragRuleD,
dataInstD, newtypeInstD, and tySynEqn now all have a
Maybe [TyVarBndrQ] argument. Non-API-breaking versions of these
functions can be found in Language.Haskell.TH.Lib. The type signature
of tySynEqn has also changed from [TypeQ] -> TypeQ -> TySynEqnQ to
(Maybe [TyVarBndrQ]) -> TypeQ -> TypeQ -> TySynEqnQ, for the same reason
as in Language.Haskell.TH.Syntax above. Consequently, tySynInstD also
changes from Name -> TySynEqnQ -> DecQ to TySynEqnQ -> DecQ.
Add Lift instances for NonEmpty and Void
addForeignFilePath now support assembler sources (#16180).
2.14.0.0 *September 2018
Introduce an addForeignFilePath function, as well as a corresponding
qAddForeignFile class method to Quasi. Unlike addForeignFile, which
takes the contents of the file as an argument, addForeignFilePath takes
as an argument a path pointing to a foreign file. A new addForeignSource
function has also been added which takes a file’s contents as an argument.
The old addForeignFile function is now deprecated in favor of
addForeignSource, and the qAddForeignFile method of Quasi has been
removed entirely.
Introduce an addTempFile function, as well as a corresponding
qAddTempFile method to Quasi, which requests a temporary file of
a given suffix.
Add a ViaStrategy constructor to DerivStrategy.
Add support for -XImplicitParams via ImplicitParamT,
ImplicitParamVarE, and ImplicitParamBindD.
Add support for -XRecursiveDo via MDoE and RecS.
2.13.0.0 March 2018
Bundled with GHC 8.4.1
Language.Haskell.TH.FamFlavour, which was deprecated in 2.11,
has been removed.
Add support for overloaded labels. Introduces labelE :: String -> ExpQ.
Add KindQ, TyVarBndrQ, and FamilyResultSigQ aliases to
Language.Haskell.TH.Lib.
Add Language.Haskell.TH.Lib.Internal module, which exposes some
additional functionality that is used internally in GHC’s integration
with Template Haskell. This is not a part of the public API, and as
such, there are no API guarantees for this module from version to version.
MonadIO is now a superclass of Quasi, qRunIO has a default
implementation qRunIO = liftIO
Add MonadIO Q instance
2.12.0.0 July 2017
Bundled with GHC 8.2.1
Add support for pattern synonyms. This introduces one new constructor to
Info (PatSynI), two new constructors to Dec (PatSynD and
PatSynSigD), and two new data types (PatSynDir and PatSynArgs),
among other changes. (#8761)
Add support for unboxed sums. (#12478)
Add support for visible type applications. (#12530)
Add support for attaching deriving strategies to deriving statements
(#10598)
Add support for COMPLETE pragmas. (#13098)
unboxedTupleTypeName and unboxedTupleDataName now work for unboxed
0-tuples and 1-tuples (#12977)
Language.Haskell.TH now reexports all of Language.Haskell.TH.Lib.
(#12992). This causes Language.Haskell.TH to export more types and
functions that it did before:
TExp, BangQ, and FieldExpQ
unboxedTupP, unboxedTupE and unboundVarE
infixLD, infixRD, and infixND
unboxedTupleT and wildCardT
plainTV and kindedTV
interruptible and funDep
valueAnnotation, typeAnnotation, and moduleAnnotation
Add support for overloaded labels.
2.11.0.0 May 2016
Bundled with GHC 8.0.1
The compiler can now resolve infix operator fixities in types on its own.
The UInfixT constructor of Type is analoguous to UInfixE for expressions
and can contain a tree of infix type applications which will be reassociated
according to the fixities of the operators. The ParensT constructor can be
used to explicitly group expressions.
Add namePackage and nameSpace
Make dataToQa and dataToExpQ able to handle Data instances whose
toConstr implementation relies on a function instead of a data
constructor (#10796)
Add Show instances for NameFlavour and NameSpace
Remove FamilyD and FamFlavour. Add DataFamilyD and OpenTypeFamilyD
as the representation of data families and open type families
respectively. (#6018)
Add TypeFamilyHead for common elements of OpenTypeFamilyD and
ClosedTypeFamilyD (#10902)
The Strict datatype was split among different datatypes: three for
writing the strictness information of data constructors’ fields as denoted
in Haskell source code (SourceUnpackedness and SourceStrictness, as
well as Bang), and one for strictness information after a constructor is
compiled (DecidedStrictness). Strict, StrictType and VarStrictType
have been deprecated in favor of Bang, BangType and VarBangType.
(#10697)
Add reifyConStrictness to query a data constructor’s DecidedStrictness
values for its fields (#10697)
The ClassOpI, DataConI, and VarI constructors no longer have a
Fixity field. Instead, all Fixity information for a given Name is
now determined through the reifyFixity function, which returns Just the
fixity if there is an explicit fixity declaration for that Name, and
Nothing otherwise (#10704 and #11345)
Add MonadFail Q instance for GHC 8.0 and later (#11661)
Add support for OVERLAP(S/PED/PING) pragmas on instances
2.10.0.0 Mar 2015
Bundled with GHC 7.10.1
Remove build-dependency on containers package
Make Pred a type synonym of Type, and deprecate classP/equalP (#7021)
Add support for LINE pragma via prageLineD and LineP
Replace Int# with !Int in NameFlavour constructors
Derive Generic for TH types (#9527)
Add standaloneDerivD (#8100)
Add support for generic default signatures via defaultSigD (#9064)
Add Lift instances for () and Rational
Derive new Show and Data instances for Loc
Derive Eq instances for Loc, Info, and ModuleInfo
Make calling conventions available in template haskell consistent
with those from GHC (#9703)
Add support for -XStaticValues via staticE
Add Ord instances to TH types
Merge some instances from th-orphans (Ppr instances for Lit
and Loc as well as Lift instances for numeric types
Put parens around (ty :: kind) when pretty-printing TH syntax
