]> ocean-lang.org Git - ocean/commit
code / ocean / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6bf80b7) | patch
oceani: allow spaces in numbers.
authorNeilBrown <neil@brown.name>
Wed, 29 May 2019 11:54:53 +0000 (21:54 +1000)
committerNeilBrown <neil@brown.name>
Fri, 31 May 2019 08:25:55 +0000 (18:25 +1000)
commit4bee4f99bc7a0ab4dcd635766acdd15e96f29f5f
treea9e8c1f6791f443a09178fa806ca008a366799a7tree | snapshot
parent6bf80b764821a6f1b335996b756e4844ff1bdd71commit | diff
oceani: allow spaces in numbers.

Spaces are now allowed in (decimal) numbers to highlight
grouping.
Tests are added.

Also ensure unknown marks are reported as errors.

Signed-off-by: NeilBrown <neil@brown.name>
csrc/oceani-tests.mdc diff | blob | history
csrc/oceani.mdc diff | blob | history
The Ocean Language Project