From b92269be05b68b23f1cb02a64f35ce4f8c35300a Mon Sep 17 00:00:00 2001
From: Erwan Jahier <jahier@imag.fr>
Date: Wed, 25 Feb 2009 16:14:13 +0100
Subject: [PATCH] Fixing ec the backend (cont'): some more parenthesis issues.
---
src/licDump.ml | 14 ++++++++++----
1 file changed, 10 insertions(+), 4 deletions(-)
diff --git a/src/licDump.ml b/src/licDump.ml
index 0d88b6a4..42800983 100644
--- a/src/licDump.ml
+++ b/src/licDump.ml
@@ -1,4 +1,4 @@
-(** Time-stamp: <modified the 25/02/2009 (at 15:55) by Erwan Jahier> *)
+(** Time-stamp: <modified the 25/02/2009 (at 16:09) by Erwan Jahier> *)
open Printf
open Lxm
@@ -376,12 +376,18 @@ and (string_of_by_pos_op_eff: Eff.by_pos_op srcflagged -> Eff.val_exp list -> st
| IDENT idref, _ -> Ident.string_of_idref idref
| PRE, _ -> "pre " ^ (tuple_par vel)
| ARROW, [ve1; ve2] ->
- (string_of_val_exp_eff ve1) ^ " -> " ^ (string_of_val_exp_eff ve2)
+ (if is_a_tuple ve1 then tuple_par [ve1] else string_of_val_exp_eff ve1) ^
+ " -> " ^
+ (if is_a_tuple ve1 then tuple_par [ve2] else string_of_val_exp_eff ve2)
| FBY, [ve1; ve2] ->
if !Global.lv4 then
- (string_of_val_exp_eff ve1) ^ " -> pre " ^ (string_of_val_exp_eff ve2)
+ (if is_a_tuple ve1 then tuple_par [ve1] else string_of_val_exp_eff ve1)
+ ^ " -> pre " ^
+ (if is_a_tuple ve1 then tuple_par [ve2] else string_of_val_exp_eff ve2)
else
- (string_of_val_exp_eff ve1) ^ " fby " ^ (string_of_val_exp_eff ve2)
+ (if is_a_tuple ve1 then tuple_par [ve1] else string_of_val_exp_eff ve1)
+ ^ " fby " ^
+ (if is_a_tuple ve1 then tuple_par [ve2] else string_of_val_exp_eff ve2)
| WHEN clk, vel -> (tuple vel) ^ (string_of_clock_exp clk)
| CURRENT,_ -> "current " ^ tuple_par vel
--
GitLab