[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