[m-dev.] op/3 changes (5 of 5): diff -u compiler/prog_io_typeclass.m

doug.auclair at logicaltypes.com doug.auclair at logicaltypes.com
Fri Feb 3 06:26:03 AEDT 2006


--- prog_io_typeclass.m.~1.33.2.1.~     2006-02-02 07:41:10.000000000 -0500
+++ prog_io_typeclass.m 2006-02-02 07:41:00.000000000 -0500
@@ -43,11 +43,12 @@
 
 :- import_module parse_tree__prog_io.
 :- import_module parse_tree__prog_io_goal.
+:- import_module parse_tree__prog_io_util.
 :- import_module parse_tree__prog_util.
 :- import_module parse_tree__prog_type.
 
 :- import_module term, varset.
-:- import_module int, string, std_util, require, set, map.
+:- import_module int, string, std_util, require, set, map, ops.
 
 parse_typeclass(ModuleName, VarSet, TypeClassTerm, Result) :-
                %XXX should return an error if we get more than one arg,
@@ -197,8 +198,10 @@
        ->
                list__map((pred(MethodTerm::in, Method::out) is det :-
                                % Turn the term into an item
+                               init_mercury_op_map(init_mercury_op_table,
+                                                   OpMap),
                                parse_decl(ModuleName, VarSet, MethodTerm,
-                                       Item),
+                                       Item, OpMap, _),
                                % Turn the item into a class_method
                                item_to_class_method(Item, MethodTerm, Method)
                        ), MethodList, Interface),
@@ -674,7 +677,9 @@
                % the module name of the class, we will pick that up later,
                % in check_typeclass.m.)
                DefaultModuleName = unqualified(""),
-               parse_item(DefaultModuleName, VarSet, MethodTerm, Result0),
+         init_mercury_op_map(init_mercury_op_table, OpMap),
+               parse_item(DefaultModuleName, VarSet, MethodTerm, Result0,
+                          OpMap, _),
                (
                        Result0 = ok(Item, Context),
                        Item = clause(_VarNames, PredOrFunc,


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



More information about the developers mailing list