diff options
| author | Pierre Roux | 2019-02-03 21:19:56 +0100 |
|---|---|---|
| committer | Pierre Roux | 2019-04-02 00:02:37 +0200 |
| commit | ab2597acf4245cff82f31fae105a8103a4b46268 (patch) | |
| tree | 2ff73bd1784be5cb8d877ae51b3ccd47409a6165 /dev | |
| parent | 6b9cb710545e1844c324979e27a04d9ddb52a924 (diff) | |
Allow underscores as comments in numeral constants.
The numerals lexed are now [0-9][0-9_]* ([.][0-9_]+)? ([eE][+-]?[0-9][0-9_]*)?
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions