[m-rev.] for review: <changed RTTI definition in glossary. Added HTML link>

[Nicholas David WATMOUGH]

Estimated hours taken: 0.5

mercury/compiler/notes/glossary.html:
	- Removed reference to LLDS in the RTTI definition
	- Created link to a paper on RTTI in Mercury

Sorry, but this is not a relative diff, as I did not keep a copy of the
first diff. Therefore it incorporates all the differences of both changes
I have made to the glossary file.

Index: glossary.html
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/notes/glossary.html,v
retrieving revision 1.4
diff -u -r1.4 glossary.html
--- glossary.html	12 Nov 1999 09:12:24 -0000	1.4
+++ glossary.html	11 Dec 2001 01:39:24 -0000
@@ -24,17 +24,13 @@
 	<dd>
 	The typeclass constraints on a predicate or function.
 
-<dt> HLDS 
-	<dd>
-	The "High Level Data Structure".  See hlds.m.
-
-<dt> moduleinfo 
+<dt> codeinfo
 	<dd>
-	Another name for the HLDS.
+	a structure used by codegen.m
 
-<dt> LLDS
+<dt> HLDS 
 	<dd>
-	The "Low Level Data Structure".  See llds.m.
+	The "High Level Data Structure".  See hlds.m.
 
 <dt> inst
 	<dd>
@@ -61,6 +57,10 @@
 	ought to affect liveness).
 	</ol>
 
+<dt> LLDS
+	<dd>
+	The "Low Level Data Structure".  See llds.m.
+
 <dt> mode 
 	<dd>
 	this has two meanings:
@@ -72,28 +72,29 @@
 		(the mode of a predicate)
 	</ol>
 	
-<dt> proc (procedure)
-	<dd>
-	a particular mode of a predicate.
-
-<dt> procinfo 
+<dt> moduleinfo 
 	<dd>
-	the structure in HLDS which contains
-	information about a procedure.
+	Another name for the HLDS.
 
 <dt> predinfo
 	<dd>
 	the structure in HLDS which contains information about
 	a predicate.
 
-<dt> codeinfo
+<dt> proc (procedure)
 	<dd>
-	a structure used by codegen.m
+	a particular mode of a predicate.
 
-<dt> switch
+<dt> procinfo 
 	<dd>
-	a disjunction which does a case analysis on the toplevel
-	functor of some variable.
+	the structure in HLDS which contains
+	information about a procedure.
+
+<dt> RTTI
+	<dd>
+	The "RunTime Type Information". See rtti.m. A copy of a paper given
+	on this topic is available 
+	<a href="http://www.cs.mu.oz.au/research/mercury/information/papers/rtti_ppdp.ps.gz">here</a> in zipped Postscript format.
 
 <dt> super-homogenous form (SHF)
 	<dd>
@@ -101,6 +102,11 @@
 	each unification is split into its component pieces; in particular,
 	the arguments of each predicate call and functor must be distinct
 	variables.
+
+<dt> switch
+	<dd>
+	a disjunction which does a case analysis on the toplevel
+	functor of some variable.
 </dl>
 
 <hr>

Thanks,
Nicolas


--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------