diff options
| author | bringert <bringert@cs.chalmers.se> | 2005-12-01 16:55:57 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2005-12-01 16:55:57 +0000 |
| commit | 56f62f31d88348e25636e13d9f8f57a04c1b0b74 (patch) | |
| tree | 79adb3d2cd857ddced28cc7798481786b57faef1 /src/Transfer/Core/Par.y | |
| parent | d15acf44b66b6fab88868ce9fb3ed284c656f7c4 (diff) | |
Transfer: Added Double type.
Diffstat (limited to 'src/Transfer/Core/Par.y')
| -rw-r--r-- | src/Transfer/Core/Par.y | 5 |
1 files changed, 4 insertions, 1 deletions
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 } |