3881 2006-10-29 10:33:11 +0000 [FS] editorial: 4.1.5 Function Calls / Notation 2007-11-04 06:00:06 +0000 1 1 1 Unclassified XPath / XQuery / XSLT Formal Semantics 1.0 Candidate Recommendation All All ASSIGNED P2 minor --- 1 jmdyck jmdyck public-qt-comments oldest_to_newest 12648 0 jmdyck 2006-10-29 10:33:11 +0000 4.1.5 Function Calls Notation (two blurbs on fs:convert-simple-operand and PrototypicalValue) It seems like these two blurbs are saying mostly the same thing. Perhaps they could be merged. Maybe change "PrototypicalValue" to "PrototypicalValueForType". "Also, note that in the case of built-in functions where the expected type is specified as numeric, the prototypical value is a value of type xs:double." This shouldn't be in a mere Note. Also, you first have to say that when the expected type is specified as numeric, Type <: xs:anyAtomicType* is deemed to be true. Actually, you could cover both by saying (back in 3.1.1) that for such functions, the signature in funcType has xs:double for each 'numeric' parameter. That will ensure that Type <: xs:anyAtomicType* is true, and that a value of type xs:double is used for PrototypicalValue. 14225 1 jim.melton 2007-02-26 00:20:08 +0000 The fix for this bug does not appear in the Recommendation of 23 January 2007. It will be considered for a future publication (either an Errata document or some possible future version of the specification).