diff options
Diffstat (limited to 'src/Transfer/Syntax/Syntax.cf')
| -rw-r--r-- | src/Transfer/Syntax/Syntax.cf | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/Transfer/Syntax/Syntax.cf b/src/Transfer/Syntax/Syntax.cf index 3550786d5..71fdfc84a 100644 --- a/src/Transfer/Syntax/Syntax.cf +++ b/src/Transfer/Syntax/Syntax.cf @@ -115,7 +115,8 @@ EList. Exp13 ::= "[" [Exp] "]" ; EVar. Exp13 ::= Ident ; EType. Exp13 ::= "Type" ; EStr. Exp13 ::= String ; -EInt. Exp13 ::= Integer ; +EInteger. Exp13 ::= Integer ; +EDouble. Exp13 ::= Double ; EMeta. Exp13 ::= "?" ; coercions Exp 13 ; |