1663 2005-07-16 08:05:26 +0000 [FS] editorial: 4.7.3.5 Computed Processing Instruction Constructors 2007-01-16 17:32:29 +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 4747 0 jmdyck 2005-07-16 08:05:26 +0000 4.7.3.5 Computed Processing Instruction Constructors Norm / rule (2|3) fs:item-sequence-to-untypedAtomic-PI( [[ Expr ]]_Expr ) This function takes a single argument (of type item*), but [[ Expr ]]_Expr could result in a sequence of comma-separated ExprSingles, which would then constitute multiple args. Put [[ Expr ]]_Expr in parentheses to ensure a single arg. Norm / rule (2|3) fn:data( [[ Expr1 ]]_Expr ) Ditto the above. Add parentheses to ensure a single arg. DEv / rule 3 / premise 3 "xs:NCName(Value1); =>" Delete semicolon. DEv / rule (2|3|4) / premise 3 "dynEnv |- xs:NCName(Value1) => NCName1" I don't think you need dynEnv for this. Change to: NCName1 = xs:NCName(Value1) DEv / rule (2|3|4) These three rules differ only in premise 2. Couldn't you combine them into one rule, with: statEnv |- Value1 matches (xs:NCName|xs:string|xdt:untypedAtomic) as its premise 2? 9270 1 simeon 2006-04-16 23:53:12 +0000 Fixed as suggested. - Jerome 11816 2 jmdyck 2006-09-18 08:21:32 +0000 In the fourth comment, I suggested removing "dynEnv |-" and changing "=>" to "=". The 2006-06 CR has the first change but not the second, which doesn't really make sense. 12896 3 simeon 2006-11-09 22:45:31 +0000 Fixed. - Jerome