- From: Per Bothner <per@bothner.com>
- Date: Tue, 24 Feb 2004 17:12:48 -0800
- To: public-qt-comments@w3.org
A few typos and edtorial problems I noticed while trying to get an overview of the formal semantics: 2.4.1 Processing model item 2. Static Context Processing Typo: "In XQuery, static the input context" should be "the static input context" 3.4.1 Predefined Types The definition of xdt:untypedAny hasn't been updated to xdt:untyped: "define type xdt:untypedAny restricts xs:anyType" should be: "define type xdt:untyped restricts xs:anyType" 4.7.1 Direct Element Constructors - Normalization Typo: "So to preserve useful type information, we distinguish between direct element constructor's" -> "constructors" 4.12.2 Typeswitch / Notation Typo: "is used in the static [missing] of typeswitch". 4.12.6 Treat / Normalization Uses old typeswitch syntax. Should be: typeswitch ([ Expr ]Expr) case $fs:new as SequenceType return $fs:new default return fn:error() 4.13 Validate Expressions / Static Type Analysis The line: statEnv1 |- prime(Type) = ElementType1 ... ElementTypen would be clearer by adding one or two "|"s (assuming that is intended): statEnv1 |- prime(Type) = ElementType1 | ... | ElementTypen -- --Per Bothner per@bothner.com http://per.bothner.com/
Received on Tuesday, 24 February 2004 20:12:54 UTC