]> ocean-lang.org Git - ocean/commit
code / ocean / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 57052d5) | patch
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)
commit1f02aa8f075c052e845d55a38a8c7595c3eff7a7
treefd580e7b6554578aceb97fbf7229b1e319d02714tree | snapshot
parent57052d556c36baf81e66ade16839552b0ab37afbcommit | diff
parsergen: change how reserved_words are stored

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