This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
E.1.5.3 Annotate "serialization followed by construction a new data model value" Insert "of" before "a". Notation "statEnv |- annotate as Type ( Value1 ) => Value2" I think it would be more readable if you phrased it as annotate Value1 as Type => Value2 or Value1 annotated as Type => Value2 (Ditto for nil-annotate and simply annotate.) Sem / rule 1 / conclusion "annotate as () (()) => ()" Change the first "()" (the Type) to "empty". (leftover from last year, comment #267) Sem / rule (10|11|12) "nil-annotate as Type Nillable?" Change to nil-annotate as Nillable? Type (leftover from last year, comment #268) Sem / rule 11 / premise 1 "Value filter @xsi:type => TypeName" The 'filter' judgment "yields" a SimpleValue, not a TypeName. (leftover from last year, comment #269) Sem / rule 11 / premise 2 "statEnv |- XsiTypeReference = of type TypeName" I don't think statEnv is needed for this judgment. (leftover from last year, comment #270) Sem / rule 12 / conclusion "attribute AttributeName of type xs:anySimpleType { Value }" "attribute AttributeName of type TypeName { Value' }" Attribute content is SimpleValue, not Value. Sem / rule 15 / premise 1 "String as xs:anySimpleType" s/as/of type/ (leftover from last year, comment #271) Sem / rule (15|16) / conclusion "annotate as SimpleType ( SimpleValue )" SimpleValue is not a Value, and so does not conform to judgment form declaration.
#1 fixed the typo. #2 Notation. left the judgment unchanged, too late a change at this point. #3 Sem / rule 1 / conclusion. fixed to 'empty'. #4 Sem / rule (10|11|12). fixed the rules. #5 Sem / rule 11 / premise 1. The simple value here is the content of the xsi:type attribute, which should be a QName corresponding to a type name. #6 Sem / rule 11 / premise 2. Agreed removed statEnv. #7 Sem / rule 12 / conclusion. Agreed. Fixed. #8 Sem / rule 15 / premise 1. Agreed. Fixed. #9 Sem / rule (15|16) / conclusion. Looking at the grammar in 2.3.1 Formal values a simple value is indeed a value. - Jerome