[m-rev.] trivial diff: fix valid/foreign_type_spec

[Julien Fischer]

Estimated hours taken: 0
Branches: main

Fix the failure of valid/foreign_type_spec.

library/stm_builtin.m:
 	Add Mercury definitions of the type tvar/1 and stm/0 for use with
 	the non-C backends.

Julien.

Index: stm_builtin.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/library/stm_builtin.m,v
retrieving revision 1.2
diff -u -r1.2 stm_builtin.m
--- stm_builtin.m	22 Aug 2007 08:19:21 -0000	1.2
+++ stm_builtin.m	22 Aug 2007 12:07:36 -0000
@@ -270,6 +270,14 @@

  :- pragma foreign_type("C", stm, "ML_Stm_TLog *", [can_pass_as_mercury_type]).

+    % Definitions for use with the other backends.
+    %
+:- type tvar(T)
+    --->    tvar(c_pointer).
+
+:- type stm
+    --->    stm(c_pointer).
+
  %----------------------------------------------------------------------------%

  :- pragma foreign_decl("C",

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