]> ocean-lang.org Git - ocean/commit
code / ocean / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5107f51) | patch
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)
commit6bf80b764821a6f1b335996b756e4844ff1bdd71
treeb426632a411620cab18797469b650a174dc3e3fftree | snapshot
parent5107f51f1ba2b12dbffef31403ebfea30688b96bcommit | diff
scanner: improve number parsing.

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>
csrc/scanner-tests.mdc diff | blob | history
csrc/scanner.mdc diff | blob | history
The Ocean Language Project