CristalCaveGem » LustreC

(* Generate a new local [node] variable *)

let mk_fresh_var node loc ty ck =

  let rec aux () =

  incr cpt_fresh;

  let s = Printf.sprintf "__%s_%d" node.node_id !cpt_fresh in

    let defvars, norm_hl = normalize_branches node offsets defvars hl in

    let norm_expr = mk_norm_expr offsets expr (Expr_merge (c, norm_hl)) in

    mk_expr_alias_opt alias node defvars norm_expr

(* Creates a conditional with a merge construct, which is more lazy *)

(*

let norm_conditional_as_merge alias node norm_expr offsets defvars expr =