]> ocean-lang.org Git - ocean/commitdiff
parsergen: change how reserved_words are stored
authorNeilBrown <neil@brown.name>
Fri, 5 Mar 2021 08:20:22 +0000 (19:20 +1100)
committerNeilBrown <neil@brown.name>
Fri, 5 Mar 2021 08:20:22 +0000 (19:20 +1100)
Rather than a simple array with holes, have a dense array mapping number
to name.  This will enable a future change which adds names that don't
have numbers assigned.

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

No differences found