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

Bug in sigalimain

Browse source 
Bug correction: code generation to sigali for stateless nodes

=> stateless nodes handled like stateful nodes, if not in pervasives.
This commit is contained in:
Gwenal Delaval 2013-07-09 21:16:30 +02:00
parent 2d150a3a3d
commit f696203eb1
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/sigali/sigalimain.ml
View file

@ -273,7 +273,8 @@ let translate_eq f
current_inputs := IdentSet.add n !current_inputs;
acc_states,acc_init,acc_inputs,acc_eqs
end
| pat, Minils.Eapp({ Minils.a_op = Minils.Enode _f; }, _e_list, None) ->
| pat, Minils.Eapp({ Minils.a_op = (Minils.Enode f|Minils.Efun f); },
_e_list, None) when f.qual <> Pervasives ->
(*
(y1,...,yp) = f(x1,...,xn)
@ -290,7 +291,7 @@ let translate_eq f
ident_list) in
acc_states,acc_init,
acc_inputs,acc_eqs
| Minils.Evarpat(n), _ when actual_ty e.Minils.e_ty == Tbool ->
| Minils.Evarpat(n), _ when actual_ty e.Minils.e_ty = Tbool ->
begin try
(* assert : no fby, no node application in e *)
let e' = translate prefix e in