-----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) <erayo@cs.bilkent.edu.tr> Comp. Sci. Dept., Bilkent University, Ankara www: http://www.cs.bilkent.edu.tr/~erayo GPG public key fingerprint: 360C 852F 88B0 A745 F31B EA0F 7C07 AE16 874D 539C -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.0.6 (GNU/Linux) Comment: For info see http://www.gnupg.org iD8DBQE7lRVnfAeuFodNU5wRAtoeAJ4gVxFNGvxQXGImi5UGCFK6u0uk7ACfZDzV UsxeARwxnfQvXdwbUU+7/hE= =m1qP -----END PGP SIGNATURE-----