diff options
| author | Kaz Kylheku <kaz@kylheku.com> | 2017-02-01 21:56:39 -0800 |
|---|---|---|
| committer | Kaz Kylheku <kaz@kylheku.com> | 2017-02-01 21:56:39 -0800 |
| commit | db608e087727829c3d6f9b8f02942364bb941c5f (patch) | |
| tree | 140a8ae106de10def8599768ff336d253ec0c358 /configure | |
| parent | 37d6ecfd008f47b1087404fc17136655e430ef98 (diff) | |
| download | txr-db608e087727829c3d6f9b8f02942364bb941c5f.tar.gz txr-db608e087727829c3d6f9b8f02942364bb941c5f.tar.bz2 txr-db608e087727829c3d6f9b8f02942364bb941c5f.zip | |
parser: diagnose more kinds of junk after float.
* parser.l (grammar): Add a rule that if a floating-point
(of the type that ends in decimal digits with an optional
exponent) is immediately followed by a period which is
not followed by another period (range syntax), it is
trailing junk. For instance 1.0.3 or .2.$, or
1.0. followed by no other input.
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions