Subject: RE: [xsl] Static type-checker From: drkm <darkman_spam@xxxxxxxx> Date: Fri, 18 Nov 2005 15:43:55 +0100 (CET) |
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 Tilichargez cette version sur http://fr.messenger.yahoo.com
Current Thread |
---|
|
<- Previous | Index | Next -> |
---|---|---|
RE: [xsl] Static type-checker, drkm | Thread | RE: [xsl] Static type-checker, Michael Kay |
RE: [xsl] Static type-checker, drkm | Date | Re: [xsl] Too many apply-templates , Mike Ferrando |
Month |