This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
5.10 Schema Import Core Grammar "The core grammar productions" s/core/Core/ Notation [16 (Formal)] LocationHints ::= "at" URILiteral ("," URILiteral)* This should be in the XQuery and Core grammars. Both SchemaImport and ModuleImport could use it. (leftover from last year, comment #153) SCP "The rules for mapping the imported schema begins in ..." s/begins/begin/ SCP / rule 4 / conclusion "statEnv |- () =>type statEnv" This uses '()' to stand in for an empty Definitions. This is not a good idea, since there's possible confusion with '()' denoting the empty sequence in the XQuery/Core syntax. "the same scope, that is" Comma splice. s/, that/. That/
Fixed #1, #3, #4, #5. No change for #2, which works fine as is. Changes to the XQuery grammar at this point should be avoided. - Jerome
I suppose I can understand your reluctance to change the XQuery grammar at this point. However, given that I made the original suggestion two years ago, perhaps you can understand my disgruntlement.
I said: > > SCP / rule 4 / conclusion > "statEnv |- () =>type statEnv" > This uses '()' to stand in for an empty Definitions. This is not a > good idea, since there's possible confusion with '()' denoting the > empty sequence in the XQuery/Core syntax. and you changed '()' to 'No Type Definition', i.e. replacing one ad-hoc thing with another. Just delete it! There's nothing wrong with statEnv |- =>type statEnv See 5 / SCP / rule 1 5 / DCP / rule 1 5.11 / Notation 3 / rule 1 5.11 / Notation 3 / rule 3 for similar constructs.
Agreed. Fixed. - Jerome