]> ocean-lang.org Git - ocean/commit
parsergen: allow "$void" to remove current type. draftparser
authorNeilBrown <neilb@suse.de>
Sun, 21 Jul 2013 09:27:27 +0000 (19:27 +1000)
committerNeilBrown <neilb@suse.de>
Sun, 21 Jul 2013 09:29:00 +0000 (19:29 +1000)
commit6a0710bfe1622b5420ba53dca034ed18376b8740
treeb06942e88bf6acdee74a1eb875428d343f87ecb1
parent36adc544609b6144adefa0a000f77d2845b814e2
parsergen: allow "$void" to remove current type.

This allows return to the initial state where nonterminals
have no type.

Signed-off-by: NeilBrown <neilb@suse.de>
csrc/parsergen.mdc