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/Source/GF.cf | |
| parent | 50ddb387f4495beb8bd8da2b9726a087a489df68 (diff) | |
floats in GF and GFC (parsing user input still doesn't work)
Diffstat (limited to 'src/GF/Source/GF.cf')
| -rw-r--r-- | src/GF/Source/GF.cf | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/GF/Source/GF.cf b/src/GF/Source/GF.cf index 06c81b61f..ec07d3c0f 100644 --- a/src/GF/Source/GF.cf +++ b/src/GF/Source/GF.cf @@ -156,6 +156,7 @@ ECons. Exp4 ::= "%" Ident "%" ; ESort. Exp4 ::= Sort ; EString. Exp4 ::= String ; EInt. Exp4 ::= Integer ; +EFloat. Exp4 ::= Double ; EMeta. Exp4 ::= "?" ; EEmpty. Exp4 ::= "[" "]" ; EData. Exp4 ::= "data" ; @@ -210,6 +211,7 @@ PV. Patt1 ::= Ident ; PCon. Patt1 ::= "{" Ident "}" ; PQ. Patt1 ::= Ident "." Ident ; PInt. Patt1 ::= Integer ; +PFloat. Patt1 ::= Double ; PStr. Patt1 ::= String ; PR. Patt1 ::= "{" [PattAss] "}" ; PTup. Patt1 ::= "<" [PattTupleComp] ">" ; |