]> ocean-lang.org Git - ocean/commit
code / ocean / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dd5f192) | patch
oceani - discard anon_typelist
authorNeilBrown <neil@brown.name>
Sat, 9 Oct 2021 21:14:04 +0000 (08:14 +1100)
committerNeilBrown <neil@brown.name>
Sat, 9 Oct 2021 21:14:04 +0000 (08:14 +1100)
commit13482f902f9fa5d303a3a738a18fe17fdb734930
tree97e736ef25cab859230a367c71f1d283b1d3069etree | snapshot
parentdd5f1927d4c97dae2ad74e41167b1b7731aeb5abcommit | diff
oceani - discard anon_typelist

Don't keep anon types on a separate list, use the same list but given
them an empty name.

This allows us to use add_type() for adding all types.

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