[m-rev.] for review: <added definition to glossary.html>

Nicholas David WATMOUGH ndw at students.cs.mu.oz.au
Thu Dec 6 16:04:36 AEDT 2001


mercury/compiler/notes/glossary.html:
	- Added definition for RTTI to the glossary. 
	- Reordered the terms in the glossary so that they are in 
	  alphabetical order.


The diff below is quite extensive, as the reordering of the list required
moving chunks of HTML code around, but the only actual change to the
content was in the new definition added.


diff -u -r1.4 glossary.html
--- glossary.html       12 Nov 1999 09:12:24 -0000      1.4
+++ glossary.html       6 Dec 2001 04:52:08 -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,27 @@
                (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", which is part of the LLDS. See
rtti.m.

 <dt> super-homogenous form (SHF)
        <dd>
@@ -101,6 +100,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>



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
--------------------------------------------------------------------------



More information about the reviews mailing list