diff options
| author | Pierre Roux | 2018-10-20 11:19:28 +0200 |
|---|---|---|
| committer | Pierre Roux | 2019-04-02 00:02:12 +0200 |
| commit | a95aacce6cc32726b494d4cc694da49eae86cf96 (patch) | |
| tree | 07caf6e22fd6ae991786cec51bf304ecd011bc02 /parsing/g_prim.mlg | |
| parent | 1c8fd0f7134bcc295e31613c981ef4ef2c21af35 (diff) | |
Rename the INT token to NUMERAL
In anticipation of future uses of this token for non integer numerals.
Diffstat (limited to 'parsing/g_prim.mlg')
| -rw-r--r-- | parsing/g_prim.mlg | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/parsing/g_prim.mlg b/parsing/g_prim.mlg index 6247a12640..9c5fe2a71d 100644 --- a/parsing/g_prim.mlg +++ b/parsing/g_prim.mlg @@ -110,13 +110,13 @@ GRAMMAR EXTEND Gram [ [ s = string -> { CAst.make ~loc s } ] ] ; integer: - [ [ i = INT -> { my_int_of_string loc i } - | "-"; i = INT -> { - my_int_of_string loc i } ] ] + [ [ i = NUMERAL -> { my_int_of_string loc i } + | "-"; i = NUMERAL -> { - my_int_of_string loc i } ] ] ; natural: - [ [ i = INT -> { my_int_of_string loc i } ] ] + [ [ i = NUMERAL -> { my_int_of_string loc i } ] ] ; bigint: (* Negative numbers are dealt with elsewhere *) - [ [ i = INT -> { i } ] ] + [ [ i = NUMERAL -> { i } ] ] ; END |