[m-rev.] diff: type_ctor_needs_lowlevel_rep

[Peter Ross]

Hi,

This change has been submitted seperately so that I can easily extend the
functionality of rtti_implementation.m to handle new parts of the RTTI.

===================================================================


Estimated hours taken: 0.5
Branches: main

compiler/ml_util.m:
	Make all types in rtti_implemenation.m low-level, as this
	allows us to add new types to rtti_implemenation easily.

Index: ml_util.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/ml_util.m,v
retrieving revision 1.22
diff -u -r1.22 ml_util.m
--- ml_util.m	19 Jul 2002 14:52:47 -0000	1.22
+++ ml_util.m	27 Nov 2002 13:28:50 -0000
@@ -630,16 +630,10 @@
 	; TypeName = qualified(PrivateBuiltin, "typeclass_info")
 	; TypeName = qualified(PrivateBuiltin, "type_info")
 
-	; TypeName = qualified(RttiImplementation, "arg_types")
-	; TypeName = qualified(RttiImplementation, "du_functor_descriptor")
-	; TypeName = qualified(RttiImplementation, "exist_info")
-	; TypeName = qualified(RttiImplementation, "ptag_entry")
-	; TypeName = qualified(RttiImplementation, "sectag_locn")
-	; TypeName = qualified(RttiImplementation, "typeinfo_locn")
-	; TypeName = qualified(RttiImplementation, "type_ctor_info")
-	; TypeName = qualified(RttiImplementation, "type_ctor_rep")
-	; TypeName = qualified(RttiImplementation, "type_info")
-	; TypeName = qualified(RttiImplementation, "type_layout")
+		% Use lowlevel types for all types in rtti_implementation
+		% as this allows as to add new types needed to manipulate
+		% the RTTI types safely easily.
+	; TypeName = qualified(RttiImplementation, _)
 
 	; TypeName = qualified(TypeDesc, "type_desc")
 	; TypeName = qualified(TypeDesc, "type_ctor_desc")

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