]> ocean-lang.org Git - ocean/commit
code / ocean / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5c5bce5) | patch
oceani: fix type analysis for 'while' condition.
authorNeilBrown <neil@brown.name>
Sat, 17 Feb 2018 01:01:08 +0000 (12:01 +1100)
committerNeilBrown <neil@brown.name>
Sat, 17 Feb 2018 01:01:08 +0000 (12:01 +1100)
commitddff055f268cb0c10510155c0fbb600ee903e5da
treefac820cfd4f3762d43261b0556882fab5f031d14tree | snapshot
parent5c5bce5b10dc2476374aea8264115089e713ca57commit | diff
oceani: fix type analysis for 'while' condition.

The condition in a 'while' can always return Bool,
or may return some other consistent type.
This requires extra subtlety in analysis.

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