[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