From: NeilBrown <neil@brown.name>
Date: Wed, 29 May 2019 08:25:50 +0000 (+1000)
Subject: scanner: handle completely unrecognized characters.
X-Git-Url: https://ocean-lang.org/code/?a=commitdiff_plain;h=b5bfd47c99b0014e3b5328ba41c914287d8517eb;hp=b5bfd47c99b0014e3b5328ba41c914287d8517eb;p=ocean

scanner: handle completely unrecognized characters.

If we are ignoring numbers, then a digit looks like
nothing at all, not even an unknown mark.
Make sure to handle that properly.

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