]> ocean-lang.org Git - ocean/commit
code / ocean / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 99eb171) | patch
oceani: propagate_types should ignore NULL better.
authorNeilBrown <neil@brown.name>
Mon, 13 Oct 2014 01:17:37 +0000 (12:17 +1100)
committerNeilBrown <neil@brown.name>
Mon, 13 Oct 2014 01:17:37 +0000 (12:17 +1100)
commiteb37cc0a20d133a2ada42442ce1901cf438503d5
treee05e4c645bdb96fe7b8f7d43afd8193d1d57a396tree | snapshot
parent99eb171de4635a0b17324141a32943f0e3f7a150commit | diff
oceani: propagate_types should  ignore NULL better.

A 'NULL' is an empty statement (e.g. 'skip') or something else
that is expected to be absent, like the left-hand-side of a unary operator.

So report that it returns Vnone, but don't worry about what is
expected.

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