From 93fef027f06bd2a78a08c895236b3b23695533ba Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= Date: Thu, 15 Jul 2010 11:31:32 +0200 Subject: [PATCH] Keep the list of static parameters in Obc --- compiler/main/mls2obc.ml | 2 +- compiler/obc/obc.ml | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/compiler/main/mls2obc.ml b/compiler/main/mls2obc.ml index 2104765..a60398c 100644 --- a/compiler/main/mls2obc.ml +++ b/compiler/main/mls2obc.ml @@ -405,7 +405,7 @@ let translate_node let resetm = { m_name = Mreset; m_inputs = []; m_outputs = []; m_locals = []; m_body = si } in - { cd_name = f; cd_mems = m; + { cd_name = f; cd_mems = m; cd_params = params; cd_objs = j; cd_methods = [stepm; resetm]; cd_loc = loc } diff --git a/compiler/obc/obc.ml b/compiler/obc/obc.ml index 5657199..ed2d413 100644 --- a/compiler/obc/obc.ml +++ b/compiler/obc/obc.ml @@ -92,6 +92,7 @@ type class_def = { cd_name : class_name; cd_mems : var_dec list; cd_objs : obj_dec list; + cd_params : param list; cd_methods: method_def list; cd_loc : location }