From 56f62f31d88348e25636e13d9f8f57a04c1b0b74 Mon Sep 17 00:00:00 2001
From: bringert <bringert@cs.chalmers.se>
Date: Thu, 1 Dec 2005 16:55:57 +0000
Subject: Transfer: Added Double type.

---
 src/Transfer/Core/Par.y | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'src/Transfer/Core/Par.y')

diff --git a/src/Transfer/Core/Par.y b/src/Transfer/Core/Par.y
index 73a0b2300..93d0545c3 100644
--- a/src/Transfer/Core/Par.y
+++ b/src/Transfer/Core/Par.y
@@ -37,6 +37,7 @@ import Transfer.ErrM
 
 L_quoted { PT _ (TL $$) }
 L_integ  { PT _ (TI $$) }
+L_doubl  { PT _ (TD $$) }
 L_TMeta { PT _ (T_TMeta $$) }
 L_CIdent { PT _ (T_CIdent $$) }
 L_err    { _ }
@@ -46,6 +47,7 @@ L_err    { _ }
 
 String  :: { String }  : L_quoted { $1 }
 Integer :: { Integer } : L_integ  { (read $1) :: Integer }
+Double  :: { Double }  : L_doubl  { (read $1) :: Double }
 TMeta    :: { TMeta} : L_TMeta { TMeta ($1)}
 CIdent    :: { CIdent} : L_CIdent { CIdent ($1)}
 
@@ -142,7 +144,8 @@ Exp5 : 'sig' '{' ListFieldType '}' { ERecType $3 }
   | CIdent { EVar $1 }
   | 'Type' { EType }
   | String { EStr $1 }
-  | Integer { EInt $1 }
+  | Integer { EInteger $1 }
+  | Double { EDouble $1 }
   | TMeta { EMeta $1 }
   | '(' Exp ')' { $2 }
 
-- 
cgit v1.2.3