fix a few typos and add some clarifications
<para>where currently the syntax is</para>
<programlisting>
<para>where currently the syntax is</para>
<programlisting>
qconid -> [modid .] conid
</programlisting>
qconid -> [modid .] conid
</programlisting>
<itemizedlist>
<listitem>
<para>A module defining a data type or type class
<itemizedlist>
<listitem>
<para>A module defining a data type or type class
- <replaceable>X</replaceable> has the itself the name
+ <replaceable>X</replaceable> has itself the name
<replaceable>X</replaceable>, e.g.
<literal>StablePtr</literal>.</para>
</listitem>
<replaceable>X</replaceable>, e.g.
<literal>StablePtr</literal>.</para>
</listitem>
would be named <literal>M.Internals</literal>. eg.</para>
<programlisting>
would be named <literal>M.Internals</literal>. eg.</para>
<programlisting>
-import Text.Html -- The library
-import Text.Html.Internals -- The non-abstract library (for building other libs)
+import Text.HTML -- The library
+import Text.HTML.Internals -- The non-abstract library
</programlisting>
</listitem>
</programlisting>
</listitem>
</itemizedlist>
<para>Extensions which we'd like to be standard, but aren't
</itemizedlist>
<para>Extensions which we'd like to be standard, but aren't
- currently implemented by one or more of the our target
+ currently implemented by one or more of the target
compilers:</para>
<itemizedlist>
compilers:</para>
<itemizedlist>
</listitem>
<listitem>
<para>Concurrent Haskell (pre-emptive multitasking
</listitem>
<listitem>
<para>Concurrent Haskell (pre-emptive multitasking
- optional). Hugs implements this, but Nhc currently does
- not.</para>
+ optional). GHC and Hugs implement this, but Nhc currently
+ does not.</para>
</listitem>
</itemizedlist>
<para>The following extensions are not likely to become part of
the baseline, but are nevertheless used by one or more libraries
</listitem>
</itemizedlist>
<para>The following extensions are not likely to become part of
the baseline, but are nevertheless used by one or more libraries
- in the core set:</para>
+ in the core set (which are thus designated non-portable):</para>
<itemizedlist>
<listitem>
<itemizedlist>
<listitem>
-- Stability : experimental | provisional | stable
-- Portability : portable | non-portable (<replaceable>reason(s)</replaceable>)
--
-- Stability : experimental | provisional | stable
-- Portability : portable | non-portable (<replaceable>reason(s)</replaceable>)
--
--- $Id: libraries.sgml,v 1.4 2001/07/05 13:52:49 simonmar Exp $
+-- $Id: libraries.sgml,v 1.5 2001/08/30 13:36:00 simonmar Exp $
--
-- <replaceable>Description</replaceable>
-----------------------------------------------------------------------------
--
-- <replaceable>Description</replaceable>
-----------------------------------------------------------------------------
<variablelist>
<varlistentry>
<variablelist>
<varlistentry>
- <term><literal>$Id: libraries.sgml,v 1.4 2001/07/05 13:52:49 simonmar Exp $</literal></term>
+ <term><literal>$Id: libraries.sgml,v 1.5 2001/08/30 13:36:00 simonmar Exp $</literal></term>
<listitem>
<para>is optional, but usually included if the module is
under CVS or RCS control.</para>
<listitem>
<para>is optional, but usually included if the module is
under CVS or RCS control.</para>
encode an error condition and a normal result,
<literal>Left</literal> is used for the former and
<literal>Right</literal> for the latter, see
encode an error condition and a normal result,
<literal>Left</literal> is used for the former and
<literal>Right</literal> for the latter, see
- e.g. <literal>MonadEither</literal>.</para>
+ e.g. <literal>Control.Monad.Error</literal>.</para>
- <para> A module corresponding to a class
+ <para>A module corresponding to a class
(e.g. <literal>Bits</literal>) contains the class
definition, perhaps some auxiliary functions, and all
sensible instances for Prelude types, but nothing
(e.g. <literal>Bits</literal>) contains the class
definition, perhaps some auxiliary functions, and all
sensible instances for Prelude types, but nothing
- <para> Record-like C bit fields or structs have a
+ <para>Record-like C bit fields or structs have a
record-like interface, i.e. pure getting and setting of
fields. (<emphasis>TODO</emphasis>: Clarify a little
bit. Add examples.)</para>
</listitem>
<listitem>
record-like interface, i.e. pure getting and setting of
fields. (<emphasis>TODO</emphasis>: Clarify a little
bit. Add examples.)</para>
</listitem>
<listitem>
- <para> Although the possibility of partial application
+ <para>Although the possibility of partial application
suggests the type
<literal><replaceable>attr</replaceable> -> <replaceable>object</replaceable> -> <replaceable>object</replaceable></literal>
suggests the type
<literal><replaceable>attr</replaceable> -> <replaceable>object</replaceable> -> <replaceable>object</replaceable></literal>
Ix -> Data.Ix
Locale -> System.Locale
Monad -> Data.Monad
Ix -> Data.Ix
Locale -> System.Locale
Monad -> Data.Monad
+ Random -> System.Random
Ratio -> Data.Ratio
Time -> System.Time
</screen>
Ratio -> Data.Ratio
Time -> System.Time
</screen>