Do not forget iterators at instantiation time either
This commit is contained in:
parent
7f4a0954bf
commit
27d5790a20
|
@ -190,6 +190,20 @@ struct
|
||||||
let params = List.map (simplify m) params in
|
let params = List.map (simplify m) params in
|
||||||
Eapp ({ app with a_op = Enode (node_for_params_call ln params);
|
Eapp ({ app with a_op = Enode (node_for_params_call ln params);
|
||||||
a_params = [] }, e_list, r)
|
a_params = [] }, e_list, r)
|
||||||
|
| Eiterator(it, ({ a_op = Efun ln; a_params = params } as app),
|
||||||
|
n, e_list, r) ->
|
||||||
|
let params = List.map (simplify m) params in
|
||||||
|
Eiterator(it,
|
||||||
|
{ app with a_op = Efun
|
||||||
|
(node_for_params_call ln params);
|
||||||
|
a_params = [] }, n, e_list, r)
|
||||||
|
| Eiterator(it, ({ a_op = Enode ln; a_params = params } as app),
|
||||||
|
n, e_list, r) ->
|
||||||
|
let params = List.map (simplify m) params in
|
||||||
|
Eiterator(it,
|
||||||
|
{ app with a_op = Enode
|
||||||
|
(node_for_params_call ln params);
|
||||||
|
a_params = [] }, n, e_list, r)
|
||||||
| _ -> ed
|
| _ -> ed
|
||||||
in ed, m
|
in ed, m
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue