[m-rev.] diff: erl_call_gen.m

Zoltan Somogyi zs at unimelb.edu.au
Fri Apr 13 17:18:30 AEST 2012


compiler/erl_call_gen.m:
	Rename some insts to avoid name clashes. Move them before their uses.

Zoltan.

cvs diff: Diffing .
Index: erl_call_gen.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/compiler/erl_call_gen.m,v
retrieving revision 1.19
diff -u -b -r1.19 erl_call_gen.m
--- erl_call_gen.m	23 May 2011 05:08:02 -0000	1.19
+++ erl_call_gen.m	12 Apr 2012 10:21:39 -0000
@@ -38,26 +38,26 @@
     list(mer_type)::in, code_model::in, prog_context::in, maybe(elds_expr)::in,
     elds_expr::out, erl_gen_info::in, erl_gen_info::out) is det.
 
+:- inst ground_higher_order
+    --->    higher_order(ground, ground, ground, ground).
+
     % Generate ELDS code for a higher order call.
     %
-:- pred erl_gen_higher_order_call(generic_call::in(higher_order),
+:- pred erl_gen_higher_order_call(generic_call::in(ground_higher_order),
     prog_vars::in, list(mer_mode)::in, determinism::in, prog_context::in,
     maybe(elds_expr)::in, elds_expr::out,
     erl_gen_info::in, erl_gen_info::out) is det.
 
-:- inst higher_order
-    --->    higher_order(ground, ground, ground, ground).
+:- inst ground_class_method
+    --->    class_method(ground, ground, ground, ground).
 
     % Generate ELDS code for a class method call.
     %
-:- pred erl_gen_class_method_call(generic_call::in(class_method),
+:- pred erl_gen_class_method_call(generic_call::in(ground_class_method),
     prog_vars::in, list(mer_mode)::in, determinism::in, prog_context::in,
     maybe(elds_expr)::in, elds_expr::out,
     erl_gen_info::in, erl_gen_info::out) is det.
 
-:- inst class_method
-    --->    class_method(ground, ground, ground, ground).
-
     % Generate ELDS code for a call to a builtin procedure.
     %
 :- pred erl_gen_builtin(pred_id::in, proc_id::in, prog_vars::in,
--------------------------------------------------------------------------
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