Skip to content
Snippets Groups Projects
Commit ed439b11 authored by Erwan Jahier's avatar Erwan Jahier
Browse files

issue #6 fixed!

parent 35da0af5
No related tags found
1 merge request!1WIP: Resolve "Can not iterate over the plus node (as long as it is named plus)"
Pipeline #9504 passed
(** Time-stamp: <modified the 20/02/2017 (at 11:30) by Erwan Jahier> *) (** Time-stamp: <modified the 04/07/2018 (at 09:59) by Erwan Jahier> *)
open Lxm open Lxm
open Lic open Lic
...@@ -334,11 +334,12 @@ let (create_map_body: local_ctx -> Lic.static_arg list -> Lic.node_body * var_in ...@@ -334,11 +334,12 @@ let (create_map_body: local_ctx -> Lic.static_arg list -> Lic.node_body * var_in
let cl = let cl =
List.map (fun l -> snd (Lic.var_info_of_left l).var_clock_eff) lhs List.map (fun l -> snd (Lic.var_info_of_left l).var_clock_eff) lhs
in in
let p,n = fst iter_node.it in
let rhs = { let rhs = {
ve_typ = List.map Lic.type_of_left lhs; ve_typ = List.map Lic.type_of_left lhs;
ve_clk = cl; ve_clk = cl;
ve_core = ve_core =
if AstPredef.is_a_predef_op (snd(fst iter_node.it)) then if p="Lustre" && AstPredef.is_a_predef_op n then
CallByPosLic({src=lxm;it=(Lic.PREDEF_CALL iter_node)}, xi_j) CallByPosLic({src=lxm;it=(Lic.PREDEF_CALL iter_node)}, xi_j)
else else
CallByPosLic({src=lxm;it=(CALL iter_node)}, xi_j); CallByPosLic({src=lxm;it=(CALL iter_node)}, xi_j);
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment