1581 2005-07-14 04:13:26 +0000 [FS] technical: 4.1.5 Function Calls: argument promotion 2005-09-06 12:59:26 +0000 1 1 1 Unclassified XPath / XQuery / XSLT Formal Semantics 1.0 Last Call drafts All All CLOSED FIXED P2 normal --- 1 jmdyck simeon public-qt-comments oldest_to_newest 4555 0 jmdyck 2005-07-14 04:13:26 +0000 4.1.5 Function Calls STA / rule 3 "the type of each actual argument is a subtype of some type that can be promoted to the type of the correponding function parameter." statEnv |- Type1 <: Type1' statEnv |- Type1' can be promoted to Type1'' The "middleman" Type1' is unnecessary. The first premise implies that statEnv |- Type1 can be promoted to Type1' which, with the second premise and the transitivity of promotion, implies that statEnv |- Type1 can be promoted to Type1'' which is a more concise statement of the constraint. 5242 1 simeon 2005-07-27 02:16:11 +0000 I agree. This is a simpler, and better way to write it. Thanks for picking this up. - Jerome 5606 2 simeon 2005-08-31 15:24:45 +0000 The XML Query and XLST WGs have accepted the comment and the proposed fix. - Jerome