BNFC doesn't have an Int type.
This commit is contained in:
1 parent
8eadf828a9
commit
5f5d4b2cbe
1 file changed
+2
-2
@@ -23,8 +23,8 @@ P. Term ::= "(" Term "!" Term ")" ; -- projection/selection
|
||||
S. Term ::= "(" [Term] ")" ; -- sequence with ++
|
||||
KS. Term ::= String ; -- token
|
||||
KP. Term ::= "[" "pre" [String] "[" [Variant] "]" "]" ;
|
||||
V. Term ::= "$" Int ; -- argument
|
||||
C. Term ::= Int ; -- parameter value/label
|
||||
V. Term ::= "$" Integer ; -- argument
|
||||
C. Term ::= Integer ; -- parameter value/label
|
||||
F. Term ::= CId ; -- global constant
|
||||
FV. Term ::= "[|" [Term] "|]" ; -- free variation
|
||||
W. Term ::= "(" String "+" [String] ")" ; -- prefix + suffix table
|
||||
|
||||
Reference in new issue
Block a user