Skip to content
Snippets Groups Projects
Commit 0877e14e authored by Ian Lynagh's avatar Ian Lynagh
Browse files

Document the Num superclass divergence from H98/H2010

parent 102df6a7
No related merge requests found
......@@ -149,6 +149,39 @@ main = do args <- getArgs
<title>Numbers, basic types, and built-in classes</title>
<variablelist>
<varlistentry>
<term>Num superclasses</term>
<listitem>
<para>
The <literal>Num</literal> class does not have
<literal>Show</literal> or <literal>Eq</literal>
superclasses.
</para>
<para>
You can make code that works with both
Haskell98/Haskell2010 and GHC by:
<itemizedlist>
<listitem>
<para>
Whenever you make a <literal>Num</literal> instance
of a type, also make <literal>Show</literal> and
<literal>Eq</literal> instances, and
</para>
</listitem>
<listitem>
<para>
Whenever you give a function, instance or class a
<literal>Num t</literal> constraint, also give it
<literal>Show t</literal> and
<literal>Eq t</literal> constraints.
</para>
</listitem>
</itemizedlist>
</para>
</listitem>
</varlistentry>
<varlistentry>
<term>Multiply-defined array elements&mdash;not checked:</term>
<listitem>
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment