[m-rev.] diff: field names for clauses
Zoltan Somogyi
zs at cs.mu.OZ.AU
Tue Jun 24 02:57:29 AEST 2003
compiler/hlds_pred.m:
Add field names to the clauses type.
Zoltan.
cvs diff: Diffing .
Index: hlds_pred.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/hlds_pred.m,v
retrieving revision 1.127
diff -u -b -r1.127 hlds_pred.m
--- hlds_pred.m 27 May 2003 05:57:10 -0000 1.127
+++ hlds_pred.m 12 Jun 2003 12:53:23 -0000
@@ -225,17 +225,15 @@
% XXX we should use field names for clause
-:- type clause ---> clause(
- list(proc_id), % modes for which
- % this clause applies
- % (empty list means
- % it applies to all
+:- type clause --->
+ clause(
+ applicable_procs :: list(proc_id),
+ % modes for which this clause applies
+ % (empty list means it applies to all
% modes)
- hlds_goal, % Body
- implementation_language,
- % implementation
- % language
- prog_context
+ clause_body :: hlds_goal,
+ clause_lang :: implementation_language,
+ clause_context :: prog_context
).
%-----------------------------------------------------------------------------%
cvs diff: Diffing notes
--------------------------------------------------------------------------
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