git.neil.brown.name Git

]> git.neil.brown.name Git - ocean/commit

author	NeilBrown <neil@brown.name>
	Mon, 8 Nov 2021 09:19:29 +0000 (20:19 +1100)
committer	NeilBrown <neil@brown.name>
	Mon, 8 Nov 2021 09:56:36 +0000 (20:56 +1100)
commit	fdc93978981976920d369c57b80da002374090a5
tree	4e58b81b3cde04acfdf9338b37044257dc1e3d05	tree \| snapshot
parent	20a0aeadef40b5d44f10e41b64be4d9a6df360e0	commit \| diff

oceani: add comments to var_block_close() and remove dead code.

This function is subtle and deserves good documentation for various
cases.
Some of the cases were dead, so remove them.

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

csrc/oceani-tests.mdc		diff \| blob \| history
csrc/oceani.mdc		diff \| blob \| history

The Ocean Language Project

RSS Atom