[m-rev.] trivial diff: fix handling of stm_builtin

Julien Fischer juliensf at csse.unimelb.edu.au
Thu Aug 23 14:29:45 AEST 2007


Estimated hours taken: 0.1
Branches: main

mdbcomp/prim_data.m:
 	Handle stm_builtin as builtin module.

Julien.

Index: prim_data.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/mdbcomp/prim_data.m,v
retrieving revision 1.22
diff -u -r1.22 prim_data.m
--- prim_data.m	12 Jun 2007 03:42:05 -0000	1.22
+++ prim_data.m	23 Aug 2007 04:27:59 -0000
@@ -196,6 +196,12 @@
      % RBMM is enabled.
      %
  :- func mercury_region_builtin_module = sym_name.
+ 
+    % Returns the name of the module containing builtins for software
+    % transactional memory.
+    % This module is automatically imported iff STM is used in a module.
+    % 
+:- func mercury_stm_builtin_module = sym_name.

      % Returns the name of the module containing builtins for tabling;
      % originally these were in "private_builtin", but were then moved into
@@ -306,6 +312,7 @@
          mercury_public_builtin_module,
          mercury_private_builtin_module,
          mercury_region_builtin_module,
+        mercury_stm_builtin_module,
          mercury_table_builtin_module,
          mercury_profiling_builtin_module,
          mercury_term_size_prof_builtin_module,
@@ -318,6 +325,7 @@
  mercury_public_builtin_module = unqualified("builtin").
  mercury_private_builtin_module = unqualified("private_builtin").
  mercury_region_builtin_module = unqualified("region_builtin").
+mercury_stm_builtin_module = unqualified("stm_builtin").
  mercury_table_builtin_module = unqualified("table_builtin").
  mercury_profiling_builtin_module = unqualified("profiling_builtin").
  mercury_term_size_prof_builtin_module = unqualified("term_size_prof_builtin").

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