Gabriel Dos Reis <[EMAIL PROTECTED]> writes:
> "Bill Page" <[EMAIL PROTECTED]> writes:
>
> | Gaby,
> |
> | On Tue, May 6, 2008 at 11:19 PM, you wrote:
> | > ...
> | > OpenAxiom already moved many of syntactic transformations and
> | > coercions to library. More remains to do done; but that would rely
> | > on good, clear, abstract, object models of computations.
> | >
> |
> | Could you please give an example of a coercion that has been moved to
> | the library? Does this include any of the coercions that are "hard
> | coded" into the Axiom interpreter?
>
> See an example I gave on the wiki
>
> a := 'x :: OutputForm
> b := 'y :: OutputForm
> a and b
>
Gaby,
could you please elaborate? I found this on the wiki:
(1) -> a := 'x :: OutputForm
(1) x
Type: OutputForm
(2) -> b := 'y :: OutputForm
(2) y
Type: OutputForm
(3) -> a and b
Argument number 1 to "and" must be a Boolean.
I'd like to know what exactly was moved from the interpreter to the algebra!
many thanks,
Martin
-------------------------------------------------------------------------
This SF.net email is sponsored by the 2008 JavaOne(SM) Conference
Don't miss this year's exciting event. There's still time to save $100.
Use priority code J8TL2D2.
http://ad.doubleclick.net/clk;198757673;13503038;p?http://java.sun.com/javaone
_______________________________________________
open-axiom-devel mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
