diff options
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] ">" ; |