]> ocean-lang.org Git - ocean/commitdiff
code / ocean / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 6bf80b7)
scanner: improve number parsing.
authorNeilBrown <neil@brown.name>
Wed, 29 May 2019 11:51:22 +0000 (21:51 +1000)
committerNeilBrown <neil@brown.name>
Wed, 29 May 2019 11:51:22 +0000 (21:51 +1000)
In particular, space must be preceeded and followed by a digit
(not a letter).
Also '_' must be preceded and followed by a hex digit, but this
wasn't enforced.

Add tests to check on numbers more thoroughly.

Signed-off-by: NeilBrown <neil@brown.name>

No differences found
The Ocean Language Project