OpenAxiom allows users to *safely* unpack values of the existential type Any:
case expr is
x: exist(D: EuclideanDomain) . D => something with x
otherwise => do something else
See:
http://sourceforge.net/apps/trac/open-axiom/browser/1.4.x/src/algebra/any.spad.pamphlet#L184
http://sourceforge.net/apps/trac/open-axiom/browser/1.4.x/src/algebra/any.spad.pamphlet#L188
Gaby,
Indeed. The "exist" is an interesting construction. That brings Any more
in line with
https://svn.origo.ethz.ch/algebraist/trunk/aldor/lib/axllib/src/object.as
Can you point to the patch series that introduced this "exist"?
Ralf
--
You received this message because you are subscribed to the Google Groups "FriCAS -
computer algebra system" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en.
