From f696203eb10d3fbf672a965dfc3213a70b04acd3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gwena=EBl=20Delaval?= Date: Tue, 9 Jul 2013 21:16:30 +0200 Subject: [PATCH] Bug in sigalimain Bug correction: code generation to sigali for stateless nodes => stateless nodes handled like stateful nodes, if not in pervasives. --- compiler/minils/sigali/sigalimain.ml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/compiler/minils/sigali/sigalimain.ml b/compiler/minils/sigali/sigalimain.ml index 234d051..68954e0 100644 --- a/compiler/minils/sigali/sigalimain.ml +++ b/compiler/minils/sigali/sigalimain.ml @@ -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