jeltz/heptagon
1
0
Fork 0
Code Issues Pull requests Releases Activity

Removed unused generic Mmethod in obc.

Browse source
This commit is contained in:
Léonard Gérard 2011-01-10 16:31:47 +01:00 committed by Léonard Gérard
parent d265d7a89b
commit 36ec30b3ff
3 changed files with 0 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
compiler/obc/c/cgen.ml
View file

@ -504,10 +504,6 @@ let rec cstm_of_act var_env obj_env act =
let outvl = clhss_of_lhss var_env outvl in
generate_function_call var_env obj_env outvl objn args
| Acall(_, o, Mmethod s, _) ->
let on = obj_ref_name o in
let obj = assoc_obj on obj_env in
Error.message obj.o_loc (Error.Eunknown_method s)
and cstm_of_act_list var_env obj_env b =
let l = List.map cvar_of_vd b.b_locals in

1
compiler/obc/obc.ml
View file

@ -61,7 +61,6 @@ type obj_ref =
type method_name =
| Mreset
| Mstep
| Mmethod of name
type act =
| Aassgn of pattern * exp

2
compiler/obc/obc_printer.ml
View file

@ -74,7 +74,6 @@ let print_obj_call ff = function
let print_method_name ff = function
| Mstep -> fprintf ff "step"
| Mreset -> fprintf ff "reset"
| Mmethod n -> fprintf ff "%s" n
let rec print_act ff a =
let print_lhs_tuple ff var_list = match var_list with
@ -122,7 +121,6 @@ and print_tag_act_list ff tag_act_list =
let print_method_name ff = function
| Mreset -> fprintf ff "reset"
| Mstep -> fprintf ff "step"
| Mmethod n -> fprintf ff "%s" n
let print_arg_list ff var_list =
fprintf ff "(@[%a@])" (print_list_r print_vd "" "," "") var_list