|
|
@ -2174,7 +2174,7 @@ parser! { |
|
|
|
|
|
|
|
|
|
|
|
rule INTEGER() = ['0'..='9']+ |
|
|
|
rule INTEGER() = ['0'..='9']+ |
|
|
|
|
|
|
|
|
|
|
|
rule DECIMAL() = ['0'..='9']+ "." ['0'..='9']* / ['0'..='9']* "." ['0'..='9']+ |
|
|
|
rule DECIMAL() = ['0'..='9']* "." ['0'..='9']+ |
|
|
|
|
|
|
|
|
|
|
|
rule DOUBLE() = (['0'..='9']+ "." ['0'..='9']* / "." ['0'..='9']+ / ['0'..='9']+) EXPONENT() |
|
|
|
rule DOUBLE() = (['0'..='9']+ "." ['0'..='9']* / "." ['0'..='9']+ / ['0'..='9']+) EXPONENT() |
|
|
|
|
|
|
|
|
|
|
|