[m-dev.] for review: ops.m ROTD; 1 of 5

[doug.auclair at logicaltypes.com]

Dear all,

Here are the diffs to implement the op/3 directive for Mercury against the ROTD (2006-02-11).  First file library/ops.m.

Sincerely,
Doug Auclair

--- ops.m.~1.57.~	2005-11-14 23:59:23.000000000 -0500
+++ ops.m	2006-02-15 23:43:28.000000000 -0500
@@ -155,6 +155,12 @@
     % The old names are no longer appropriate.
 :- type ops__table == ops__mercury_op_table.
 
+	% ops__category is used to index the op_table so that
+	% lookups are semidet rather than nondet.
+	% Prefix and binary_prefix operators have ops__category `before'.
+	% Infix and postfix operators have ops__category `after'.
+:- type ops__category ---> before ; after.
+
 %-----------------------------------------------------------------------------%
 
 :- implementation.
@@ -173,14 +179,6 @@
 :- type ops__mercury_op_table
     --->    ops__mercury_op_table.
 
-    % ops__category is used to index the op_table so that
-    % lookups are semidet rather than nondet.
-    % Prefix and binary_prefix operators have ops__category `before'.
-    % Infix and postfix operators have ops__category `after'.
-:- type ops__category
-    --->    before
-    ;       after.
-
 ops__init_mercury_op_table = ops__mercury_op_table.
 
 :- instance ops__op_table(ops__mercury_op_table) where [


--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------