3846 2006-10-18 09:59:15 +0000 axis child:: of ElementType - processing-instructions and comments 2007-02-14 08:20:40 +0000 1 1 1 Unclassified XPath / XQuery / XSLT Formal Semantics 1.0 Candidate Recommendation PC Windows XP CLOSED INVALID P2 normal --- 1 tim simeon public-qt-comments oldest_to_newest 12525 0 tim 2006-10-18 09:59:15 +0000 From 8.2.2.1.3 Inference rules for the child axis the rule: statEnv |- ElementType type lookup OptNillable TypeReference statEnv |- OptNillable TypeReference expands to Type1 | · · · | Typen statEnv |- Type1 has node content Type1' · · · statEnv |- Typen has node content Typen' --------------------------------------------------------------- statEnv |- axis child:: of ElementType : Type1' | ... | Typen' makes no mention of processing-instructions and comments. Should it not make such a mention, in a similar manner to the rule for axis child:: of document? statEnv |- axis child:: of document { Type } : Type & processing-instruction* & comment* 13982 1 simeon 2007-02-14 02:26:35 +0000 Tim, I believe it does produce a type with PI and comments added. The 'expands to' judment which is used in the inference rule you quote, is defined using the 'adjusts to' (Section 8.1.7) judgment which indeed add types for PI and comment nodes. Let us know if that makes sense. Best, - Jerome 13984 2 tim 2007-02-14 08:20:07 +0000 Thatnks - I hadn't followed through all the judgements quite carefully enough! I'd be very greateful if you could comment on bug report 4273, as I think this is the only major stumbling block we have with our XQuery implementation.