It's not the same thing, but it's quite dual. In one case, it's a question of precedence of values for the same index, and in the other it's a question of precedence of index for the same value.
Since the operations are not destructive, your notions of "change" and "main" are quite arbitrary and not inherent in the operations themselves.
/ Marcus Comstedt (ACROSS) (Hail Ilpalazzo!)
Previous text:
2002-12-03 23:12: Subject: `| and order on arrays
It's not the same thing. In the mapping case it's a question of precedence of values for the same index, whereas in the array case it's a question of precedence of the order between the values. The right hand operand should have higher precedence of values since it's the "change" operand (following my reasoning in 9418001). When it comes to precedence of order it's instead the left ("main") operand, for (among other things) the reason I've mentioned in 9418001.
/ Martin Stjernholm, Roxen IS