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

Do not forget to normalize iterators

Browse source
This commit is contained in:
Cédric Pasteur 2010-07-21 17:20:19 +02:00
parent 493f49fe04
commit bbb8e2e286
1 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
compiler/minils/transformations/normalize.ml
View file

@ -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