From ffb159f1a63553a74ff11699f1096bbf87547b0f Mon Sep 17 00:00:00 2001
From: Erwan Jahier <jahier@imag.fr>
Date: Wed, 25 Feb 2009 14:14:08 +0100
Subject: [PATCH] Fix a cut-and-paste error in code that print unary minus
operators.
---
src/licDump.ml | 9 +++++----
1 file changed, 5 insertions(+), 4 deletions(-)
diff --git a/src/licDump.ml b/src/licDump.ml
index 02e07cd0..b748cf1c 100644
--- a/src/licDump.ml
+++ b/src/licDump.ml
@@ -1,4 +1,4 @@
-(** Time-stamp: <modified the 25/02/2009 (at 14:10) by Erwan Jahier> *)
+(** Time-stamp: <modified the 25/02/2009 (at 14:12) by Erwan Jahier> *)
open Printf
open Lxm
@@ -319,6 +319,10 @@ and (string_of_by_pos_op_eff: Eff.by_pos_op srcflagged -> Eff.val_exp list -> st
(* predef op that are iterated are translated into node_exp ;
hence, we need to do (again) a particular threatment to have
a node ouput (i.e., "2>a" vs "Lustre::lt(2,a)" *)
+ | ("Lustre","uminus"), [] -> " -" ^ sov (hd vel)
+ | ("Lustre","iuminus"), [] -> " -" ^ sov (hd vel)
+ | ("Lustre","ruminus"), [] -> " -" ^ sov (hd vel)
+
| ("Lustre","lt"), [] -> sov (hd vel) ^ " < " ^ sov (hd (tl vel))
| ("Lustre","lte"), [] -> sov (hd vel) ^ " <= " ^ sov (hd (tl vel))
| ("Lustre","gt"), [] -> sov (hd vel) ^ " > " ^ sov (hd (tl vel))
@@ -328,9 +332,6 @@ and (string_of_by_pos_op_eff: Eff.by_pos_op srcflagged -> Eff.val_exp list -> st
| ("Lustre","plus"), [] -> sov (hd vel) ^ " + " ^ sov (hd (tl vel))
| ("Lustre","iplus"), [] -> sov (hd vel) ^ " + " ^ sov (hd (tl vel))
| ("Lustre","rplus"), [] -> sov (hd vel) ^ " + " ^ sov (hd (tl vel))
- | ("Lustre","uminus"), [] -> sov (hd vel) ^ " - " ^ sov (hd (tl vel))
- | ("Lustre","iuminus"), [] -> sov (hd vel) ^ " - " ^ sov (hd (tl vel))
- | ("Lustre","ruminus"), [] -> sov (hd vel) ^ " - " ^ sov (hd (tl vel))
| ("Lustre","minus"), [] -> sov (hd vel) ^ " - " ^ sov (hd (tl vel))
| ("Lustre","iminus"), [] -> sov (hd vel) ^ " - " ^ sov (hd (tl vel))
| ("Lustre","rminus"), [] -> sov (hd vel) ^ " - " ^ sov (hd (tl vel))
--
GitLab