]> ocean-lang.org Git - ocean/commit
oceani: add "and then" and "or else"
authorNeilBrown <neil@brown.name>
Wed, 8 May 2019 10:50:30 +0000 (20:50 +1000)
committerNeilBrown <neil@brown.name>
Wed, 8 May 2019 10:50:30 +0000 (20:50 +1000)
commit2208b7c7f457bbba9bf030e25de7c27f67901d48
treec5d6c232122892af5d0fa3cd52b9cf2d20d321d5
parent89377f910b5d607fdcdb2d7152ca3a58668a3de0
oceani: add "and then" and "or else"

"and then" and "or else" are short-circuit versions
of "and" and "or" - they only evaluate second arg if it
is needed.

Signed-off-by: NeilBrown <neil@brown.name>
csrc/oceani-tests.mdc
csrc/oceani.mdc