Operators can appear in the exp normal form

2010-06-25 12:37:14 +02:00 · 2010-06-25 12:37:14 +02:00 · 9b18eb71a4
commit 9b18eb71a4
parent 1a829ea4e0
1 changed files with 1 additions and 0 deletions
--- 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