[m-rev.] trivial diff: fix promise_semipure

David Jeffery dgj at missioncriticalit.com
Fri May 3 02:25:04 AEST 2002


--------------------------------------------------------------------------
Estimated hours taken: 0.1

compiler/module_qual.m:
        Fix a typo that was causing all 'promise_semipure' declarations to
        be turned into 'promise_pure' declarations during module
qualification.
        This has probably stopped all uses of 'promise_semipure' from
        working...
--------------------------------------------------------------------------
Index: module_qual.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/module_qual.m,v
retrieving revision 1.77
diff -u -t -r1.77 module_qual.m
--- module_qual.m       20 Mar 2002 12:36:58 -0000      1.77
+++ module_qual.m       2 May 2002 15:58:17 -0000
@@ -965,8 +965,8 @@
                 Info, Info) --> [].
 qualify_pragma(promise_pure(SymName, Arity), promise_pure(SymName, Arity),
                 Info, Info) --> [].
-qualify_pragma(promise_semipure(SymName, Arity), promise_pure(SymName,
Arity),
-                Info, Info) --> [].
+qualify_pragma(promise_semipure(SymName, Arity),
+                promise_semipure(SymName, Arity), Info, Info) --> [].
 qualify_pragma(termination_info(PredOrFunc, SymName, ModeList0, Args,
Term),
                 termination_info(PredOrFunc, SymName, ModeList, Args,
Term),
                 Info0, Info) -->
cvs server: Diffing notes


dgj
---
David Jeffery (dgj at missioncriticalit.com)
Software Engineer,
Mission Critical

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