This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
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*
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
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.