This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
3.1.2 Dynamic context It does not say what is the type of fs:position and fs:last. Presumably it is xs:integer, the return type of fn:position() and fn:last() in Functions and Operators. As for fs:dot, its type presumably depends on the static analysis that created the current statEnv, or the initialization of the initial statEnv.
I believe this is editorial. - Jerome
Added some clarifying text about the type for the $fs:last, $fs:position, and $fs:dot variables. - Jerome