Consistent wrt the case I mentioned.
The case you mentioned is one that doesn't exist right now, so I don't see how "consistency" with it would be any point in itself.
/ Marcus Comstedt (ACROSS) (Hail Ilpalazzo!)
Previous text:
2002-12-03 19:27: Subject: `| and order on arrays
Consistent wrt the case I mentioned. It wouldn't work to try to make it consistent with mappings: A mapping equivalent to these arrays would be (based on that `[] still operates the same):
([0:1, 1:2, 2:3]) | ([0:2, 1:4, 2:1, 3:17]);
(1) Result: ([ /* 4 elements */ 0:2, 1:4, 2:1, 3:17 ])
I.e. ({1,2,3})|({2,4,1,17}) should produce ({2,4,1,17}) to make that isomorphism hold, which is clearly useless for `|.
/ Martin Stjernholm, Roxen IS