[Bug 1645] [FS] tightening the description of the Normalization phase

http://www.w3.org/Bugs/Public/show_bug.cgi?id=1645





------- Additional Comments From jmdyck@ibiblio.org  2005-07-15 22:50 -------
(In reply to comment #0)
> 3.5.3 points out that 
> the type system in the Core grammar is not a subset of 
> XQuery grammar.  The correction would be to reword 3.2.1 to say
> that Core is mostly a subset of XQuery, except that the type 
> system in Core is richer than XQuery's.

As far as I can tell, the SequenceType grammar is the same for XQuery and Core.
It's true that "the type system" is richer than can be expressed by
SequenceType, but that is outside the XQuery and Core grammars. ('Type' is a
Formal symbol.)

Received on Friday, 15 July 2005 23:05:08 UTC