]> ocean-lang.org Git - ocean/commit
code / ocean / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bc3045b) | patch
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)
commit37c2482809a970e5c452f4e3f43d9ee8e18fd141
treecf698dcaed64488c0bcc5d91091287ca319a1ee7tree | snapshot
parentbc3045b3d8e8140d94a7bfd0cff1dbf8a7b491a1commit | diff
oceani: remove "and then" and "or else"

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>
csrc/oceani-tests.mdc diff | blob | history
csrc/oceani.mdc diff | blob | history
The Ocean Language Project