Revision 0038002e src/normalization.ml
src/normalization.ml | ||
---|---|---|
74 | 74 |
|
75 | 75 |
(* Generate a new local [node] variable *) |
76 | 76 |
let mk_fresh_var node loc ty ck = |
77 |
let vars = node_vars node in |
|
77 |
let vars = get_node_vars node in
|
|
78 | 78 |
let rec aux () = |
79 | 79 |
incr cpt_fresh; |
80 | 80 |
let s = Printf.sprintf "__%s_%d" node.node_id !cpt_fresh in |
... | ... | |
240 | 240 |
let defvars, norm_hl = normalize_branches node offsets defvars hl in |
241 | 241 |
let norm_expr = mk_norm_expr offsets expr (Expr_merge (c, norm_hl)) in |
242 | 242 |
mk_expr_alias_opt alias node defvars norm_expr |
243 |
| Expr_uclock _ |
|
244 |
| Expr_dclock _ |
|
245 |
| Expr_phclock _ -> assert false (* Not handled yet *) |
|
243 |
|
|
246 | 244 |
(* Creates a conditional with a merge construct, which is more lazy *) |
247 | 245 |
(* |
248 | 246 |
let norm_conditional_as_merge alias node norm_expr offsets defvars expr = |
Also available in: Unified diff