Commit 78ee2937 authored by dterei's avatar dterei

Fix mistake in user guide

parent 2da8a4d1
......@@ -8346,8 +8346,8 @@ happen.
<para>A <literal>SPECIALIZE</literal> pragma for a function can
be put anywhere its type signature could be put. Moreover, you
can also <literal>SPECIALIZE</literal> an <emphasis>imported</emphasis>
provided it was given an <literal>INLINABLE</literal> pragma at its definition site
(<xref linkend="inlinable-pragma"/>)</para>
function provided it was given an <literal>INLINABLE</literal> pragma at
its definition site (<xref linkend="inlinable-pragma"/>).</para>
<para>A <literal>SPECIALIZE</literal> has the effect of generating
(a) a specialised version of the function and (b) a rewrite rule
......
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