On Wed, Apr 23, 2008 at 4:11 PM, Martin Rubey wrote:
Bill Page writes:
>
> > Are you saying that it should not be necessary to give the
> > interpreter such mode hints?
>
> Not quite sure, but I'd say: no!
>
Ok.
> [...]
>
> it doesn't try the natural thing: coercing List POLY INT to Vector
> POLY INT, even though it is looking at the right modemap...
>
> It would be great if somebody could try to *really* understand that
> algorithm! (Only guessing: there is currently no coerce:
> List D -> Vector D)
>
That seems likely. It seems to be called 'vector'
(8) -> vector([a,b])
(8) [a,b]
Type: Vector OrderedVariableList [a,b]
Maybe it should really be called coerce.
>
> Why on earth is it interpreting [a,b] as List OrderedVariableList [a,b]?
> That doesn't make sense!
>
Why not? Again what would you expect?
(4) -> [a,b]
(4) [a,b]
Type: List OrderedVariableList [a,b]
Off hand this seems like a reasonably conservative choice to me. :-)
Regards,
Bill Page.
-------------------------------------------------------------------------
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
