From 6d042ffd65371d8097c77d3387eda636eb942d97 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <jahier@imag.fr>
Date: Thu, 7 Feb 2008 11:33:47 +0100
Subject: [PATCH] syntaxTreeCore.ml: turns eq_info into a pair (instead of
a struct).
---
src/parser.mly | 2 +-
src/syntaxTreeCore.ml | 8 +++-----
src/syntaxTreeDump.ml | 4 ++--
3 files changed, 6 insertions(+), 8 deletions(-)
diff --git a/src/parser.mly b/src/parser.mly
index 280e4908..11ab1ed1 100644
--- a/src/parser.mly
+++ b/src/parser.mly
@@ -966,7 +966,7 @@ sxEquation: TK_ASSERT sxExpression TK_SEMICOL
}
| sxLeft TK_EQ sxExpression TK_SEMICOL
{
- ( [] , [ {src = $2; it = {eq_left = $1; eq_right = $3} } ] )
+ ( [] , [ {src = $2; it = ($1, $3) } ] )
}
;
diff --git a/src/syntaxTreeCore.ml b/src/syntaxTreeCore.ml
index 04dc3a90..4f4c22e7 100644
--- a/src/syntaxTreeCore.ml
+++ b/src/syntaxTreeCore.ml
@@ -1,4 +1,4 @@
-(** Time-stamp: <modified the 07/02/2008 (at 11:27) by Erwan Jahier> *)
+(** Time-stamp: <modified the 07/02/2008 (at 11:31) by Erwan Jahier> *)
(** (Raw) Abstract syntax tree of source programs. *)
@@ -84,10 +84,8 @@ and var_nature =
| VarOutput
| VarLocal
-and eq_info = {
- eq_left : left_part list ;
- eq_right: val_exp
-}
+and eq_info = (left_part list * val_exp)
+
and left_part =
| LeftVar of (Ident.t srcflagged)
| LeftField of (left_part * (Ident.t srcflagged))
diff --git a/src/syntaxTreeDump.ml b/src/syntaxTreeDump.ml
index 621b03f1..f67ce614 100644
--- a/src/syntaxTreeDump.ml
+++ b/src/syntaxTreeDump.ml
@@ -1,4 +1,4 @@
-(** Time-stamp: <modified the 07/02/2008 (at 11:25) by Erwan Jahier> *)
+(** Time-stamp: <modified the 07/02/2008 (at 11:31) by Erwan Jahier> *)
open Lxm
@@ -350,7 +350,7 @@ and dump_assert_list (os: Format.formatter) (af: (val_exp srcflagged) list) = (
and dump_eq_list (os: Format.formatter) (eqfs: (eq_info srcflagged) list) = (
match eqfs with
[] -> ()
- | {it={eq_left=lflst; eq_right=exp}; src=lxm} :: reste -> (
+ | {it=(lflst,exp); src=lxm} :: reste -> (
Format.fprintf os "@\n%a = %a;%a"
dump_left_part_list lflst
dump_val_exp exp
--
GitLab