Project

General

Profile

Revision 01c7d5e1 src/normalization.ml

View differences:

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