This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
2.1.2 Notations for judgments "A judgment can contain symbols and patterns." In a judgment such as Expr1 + Expr2 : Type is the plus sign a symbol or pattern? Neither, it seems. Is there a name for what it is? See my comments on the previous Last Call draft for more. http://lists.w3.org/Archives/Public/public-qt-comments/2004Apr/0107.html (comment #015) "Patterns are written with italicized words." This strikes me as very odd use of the word "pattern". Do you have a reference for it? (This is another leftover from last year, comment #016.) "By convention, all patterns in the Formal Semantics correspond to grammar non-terminals" This is not entirely true. Here are some counter-examples: AttributeValueContent, ElementContent Axis ConstructionMode Error, dynError, typeError LocationHints SequenceOp, ArithOp, UnaryArithOp, ValueOp, GeneralOp URI-or-#NULL-NAMESPACE Variable "If the same pattern occurs twice in a judgment description" Delete "description" ? "cannot be both instance of the pattern" s/be both instance/both be instances/ "We may write not(Judgment) the judgment which holds ..." Delete "the judgment"? Replace with comma? "an "object" may take a value ..." It would be more precise to say: "a pattern may be instantiated to a value" "the object Color" s/object/pattern/ "those set of possible value" Change to "that set of possible values" "For instance, the judgment ... which holds, if ..." Delete "which" and comma.