]> ocean-lang.org Git - ocean/commitdiff
oceani: remove "and then" and "or else"
authorNeilBrown <neil@brown.name>
Mon, 20 Dec 2021 20:34:06 +0000 (07:34 +1100)
committerNeilBrown <neil@brown.name>
Mon, 20 Dec 2021 20:34:06 +0000 (07:34 +1100)
I can't think of any reason that "and" and "or" shouldn't be
short-circuit operators, so change them to do what "and then" and "or
else" currently do, and discard the latter.

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

No differences found