From 2b62d844cc81b60bcbdfc145097139995ea6f3a0 Mon Sep 17 00:00:00 2001
From: Alex Auvolat <alex.auvolat@ansys.com>
Date: Tue, 17 Jun 2014 17:38:29 +0200
Subject: Some abstract interpretation does something now.

---
 frontend/ast.ml         | 2 +-
 frontend/ast_printer.ml | 2 +-
 frontend/parser.mly     | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

(limited to 'frontend')

diff --git a/frontend/ast.ml b/frontend/ast.ml
index fbf099c..4f8c860 100644
--- a/frontend/ast.ml
+++ b/frontend/ast.ml
@@ -58,7 +58,7 @@ type expr =
     | AST_if          of (expr ext) * (expr ext) * (expr ext)
     | AST_instance    of (id ext) * (expr ext list) * id
 
-type var_def = bool * (id ext) * typ
+type var_def = bool * id * typ
 
 type automaton = id * state ext list * id list
 and  state = {
diff --git a/frontend/ast_printer.ml b/frontend/ast_printer.ml
index 641e4fd..c14d0d1 100644
--- a/frontend/ast_printer.ml
+++ b/frontend/ast_printer.ml
@@ -171,7 +171,7 @@ let rec print_vars ind fmt = function
     List.iter (fun d -> Format.fprintf fmt " %a;" print_var_decl d) v;
     Format.fprintf fmt "@\n";
 
-and print_var_decl fmt (pr, (i, _), ty) =
+and print_var_decl fmt (pr, i, ty) =
     Format.fprintf fmt "%s%s: %s"
       (if pr then "probe " else "")
       i
diff --git a/frontend/parser.mly b/frontend/parser.mly
index 0d257dd..4301a05 100644
--- a/frontend/parser.mly
+++ b/frontend/parser.mly
@@ -166,7 +166,7 @@ body:
   { l }
 
 var:
-|   p=boption(PROBE) i=ext(IDENT)   { (p, i) }
+|   p=boption(PROBE) i=IDENT                    { (p, i) }
 
 vari:
 |   vn=separated_list(COMMA, var) COLON t=typ
-- 
cgit v1.2.3