jeltz/heptagon
1
0
Fork 0
Code Issues Pull requests Releases Activity

Re enable Initialization

Browse source 
That was easy to fix...
This commit is contained in:
Cédric Pasteur 2010-09-15 09:58:35 +02:00
parent db732621a1
commit 65f1a076d8
2 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
compiler/heptagon/analysis/initialization.ml
View file

@ -231,7 +231,7 @@ and apply h op e_list =
| Etuple, _ -> assert false | Etuple, _ -> assert false
(** TODO: init of safe/unsafe nodes (** TODO: init of safe/unsafe nodes
This is a tmp fix so that pre x + 1 works.*) This is a tmp fix so that pre x + 1 works.*)
| (Eequal | Efun (Modname { qual = "Pervasives" })), e_list -> | (Eequal | Efun { qual = "Pervasives" }), e_list ->
List.fold_left (fun acc e -> itype (typing h e)) izero e_list List.fold_left (fun acc e -> itype (typing h e)) izero e_list
| _ , e_list -> | _ , e_list ->
List.iter (fun e -> initialized_exp h e) e_list; izero List.iter (fun e -> initialized_exp h e) e_list; izero

4
compiler/heptagon/main/hept_compiler.ml
View file

@ -44,8 +44,8 @@ let compile_impl pp p =
(* Causality check *) (* Causality check *)
let p = silent_pass "Causality check" true Causality.program p in let p = silent_pass "Causality check" true Causality.program p in
(* Initialization check *)(* (* Initialization check *)
let p = silent_pass "Initialization check" !init Initialization.program p in*) let p = silent_pass "Initialization check" !init Initialization.program p in
(* Completion of partial definitions *) (* Completion of partial definitions *)
let p = pass "Completion" true Completion.program p pp in let p = pass "Completion" true Completion.program p pp in