]> ocean-lang.org Git - ocean/commitdiff
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)
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>

No differences found