From f97a886970bef9e1d6e8a1e217732d6ef8be087e Mon Sep 17 00:00:00 2001
From: Alex Auvolat <alex.auvolat@ansys.com>
Date: Tue, 1 Jul 2014 15:42:57 +0200
Subject: Adapt for real type with Apron ; not very efficient ATM.

---
 frontend/parser.mly | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'frontend/parser.mly')

diff --git a/frontend/parser.mly b/frontend/parser.mly
index 4301a05..4e010ec 100644
--- a/frontend/parser.mly
+++ b/frontend/parser.mly
@@ -61,6 +61,10 @@ primary_expr:
 | FALSE                     { AST_bool_const false }
 | e=ext(IDENT) LPAREN l=separated_list(COMMA,ext(expr)) RPAREN 
                             { AST_instance (e, l, fst e ^ uid ()) }
+| INT LPAREN e=ext(expr) RPAREN
+                            { AST_cast(e, AST_TINT) }
+| REAL LPAREN e=ext(expr) RPAREN
+                            { AST_cast(e, AST_TREAL) }
 
 unary_expr:
 | e=primary_expr                   { e }
-- 
cgit v1.2.3