Commit 18a4a5da authored by eir@cis.upenn.edu's avatar eir@cis.upenn.edu
Browse files

Update release notes for #9262 #8953 #9084.

parent 209baea8
......@@ -110,6 +110,34 @@
Added support for generating LINE pragma declarations
(<xref linkend="line-pragma"/>).
</para>
<para>
The type <literal>Pred</literal> (which stores a type
constraint) is now a synonym for <literal>Type</literal>,
in order to work with the <literal>ConstraintKinds</literal>
extension. This is a breaking change and may require
some rewriting of Template Haskell code.
</para>
<para>
<literal>reifyInstances</literal> now treats unbound type
variables as univerally quantified, allowing lookup of, say,
the instance for <literal>Eq [a]</literal>.
</para>
<para>
More kind annotations appear in reified types, in order to
disambiguate types that would otherwise be ambiguous in the
presence of <literal>PolyKinds</literal>. In particular, all
reified <literal>TyVarBndr</literal>s are now
<literal>KindedTV</literal>s. (This does not affect Template
Haskell quotations, just calls to <literal>reify</literal>.)
</para>
<para>
Various features unsupported in quotations were previously
silently ignored. These now cause errors.
</para>
</listitem>
</itemizedlist>
</sect3>
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment