]> git.neil.brown.name Git - ocean/commit
projects / ocean / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2770ad4) | patch
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
tree7d12a4f86ccab24c756d6ccbfbb2a51b3e9d584btree | snapshot
parent2770ad454dcc49b478e5452dfda69803c8f94c69commit | diff
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 diff | blob | history
The Ocean Language Project