[m-rev.] diff: fix omission and update comments in mercury_type_info.h

[Zoltan Somogyi]

runtime/mercury_type_info.h:
	Add two missing entries to the list of printable names for
	MR_TypeCtorReps.

	Fix some out of date comments.

Zoltan.

Index: mercury_type_info.h
===================================================================
RCS file: /home/mercury1/repository/mercury/runtime/mercury_type_info.h,v
retrieving revision 1.79
diff -u -b -r1.79 mercury_type_info.h
--- mercury_type_info.h	2002/01/12 09:08:12	1.79
+++ mercury_type_info.h	2002/01/17 04:52:09
@@ -532,14 +532,15 @@
 	MR_PASTE2(x, _dummy) = MR_PASTE2(x, _val)
 
 /*
-** MR_DataRepresentation is the representation for a particular type
-** constructor.  For the cases of MR_TYPE_CTOR_REP_DU and
-** MR_TYPE_CTOR_REP_DU_USEREQ, the exact representation depends on the tag
-** value -- lookup the tag value in type_ctor_layout to find out this
-** information.
+** MR_TypeCtorRep specifies the representation scheme for a particular type
+** constructor.
 **
-** Any changes in this definition might also require changes in
+** Any changes in this definition will also require changes in
+** MR_CTOR_REP_NAMES below, and may also require changes in
 ** library/rtti_implementation.m and runtime/mercury_mcpp.{h,cpp}
+** Additions to the end of this enum can be handled naturally,
+** but changes in the meanings of already assigned values
+** require bootstrapping with RTTI-version-dependent code.
 */
 
 typedef enum {
@@ -629,6 +630,8 @@
     "NOTAG_GROUND_USEREQ",                      \
     "EQUIV_GROUND",                             \
     "TUPLE",                                    \
+    "RESERVED_ADDR",                            \
+    "RESERVED_ADDR_USEREQ",                     \
     "UNKNOWN"
 
 #define MR_type_ctor_rep_is_basically_du(rep)               \
@@ -748,7 +751,7 @@
 **
 ** If the functor has any arguments whose types include existentially
 ** quantified type variables, the exist_info field will point to information
-** about those type variable; otherwise, the exist_info field will be NULL.
+** about those type variables; otherwise, the exist_info field will be NULL.
 */
 
 typedef enum {
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------