[project @ 2003-10-21 12:36:29 by simonpj]

[ghc-hetmet.git] / ghc / docs / comm / rts-libs / primitives.html

diff --git a/ghc/docs/comm/rts-libs/primitives.html b/ghc/docs/comm/rts-libs/primitives.html
index 19095b4..28abc79 100644 (file)
--- a/ghc/docs/comm/rts-libs/primitives.html
+++ b/ghc/docs/comm/rts-libs/primitives.html
@@ -37,9 +37,11 @@
     <p>
       As of (about) the development version 4.11, the types and various
       properties of primitive operations are defined in the file <a
-       href="http://cvs.haskell.org/cgi-bin/cvsweb.cgi/fptools/ghc/compiler/prelude/primops.txt"><code>primops.txt</code></a> 
+       href="http://cvs.haskell.org/cgi-bin/cvsweb.cgi/fptools/ghc/compiler/prelude/primops.txt.pp"><code>primops.txt.pp</code></a>.
       (Personally, I don't think that the <code>.txt</code> suffix is really
-      appropriate, as the file is used for automatic code generation).
+      appropriate, as the file is used for automatic code generation; the
+      recent addition of <code>.pp</code> means that the file is now mangled
+      by cpp.)
     <p>
       The utility <a
        href="http://cvs.haskell.org/cgi-bin/cvsweb.cgi/fptools/ghc/utils/genprimopcode/"><code>genprimopcode</code></a> 
@@ -53,10 +55,15 @@
       during the execution of the <code>boot</code> target in the
       <code>fptools/ghc/</code> directory.  This scheme significantly
       simplifies the maintenance of primitive operations.
-
+    <p> 
+      As of development version 5.02, the <code>primops.txt</code> file also allows the
+      recording of documentation about intended semantics of the primitives.  This can
+      be extracted into a latex document (or rather, into latex document fragments)
+      via an appropriate switch to <code>genprimopcode</code>. In particular, see <code>primops.txt</code>
+      for full details of how GHC is configured to cope with different machine word sizes.
     <p><small>
 <!-- hhmts start -->
-Last modified: Wed Aug  8 19:29:12 EST 2001
+Last modified: Mon Nov 26 18:03:16 EST 2001
 <!-- hhmts end -->
     </small>
   </body>