[m-rev.] diff: disable parallel conjunction in trailing grades

[Julien Fischer]

Estimated hours taken: 0
Branches: main

Disable parallel conjunctions in trailing grades since those features
are not (yet) compatible with each other.

compiler/dep_par_conj.m:
 	In trailing grades treat parallel conjunctions as sequential
 	conjunctions.

Julien.

Index: compiler/dep_par_conj.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/compiler/dep_par_conj.m,v
retrieving revision 1.18
diff -u -r1.18 dep_par_conj.m
--- compiler/dep_par_conj.m	19 Jan 2007 07:04:10 -0000	1.18
+++ compiler/dep_par_conj.m	10 May 2007 05:27:43 -0000
@@ -194,8 +194,8 @@
      add_pending_par_procs(DoneParProcs, PendingProcs,
          ModuleInfo0, !ModuleInfo, !IO).

-    % Parallel conjunctions only supported on lowlevel C parallel
-    % grades.
+    % Parallel conjunctions only supported on lowlevel C parallel grades.
+    % They are not (currently) supported if trailing is enabled.
      %
  :- pred handle_par_conj(module_info::in) is semidet.

@@ -204,9 +204,11 @@
      globals.get_target(Globals, Target),
      globals.lookup_bool_option(Globals, highlevel_code, HighLevelCode),
      globals.lookup_bool_option(Globals, parallel, Parallel),
+    globals.lookup_bool_option(Globals, use_trail, UseTrail),
      Target = target_c,
      HighLevelCode = no,
-    Parallel = yes.
+    Parallel = yes,
+    UseTrail = no.

  %-----------------------------------------------------------------------------%



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