"Bill Page" <[EMAIL PROTECTED]> writes: [...]
| > At the moment, to achieve the coerce above, I need to introduce | > another package that would be parameterized by 's' and will do | > the coercion. But for that coercion to be possible, I need a function | > that somehow reveals (in some sense) the representation of MyVar | > so that I can call it to coerce a Variable s to MyVar. That way of | > doing thing unnaturally (to my view) breaks domain implementation | > into packages only to work around a limitation the purpose of which | > I do not understand. | > | | Thank you. I think that is an excellent example but I do not | understand why you say that you "need to introduce another package". The reason is that the purpose of MyVar domain in my example is to uniformly represent values of all `Varaible s', as opposed to having one MyVar domain instantiated for every single `s'. -- Gaby ------------------------------------------------------------------------- This SF.Net email is sponsored by the Moblin Your Move Developer's challenge Build the coolest Linux based applications with Moblin SDK & win great prizes Grand prize is a trip for two to an Open Source event anywhere in the world http://moblin-contest.org/redirect.php?banner_id=100&url=/ _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
