This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
please clarify what happened if there is a context item declaration with a VarValue or VarDefaultVal inside a library module. should an error be raised? If so, which one? 4.16 Context Item Declaration: When a context item declaration appears in a library module, neither VarValue nor VarDefaultValue may be specified. Such a context item declaration serves only to declare the expected type of the context item.
Nice catch - I need to define an error for this.
I propose to change the text as follows: <new> A context item declaration allows a query to specify the static type, value, or default value for the initial context item. In a library module, a context item declaration specifies only the static type. Specifying a VarValue or VarDefaultValue for a context item declaration in a library module is a static error [err:XQST0113]. </new> And to add this error description: <new> err:XQST0113 Specifying a VarValue or VarDefaultValue for a context item declaration in a library module is a static error. </new>