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/Syntax/Par.y | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

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

diff --git a/src/Transfer/Syntax/Par.y b/src/Transfer/Syntax/Par.y
index 3ed2c3141..48e9daa55 100644
--- a/src/Transfer/Syntax/Par.y
+++ b/src/Transfer/Syntax/Par.y
@@ -65,6 +65,7 @@ import Transfer.ErrM
 L_ident  { PT _ (TV $$) }
 L_quoted { PT _ (TL $$) }
 L_integ  { PT _ (TI $$) }
+L_doubl  { PT _ (TD $$) }
 L_err    { _ }
 
 
@@ -73,6 +74,7 @@ L_err    { _ }
 Ident   :: { Ident }   : L_ident  { Ident $1 }
 String  :: { String }  : L_quoted { $1 }
 Integer :: { Integer } : L_integ  { (read $1) :: Integer }
+Double  :: { Double }  : L_doubl  { (read $1) :: Double }
 
 Module :: { Module }
 Module : ListImport ListDecl { Module $1 $2 } 
@@ -262,7 +264,8 @@ Exp13 : 'sig' '{' ListFieldType '}' { ERecType $3 }
   | Ident { EVar $1 }
   | 'Type' { EType }
   | String { EStr $1 }
-  | Integer { EInt $1 }
+  | Integer { EInteger $1 }
+  | Double { EDouble $1 }
   | '?' { EMeta }
   | '(' Exp ')' { $2 }
 
-- 
cgit v1.2.3