1714 2005-07-18 07:52:45 +0000 [FS] editorial: 5.10 Schema Import 2007-01-16 17:35:46 +0000 1 1 1 Unclassified XPath / XQuery / XSLT Formal Semantics 1.0 Last Call drafts All All CLOSED FIXED P2 minor --- 1 jmdyck simeon public-qt-comments oldest_to_newest 4800 0 jmdyck 2005-07-18 07:52:45 +0000 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/ 9114 1 simeon 2006-04-10 18:14:23 +0000 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 9132 2 jmdyck 2006-04-11 06:32:54 +0000 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. 12294 3 jmdyck 2006-10-05 02:59:49 +0000 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. 12898 4 simeon 2006-11-09 22:49:09 +0000 Agreed. Fixed. - Jerome