Re: KeySet, KeyBag and KeyHash typing

2006-12-04 Thread Darren Duncan
At 1:34 PM +0100 12/4/06, TSa wrote: The coolest solution would be to have Bag in a module from where it supertypes Set when used. In this way you get the (x) to mean set operations unless a 'use Bag' is in scope. This supertyping approach would allow further Set supertypes like FuzzySet. But I d

Re: KeySet, KeyBag and KeyHash typing

2006-12-04 Thread TSa
HaloO Darren, you wrote: I consider the current KeyHash|KeySet|KeyBag|Set|Bag etc in Synopsis 6 to be a good solution for users of sets and bags. They are fine as far as the definition goes. But I guess it intentionally leaves certain things unmentioned. I do not understand the rationale to