From: NeilBrown <neil@brown.name>
Date: Mon, 13 Oct 2014 01:17:37 +0000 (+1100)
Subject: oceani: propagate_types should  ignore NULL better.
X-Git-Tag: FallsCreek~1
X-Git-Url: https://ocean-lang.org/code/?a=commitdiff_plain;h=eb37cc0a20d133a2ada42442ce1901cf438503d5;hp=eb37cc0a20d133a2ada42442ce1901cf438503d5;p=ocean

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>
---