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

Fixed stateful bit for iterated nodes

Browse source
This commit is contained in:
Cédric Pasteur 2011-06-23 10:51:25 +02:00
parent 4794045208
commit e754493364
1 changed files with 5 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
compiler/heptagon/analysis/stateful.ml
View file

@ -45,6 +45,11 @@ let edesc funs stateful ed =
let ty_desc = find_value f in
let op = if ty_desc.node_stateful then Enode f else Efun f in
Eapp({ app with a_op = op }, e_list, r), ty_desc.node_stateful or stateful
| Eiterator(it, ({ a_op = (Enode f | Efun f) } as app), n, pe_list, e_list, r) ->
let ty_desc = find_value f in
let op = if ty_desc.node_stateful then Enode f else Efun f in
Eiterator(it, { app with a_op = op }, n, pe_list, e_list, r),
ty_desc.node_stateful or stateful
| _ -> ed, stateful
(* Automatons have an hidden state whatever *)