]> ocean-lang.org Git - ocean/commit
oceani: drop 'array' field from the 'value' union.
authorNeilBrown <neil@brown.name>
Sat, 9 Oct 2021 01:05:51 +0000 (12:05 +1100)
committerNeilBrown <neil@brown.name>
Sat, 9 Oct 2021 01:05:51 +0000 (12:05 +1100)
commitdd5f1927d4c97dae2ad74e41167b1b7731aeb5ab
tree6092d09b1694ef616e7451e569945d2f18ed3123
parent7643c19409c4d3c6d94412a85d0dc048a6e8a68f
oceani: drop 'array' field from the 'value' union.

This field was never used - we use the generic 'ptr'.

Signed-off-by: NeilBrown <neil@brown.name>
csrc/oceani.mdc