]> ocean-lang.org Git - ocean/commit
oceani: disallow assignment if no 'dup' operation.
authorNeilBrown <neil@brown.name>
Sun, 28 Apr 2019 01:10:03 +0000 (11:10 +1000)
committerNeilBrown <neil@brown.name>
Wed, 1 May 2019 08:09:44 +0000 (18:09 +1000)
commit320478cb5a54b80618b66d3553e8f16504388062
tree7d12a4f86ccab24c756d6ccbfbb2a51b3e9d584b
parent2770ad454dcc49b478e5452dfda69803c8f94c69
oceani: disallow assignment if no 'dup' operation.

'dup' is needed for assignment, so if it isn't present
it must be forbidden.

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