-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On Tuesday 04 September 2001 08:28 pm, Eray Ozkural (exa) wrote:
Hi Dan,
I'm a bit sleepy, sorry.
Okay, I guess I got it now. The (types of) elements of a Set ought to be instances of Ord. So I presume Edison supports only flat sets. So, this is not really a mathematical set, whichever set theory you take to be correct :)
That is, if you use Set type. This would possibly be solved by using
something like Coll (Set a) but I have to see that for myself and delve into
Edison's docs a little more. Surely a data structure isn't supposed to be the
same thing as a mathematical entity with the same name.
Thanks,
- --
Eray Ozkural (exa)