From e6120f49ee825c1094d0941d5ceed261f64d8873 Mon Sep 17 00:00:00 2001
From: sewardj <unknown>
Date: Fri, 24 Aug 2001 13:50:03 +0000
Subject: [PATCH] [project @ 2001-08-24 13:50:03 by sewardj] Fill in details
 for 5.02.

---
 ghc/docs/users_guide/5-02-notes.sgml |   66 ++++++++++++++++++++++------------
 ghc/docs/users_guide/ghci.sgml       |    2 +-
 ghc/docs/users_guide/packages.sgml   |    2 +-
 3 files changed, 45 insertions(+), 25 deletions(-)

diff --git a/ghc/docs/users_guide/5-02-notes.sgml b/ghc/docs/users_guide/5-02-notes.sgml
index 82ce34e..3d8042f 100644
--- a/ghc/docs/users_guide/5-02-notes.sgml
+++ b/ghc/docs/users_guide/5-02-notes.sgml
@@ -49,18 +49,19 @@
         <para>New option <option>-package-conf
         <replaceable>file</replaceable></option>.  This makes GHC read
         additional package descriptions from
-        <replaceable>file</replaceable>.</para>
+        <replaceable>file</replaceable>.  See <xref
+        linkend="using-local-packages">.</para>
       </listitem>
 
       <listitem>
 	<para><option>+RTS
-	-i<replaceable>seconds</replaceable></option> flag reinstated
-	for heap profiling.</para>
+          -i<replaceable>seconds</replaceable></option> flag reinstated for heap
+          profiling.  See <xref linkend="prof-rts-options">.</para>
       </listitem>
 
       <listitem>
 	<para><option>-funbox-strict-fields</option> now works
-	correctly.</para>
+	correctly.  See <xref linkend="options-f">.</para>
       </listitem>
 
       <listitem>
@@ -70,7 +71,18 @@
 
       <listitem>
 	<para>
-        Data declarations with no constructors are allowed.</para>
+        Data declarations with no constructors are allowed.  This
+        facilitates types whose only value is bottom, and which have
+        no representation.</para>
+      </listitem>
+
+      <listitem>
+	<para>
+        You can disconnect numeric syntax from the Prelude syntax.
+        Doing this means you can define your own arithmetic.  The
+        relevant flag is <option>-fno-implicit-prelude</option>.  See
+        <xref linkend="options-language">.
+        </para>
       </listitem>
 
     </itemizedlist>
@@ -92,12 +104,14 @@
 
       <listitem>
 	<para>New interpreter command <literal>:add</literal>, to add
-	modules to the current bunch.</para>
+	modules to the current bunch.  See
+        <xref linkend="ghci-commands">.</para>
       </listitem>
 
       <listitem>
 	<para>New interpreter command <literal>:info</literal>, to provide
-	information on values, types and classes, a la Hugs.</para>
+	information on values, types and classes, a la Hugs.  See
+        <xref linkend="ghci-commands">.</para>
       </listitem>
 
       <listitem>
@@ -105,12 +119,14 @@
 	multiple modules for the <literal>:add</literal> and
 	<literal>:load</literal> commands.  From the command line, you
 	may specify multiple modules when starting GHCi and when
-	compiling in <option>--make</option> mode.</para>
+	compiling in <option>--make</option> mode.  See
+        <xref linkend="ghci-commands">.</para>
       </listitem>
 
       <listitem>
 	<para>New flags <option>-ignore-dot-ghci</option> and
-	<option>-read-dot-ghci</option>.</para>
+	<option>-read-dot-ghci</option>.  See
+        <xref linkend="ghci-dot-files">.</para>
       </listitem>
 
       <listitem>
@@ -119,7 +135,7 @@
 	<option>-L<replaceable>library-path</replaceable></option> and
 	<option>-l<replaceable>library-name</replaceable></option> to
 	specify libraries to be loaded into the interactive
-	session.</para>
+	session.  See <xref linkend="ghci-invokation">.</para>
       </listitem>
 
     </itemizedlist>
@@ -224,19 +240,26 @@
       <!-- don't forget: 31-bit support -->
 
       <listitem>
-	<para>Support for hierarchical module names.</para>
-      </listitem>
-
-      <listitem>
-         <para>.NET code generator.</para>
+	<para>Partial support for hierarchical module names.</para>
       </listitem>
 
       <listitem>
-         <para>Emission of external Core format.</para>
+         <para>Mucho hacking on the .NET code generator, including
+         some FFI extensions for .NET interop.  It's still
+         severely b0rk3d, so won't do anything useful.  Yet.</para>
       </listitem>
 
       <listitem>
-         <para>Experimental FFI extensions.</para>
+         <para>Emission of external Core format.  The goal is for
+         other tools to be able to grab the Core resulting from GHC's
+         front end manglings and optimisations.  Core format is
+         formally defined by the document <replaceable>An External
+         Representation of the GHC Core Language</replaceable> in the
+         GHC repository.  We also have sample
+         tools for reading, writing and typechecking external Core.
+         Ultimately we plan that Core files can also be read by
+         GHC.  The relevant flag is <option>-fext-core</option>.
+         </para>
       </listitem>
 
       <listitem>
@@ -246,7 +269,9 @@
 	memory gets tight by setting the maximum heap size (see <xref
 	linkend="rts-options-gc">).  Compaction works together with
 	the existing generational scheme: it is only used on the
-	oldest generation.</para>
+	oldest generation.  Despite the "experimental"
+	classification, we've jumped up and down quite significantly
+	on this code, and it seems stable.</para>
       </listitem>
     </itemizedlist>
   </sect2>
@@ -273,11 +298,6 @@
         which is alleged to help it generate better code.</para>
       </listitem>
 
-      <listitem>
-	<para>Improved temporary (<literal>alloca</literal>-style)
-	memory support in the RTS: pinned objects.</para>
-      </listitem>
-
     </itemizedlist>
   </sect2>
 
diff --git a/ghc/docs/users_guide/ghci.sgml b/ghc/docs/users_guide/ghci.sgml
index 6c65538..a82782f 100644
--- a/ghc/docs/users_guide/ghci.sgml
+++ b/ghc/docs/users_guide/ghci.sgml
@@ -525,7 +525,7 @@ Wed Mar 14 12:23:13 GMT 2001
     </sect2>
   </sect1>
 
-  <sect1>
+  <sect1 id="ghci-invokation">
     <title>Invoking GHCi</title>
     <indexterm><primary>invoking</primary><secondary>GHCi</secondary></indexterm>
     <indexterm><primary><option>--interactive</option></primary></indexterm>
diff --git a/ghc/docs/users_guide/packages.sgml b/ghc/docs/users_guide/packages.sgml
index e2b53e3..1a98edd 100644
--- a/ghc/docs/users_guide/packages.sgml
+++ b/ghc/docs/users_guide/packages.sgml
@@ -50,7 +50,7 @@
       automatically get <literal>-package lang</literal> too.</para>
     </sect2>
 
-    <sect2>
+    <sect2 id="using-local-packages">
       <title>Maintaining a local set of packages</title>
       
       <para>When GHC starts up, it automatically reads the default set
-- 
1.7.10.4