Commit 613737b1 authored by simonpj@microsoft.com's avatar simonpj@microsoft.com
Browse files

Document the fact that you can't make a newtype of an unboxed data type

parent 09d0e7d9
......@@ -381,6 +381,13 @@ worse, the unboxed value might be larger than a pointer
(<literal>Double&num;</literal> for instance).
</para>
</listitem>
<listitem><para> You cannot define a newtype whose representation type
(the argument type of the data constructor) is an unboxed type. Thus,
this is illegal:
<programlisting>
newtype A = MkA Int#
</programlisting>
</para></listitem>
<listitem><para> You cannot bind a variable with an unboxed type
in a <emphasis>top-level</emphasis> binding.
</para></listitem>
......
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