Compile fix
This commit is contained in:
parent
bbb8e2e286
commit
4d52fe79ef
1 changed files with 2 additions and 2 deletions
|
@ -145,9 +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 _ | Eiterator | Efby _ ), Exp -> true
|
||||
| ( Emerge _ | Eapp _ | Eiterator _ | Efby _ ), Exp -> true
|
||||
| ( Eapp({ a_op = Efun _ | Enode _ }, _, _)
|
||||
| Eiterator | Efby _ ), Act -> true
|
||||
| Eiterator _ | Efby _ ), Act -> true
|
||||
| _ -> false in
|
||||
if up then
|
||||
let context, n = equation context e in
|
||||
|
|
Loading…
Reference in a new issue