Michael Kay wrote:
[ in addition to my previous reply, that
I sent to quickly, sorry ]
Saxon will infer a type for the variable from
the select expression if it can do so without
contextual analysis, but it won't go chasing
around the houses to do it.
Indeed. But I think this case is intresting because it's simple and,
IMHO, entirely determinitic. We have (in the variable's '@select') an
XPath expression like "$other/child/subchild", whose we know the type
of the variable "$other" (with its '@as'), and all the possible
children of "$other" are well known, as well as their types.
I think it could be not so difficult to infer the type of the new
variable. But I don't know enough all the aspects of the problem. Is
there some complexity I don't see? (I'm just curious)
Thanks,
--drkm
___________________________________________________________________________
Appel audio GRATUIT partout dans le monde avec le nouveau Yahoo! Messenger
Téléchargez cette version sur http://fr.messenger.yahoo.com
--~------------------------------------------------------------------
XSL-List info and archive: http://www.mulberrytech.com/xsl/xsl-list
To unsubscribe, go to: http://lists.mulberrytech.com/xsl-list/
or e-mail: <mailto:xsl-list-unsubscribe(_at_)lists(_dot_)mulberrytech(_dot_)com>
--~--