This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
7.2.5 fn:collection and fn:doc The last inference for fn:doc has the premise, statEnv |- not (Expr = StringLiteral). The corresponding inference for fn:collection uses statEnv |- Expr is not a StringLiteral for its premise. I think the formulation in fn:collection is superior. If one assumes that unbound variables above the line have implicit existential quantification (which seems to be the usual rule), then statEnv |- not (Expr = StringLiteral) would mean (there exists a StringLiteral) [ statEnv |- not (Expr = StringLiteral)] which is seemingly always true (no Expr can be equal to every StringLiteral).
Taken over by events. The formulation for fn:doc has already been made consistent with the one on fn:collection(). See Bug #1758. - Jerome