Project

General

Profile

Revision d3e4c22f src/normalization.ml

View differences:

src/normalization.ml
196 196
  | Expr_uclock _
197 197
  | Expr_dclock _ 
198 198
  | Expr_phclock _ -> assert false (* Not handled yet *)
199

  
199
(* Creates a conditional with a merge construct, which is more lazy *)
200
(*
201
let norm_conditional_as_merge alias node norm_expr offsets defvars expr =
202
 match expr.expr_desc with
203
 | Expr_ite (c, t, e) ->
204
   let defvars, norm_t = norm_expr (alias node offsets defvars t in
205
 | _ -> assert false
206
*)
200 207
and normalize_branches node offsets defvars hl =
201 208
 List.fold_right
202 209
   (fun (t, h) (defvars, norm_q) ->
......
308 315
  match decl.top_decl_desc with
309 316
  | Node nd ->
310 317
    {decl with top_decl_desc = Node (normalize_node nd)}
311
  | Open _ | ImportedNode _ | ImportedFun _ | Consts _ -> decl
318
  | Open _ | ImportedNode _ | Consts _ -> decl
312 319
  
313 320
let normalize_prog decls = 
314 321
  List.map normalize_decl decls

Also available in: Unified diff