From 9b18eb71a45679dbc842048b2bbfd9a0070cab13 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= Date: Fri, 25 Jun 2010 12:37:14 +0200 Subject: [PATCH] Operators can appear in the exp normal form --- compiler/minils/transformations/normalize.ml | 1 + 1 file changed, 1 insertion(+) diff --git a/compiler/minils/transformations/normalize.ml b/compiler/minils/transformations/normalize.ml index 329765a..24bf0ec 100644 --- a/compiler/minils/transformations/normalize.ml +++ b/compiler/minils/transformations/normalize.ml @@ -113,6 +113,7 @@ let add context expected_kind ({ e_desc = de } as e) = let up = match de, expected_kind with | (Evar _ | Efield _ ) , VRef -> false | _ , VRef -> true + | Ecall ({ op_kind = Eop }, _, _), (Exp|Act) -> false | ( Emerge _ | Etuple _ | Ecall _ | Efby _ | Earray_op _ ), Exp -> true | ( Ecall _ | Efby _ ), Act -> true