Skip to content
Snippets Groups Projects
Commit 023c9e44 authored by Erwan Jahier's avatar Erwan Jahier
Browse files

(bis) Add a little bit more parenthesis in the generated lic code in order

to avoid priority errors.
parent 0d3ba62e
No related branches found
No related tags found
No related merge requests found
(** Time-stamp: <modified the 08/07/2008 (at 10:16) by Erwan Jahier> *) (** Time-stamp: <modified the 08/07/2008 (at 10:37) by Erwan Jahier> *)
(* Call it LicDump? *) (* Call it LicDump? *)
...@@ -211,6 +211,7 @@ and (string_of_leff_list : left_eff list -> string) = ...@@ -211,6 +211,7 @@ and (string_of_leff_list : left_eff list -> string) =
and (string_of_by_pos_op_eff : by_pos_op_eff -> val_exp_eff list -> string) = and (string_of_by_pos_op_eff : by_pos_op_eff -> val_exp_eff list -> string) =
fun posop vel -> fun posop vel ->
let tuple vel = (String.concat ", " (List.map string_of_val_exp_eff vel)) in let tuple vel = (String.concat ", " (List.map string_of_val_exp_eff vel)) in
let tuple_par vel = "(" ^ (tuple vel) ^ ")" in
let tuple_square vel = let tuple_square vel =
"[" ^ (String.concat ", " (List.map string_of_val_exp_eff vel)) ^ "]" "[" ^ (String.concat ", " (List.map string_of_val_exp_eff vel)) ^ "]"
in in
...@@ -237,10 +238,10 @@ and (string_of_by_pos_op_eff : by_pos_op_eff -> val_exp_eff list -> string) = ...@@ -237,10 +238,10 @@ and (string_of_by_pos_op_eff : by_pos_op_eff -> val_exp_eff list -> string) =
| CALL_eff nee, _ -> ( | CALL_eff nee, _ -> (
if nee.it.def_eff = ExternEff then if nee.it.def_eff = ExternEff then
((string_of_node_key_iter nee.it.node_key_eff) ^ (tuple vel)) ((string_of_node_key_iter nee.it.node_key_eff) ^ (tuple_par vel))
else else
(* recursive node cannot be extern *) (* recursive node cannot be extern *)
((string_of_node_key_rec nee.it.node_key_eff) ^ (tuple vel)) ((string_of_node_key_rec nee.it.node_key_eff) ^ (tuple_par vel))
) )
| IDENT_eff idref, _ -> Ident.string_of_idref idref | IDENT_eff idref, _ -> Ident.string_of_idref idref
| PRE_eff, _ -> "pre " ^ (tuple vel) | PRE_eff, _ -> "pre " ^ (tuple vel)
......
This diff is collapsed.
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment