From 65f1a076d86fc3cf5ef8e5a8dd0549f38d04bc49 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= Date: Wed, 15 Sep 2010 09:58:35 +0200 Subject: [PATCH] Re enable Initialization That was easy to fix... --- compiler/heptagon/analysis/initialization.ml | 2 +- compiler/heptagon/main/hept_compiler.ml | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/compiler/heptagon/analysis/initialization.ml b/compiler/heptagon/analysis/initialization.ml index 045dc96..d8def9b 100644 --- a/compiler/heptagon/analysis/initialization.ml +++ b/compiler/heptagon/analysis/initialization.ml @@ -231,7 +231,7 @@ and apply h op e_list = | Etuple, _ -> assert false (** TODO: init of safe/unsafe nodes 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 | _ , e_list -> List.iter (fun e -> initialized_exp h e) e_list; izero diff --git a/compiler/heptagon/main/hept_compiler.ml b/compiler/heptagon/main/hept_compiler.ml index 29bde2e..0a358a2 100644 --- a/compiler/heptagon/main/hept_compiler.ml +++ b/compiler/heptagon/main/hept_compiler.ml @@ -44,8 +44,8 @@ let compile_impl pp p = (* Causality check *) let p = silent_pass "Causality check" true Causality.program p in - (* Initialization check *)(* - let p = silent_pass "Initialization check" !init Initialization.program p in*) + (* Initialization check *) + let p = silent_pass "Initialization check" !init Initialization.program p in (* Completion of partial definitions *) let p = pass "Completion" true Completion.program p pp in