[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