So that document is a good place to look for a type-set version.
We would be very happy if someone wanted to volunteer to produce an SGML
...
...
@@ -2233,7 +2233,7 @@ the result type of the <literal>case</literal> expression. Hence the addition <
<para>
These and many other examples are given in papers by Hongwei Xi, and
Tim Sheard. There is a longer introduction
<ulinkurl="http://haskell.org/haskellwiki/GADT">on the wiki</ulink>,
<ulinkurl="http://www.haskell.org/haskellwiki/GADT">on the wiki</ulink>,
and Ralf Hinze's
<ulinkurl="http://www.informatik.uni-bonn.de/~ralf/publications/With.pdf">Fun with phantom types</ulink> also has a number of examples. Note that papers
may use different notation to that implemented in GHC.
...
...
@@ -3401,7 +3401,7 @@ instance of <literal>Num</literal> <emphasis>or</emphasis> of <literal>IsString<
</para></listitem>
<listitem><para>
The standard defaulting rule (<ulinkurl="http://haskell.org/onlinereport/decls.html#sect4.3.4">Haskell Report, Section 4.3.4</ulink>)
The standard defaulting rule (<ulinkurl="http://www.haskell.org/onlinereport/decls.html#sect4.3.4">Haskell Report, Section 4.3.4</ulink>)
is extended thus: defaulting applies when all the unresolved constraints involve standard classes
<emphasis>or</emphasis><literal>IsString</literal>; and at least one is a numeric class