[m-rev.] diff: constructor field names

Zoltan Somogyi zs at cs.mu.OZ.AU
Tue Dec 23 14:04:54 AEDT 2003


compiler/prog_data.m:
	Add field names to the constructor type.

Zoltan.

Index: prog_data.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/compiler/prog_data.m,v
retrieving revision 1.102
diff -u -b -r1.102 prog_data.m
--- prog_data.m	21 Dec 2003 05:04:37 -0000	1.102
+++ prog_data.m	22 Dec 2003 09:19:38 -0000
@@ -993,15 +993,15 @@
 	--->	du_type(list(constructor), is_solver_type, maybe(unify_compare))
 	;	eqv_type(type)
 	;	abstract_type(is_solver_type)
-	;	foreign_type(foreign_language_type, maybe(unify_compare))
-	.
+	;	foreign_type(foreign_language_type, maybe(unify_compare)).
 
 :- type constructor
 	--->	ctor(
-			existq_tvars,
-			list(class_constraint),	% existential constraints
-			sym_name,
-			list(constructor_arg)
+			cons_exist	:: existq_tvars,
+			cons_constraints :: list(class_constraint),
+					% existential constraints
+			cons_name	:: sym_name,
+			cons_args	:: list(constructor_arg)
 		).
 
 :- type constructor_arg	==
--------------------------------------------------------------------------
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