From 2865abc3b3afd220a17e3420567183e5d2372825 Mon Sep 17 00:00:00 2001
From: apt <unknown>
Date: Thu, 6 Sep 2001 14:41:21 +0000
Subject: [PATCH] [project @ 2001-09-06 14:41:21 by apt] add pointer to
 primops.txt documentation feature

---
 ghc/docs/comm/rts-libs/primitives.html |    7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/ghc/docs/comm/rts-libs/primitives.html b/ghc/docs/comm/rts-libs/primitives.html
index 19095b4..bcd67e1 100644
--- a/ghc/docs/comm/rts-libs/primitives.html
+++ b/ghc/docs/comm/rts-libs/primitives.html
@@ -53,7 +53,12 @@
       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
-- 
1.7.10.4