Commit 64c630df authored by simonpj@microsoft.com's avatar simonpj@microsoft.com

Remove linear implicit parameters, and document in release notes

parent 56e0d057
......@@ -285,6 +285,13 @@
<xref linkend="mutual-recursion" />.
</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,
......
......@@ -2642,6 +2642,11 @@ inner binding of <literal>?x</literal>, so <literal>(f 9)</literal> will return
</sect3>
</sect2>
<!-- ======================= COMMENTED OUT ========================
We intend to remove linear implicit parameters, so I'm at least removing
them from the 6.6 user manual
<sect2 id="linear-implicit-parameters">
<title>Linear implicit parameters</title>
<para>
......@@ -2657,7 +2662,7 @@ problem that monads seem over-kill for certain sorts of problem, notably:
<para>
Linear implicit parameters are just like ordinary implicit parameters,
except that they are "linear" -- that is, they cannot be copied, and
except that they are "linear"; that is, they cannot be copied, and
must be explicitly "split" instead. Linear implicit parameters are
written '<literal>%x</literal>' instead of '<literal>?x</literal>'.
(The '/' in the '%' suggests the split!)
......@@ -2812,6 +2817,8 @@ and you'd be right. That is why they are an experimental feature.
</sect2>
================ END OF Linear Implicit Parameters commented out -->
<sect2 id="sec-kinding">
<title>Explicitly-kinded quantification</title>
......
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