[m-rev.] diff: fix purity disagreement in dep_par_conj

Peter Wang wangp at students.cs.mu.oz.au
Mon Jul 31 14:30:55 AEST 2006


Estimated hours taken: 0.1
Branches: main

compiler/dep_par_conj.m:
        Fix a purity disagreement in generated calls to par_builtin.signal,
        which should be impure.

Index: compiler/dep_par_conj.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/dep_par_conj.m,v
retrieving revision 1.3
diff -u -r1.3 dep_par_conj.m
--- compiler/dep_par_conj.m     27 Jul 2006 05:01:01 -0000      1.3
+++ compiler/dep_par_conj.m     31 Jul 2006 04:22:13 -0000
@@ -431,7 +431,7 @@
     InstMapSrc = [],
     Context = term.context_init,
     goal_util.generate_simple_call(ModuleName, PredName, predicate,
-        only_mode, detism_det, purity_pure, Args, Features, InstMapSrc,
+        only_mode, detism_det, purity_impure, Args, Features, InstMapSrc,
         ModuleInfo, Context, SignalGoal).

     % Succeed if Var is a variable bound between InstMap and


--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------



More information about the reviews mailing list