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/Core.cf | |
| parent | d15acf44b66b6fab88868ce9fb3ed284c656f7c4 (diff) | |
Transfer: Added Double type.
Diffstat (limited to 'src/Transfer/Core/Core.cf')
| -rw-r--r-- | src/Transfer/Core/Core.cf | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/Transfer/Core/Core.cf b/src/Transfer/Core/Core.cf index c68a5502e..b58470148 100644 --- a/src/Transfer/Core/Core.cf +++ b/src/Transfer/Core/Core.cf @@ -77,7 +77,9 @@ EType. Exp5 ::= "Type" ; -- String literal expressions. EStr. Exp5 ::= String ; -- Integer literal expressions. -EInt. Exp5 ::= Integer ; +EInteger. Exp5 ::= Integer ; +-- Double literal expressions. +EDouble. Exp5 ::= Double ; -- Meta variables EMeta. Exp5 ::= TMeta ; |