diff options
| author | aarne <aarne@cs.chalmers.se> | 2005-12-02 13:13:14 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2005-12-02 13:13:14 +0000 |
| commit | dea5158cbf1c11d45f2ed91d9975fbc77245e652 (patch) | |
| tree | 751ef7bcaccf58c43354d5b1767d3b3d3d1ac34d /src/GF/Canon/GFC.cf | |
| parent | 50ddb387f4495beb8bd8da2b9726a087a489df68 (diff) | |
floats in GF and GFC (parsing user input still doesn't work)
Diffstat (limited to 'src/GF/Canon/GFC.cf')
| -rw-r--r-- | src/GF/Canon/GFC.cf | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/GF/Canon/GFC.cf b/src/GF/Canon/GFC.cf index 5c0c95be3..d9385a49f 100644 --- a/src/GF/Canon/GFC.cf +++ b/src/GF/Canon/GFC.cf @@ -80,6 +80,7 @@ APC. APatt ::= "(" CIdent [APatt] ")" ; APV. APatt ::= Ident ; APS. APatt ::= String ; API. APatt ::= Integer ; +APF. APatt ::= Double ; APW. APatt ::= "_" ; separator Decl ";" ; @@ -120,7 +121,8 @@ S. Term1 ::= Term1 "!" Term2 ; C. Term ::= Term "++" Term1 ; FV. Term1 ::= "variants" "{" [Term2] "}" ; --- no separator! -EInt. Term2 ::= Integer ; +EInt. Term2 ::= Integer ; +EFloat. Term2 ::= Double ; K. Term2 ::= Tokn ; E. Term2 ::= "[" "]" ; @@ -144,6 +146,7 @@ PV. Patt ::= Ident ; PW. Patt ::= "_" ; PR. Patt ::= "{" [PattAssign] "}" ; PI. Patt ::= Integer ; +PF. Patt ::= Double ; PAss. PattAssign ::= Label "=" Patt ; |