[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