]> git.neil.brown.name Git - ocean/commit
projects / ocean / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d7e32bb) | patch
oceani: update min_depth promptly.
authorNeilBrown <neil@brown.name>
Mon, 8 Nov 2021 08:35:25 +0000 (19:35 +1100)
committerNeilBrown <neil@brown.name>
Mon, 8 Nov 2021 09:56:36 +0000 (20:56 +1100)
commit20a0aeadef40b5d44f10e41b64be4d9a6df360e0
treee1b5a286af133212cb2014e0af72f266c6fa17f3tree | snapshot
parentd7e32bb049504f5e931f09ac041470f496c58b2ccommit | diff
oceani: update min_depth promptly.

As the loop in var_block_close() continues until min_depth is too low,
we need to set it promptly to stop the same variable being processed
again before it has been merged.

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