projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Record that TH doesn't support pattern types signature
[ghc-hetmet.git]
/
docs
/
users_guide
/
6.6-notes.xml
diff --git
a/docs/users_guide/6.6-notes.xml
b/docs/users_guide/6.6-notes.xml
index
9b215b0
..
7a2dbb4
100644
(file)
--- a/
docs/users_guide/6.6-notes.xml
+++ b/
docs/users_guide/6.6-notes.xml
@@
-250,8
+250,14
@@
<literal>MyIO <replaceable>t</replaceable></literal>
rather than just
<literal>IO <replaceable>t</replaceable></literal>.
<literal>MyIO <replaceable>t</replaceable></literal>
rather than just
<literal>IO <replaceable>t</replaceable></literal>.
+ See <xref linkend="ffi-newtype-io"/>
</para>
</listitem>
</para>
</listitem>
+ <listitem> <para> GHC's mechansim for deriving user-defined classes
+ for newtypes has been further generalised, to multi-parameter type
+ classes and higher-kinded types. See <xref
+ linkend="newtype-deriving"/>.
+ </para></listitem>
<listitem>
<para>
By default, pattern bindings in GHC are now monomorphic.
<listitem>
<para>
By default, pattern bindings in GHC are now monomorphic.
@@
-281,6
+287,13
@@
</listitem>
<listitem>
<para>
</listitem>
<listitem>
<para>
+ Linear implicit parameters have been scheduled for removal for some
+ time. In 6.6 we've removed them from the user manual, and they may
+ well disappear from the compiler itself in 6.6.1.
+ </para>
+ </listitem>
+ <listitem>
+ <para>
It is now possible, with the <literal>-I</literal> RTS flag,
to control the amount of idle time that happens before a major
GC is performed.
It is now possible, with the <literal>-I</literal> RTS flag,
to control the amount of idle time that happens before a major
GC is performed.
@@
-298,6
+311,14
@@
<option>--make</option>, and hence can be used by cabal.
</para>
</listitem>
<option>--make</option>, and hence can be used by cabal.
</para>
</listitem>
+ <listitem>
+ <para>
+ Template Haskell used to have limited support for type signatures in
+ patterns, but since that design is in flux for Haskell (let alone
+ Template Haskell), we've removed type signatures in patterns from
+ Template Haskell.
+ </para>
+ </listitem>
</itemizedlist>
</sect2>
</itemizedlist>
</sect2>