From bbb8e2e286fec96012a7d384df308bf45fbb89cb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= <cedric.pasteur@m4x.org>
Date: Wed, 21 Jul 2010 17:20:19 +0200
Subject: [PATCH] Do not forget to normalize iterators

---
 compiler/minils/transformations/normalize.ml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/compiler/minils/transformations/normalize.ml b/compiler/minils/transformations/normalize.ml
index 3a62e66..e95ed15 100644
--- a/compiler/minils/transformations/normalize.ml
+++ b/compiler/minils/transformations/normalize.ml
@@ -145,8 +145,9 @@ let add context expected_kind ({ e_desc = de } as e) =
     | _ , VRef -> true
     | Eapp ({ a_op = Efun n }, _, _),
         (Exp|Act) when is_op n -> false
-    | ( Emerge _ | Eapp _ | Efby _ ), Exp -> true
-    | ( Eapp({ a_op = Efun _ | Enode _ }, _, _) | Efby _ ), Act -> true
+    | ( Emerge _ | Eapp _ | Eiterator | Efby _ ), Exp -> true
+    | ( Eapp({ a_op = Efun _ | Enode _ }, _, _)
+      | Eiterator | Efby _ ), Act -> true
     | _ -> false in
   if up then
     let context, n = equation context e in