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/Syntax/Par.y | |
| parent | d15acf44b66b6fab88868ce9fb3ed284c656f7c4 (diff) | |
Transfer: Added Double type.
Diffstat (limited to 'src/Transfer/Syntax/Par.y')
| -rw-r--r-- | src/Transfer/Syntax/Par.y | 5 |
1 files changed, 4 insertions, 1 deletions
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 } |