]> ocean-lang.org Git - ocean/commitdiff
oceani: allow field references on references.
authorNeilBrown <neil@brown.name>
Sat, 11 Dec 2021 23:42:48 +0000 (10:42 +1100)
committerNeilBrown <neil@brown.name>
Sat, 11 Dec 2021 23:42:48 +0000 (10:42 +1100)
If a ref (pointer) is asked for a field, pass the request on to the
thing that is pointed to.

Signed-off-by: NeilBrown <neil@brown.name>

No differences found