[FS] MS-FS-LC1-064 from Michael Rys on 2004-06-14 (public-qt-comments@w3.org from June 2004)

From: Michael Rys <mrys@microsoft.com>
Date: Mon, 14 Jun 2004 12:18:11 -0700
To: <public-qt-comments@w3.org>
Message-ID: <EB0A327048144442AFB15FCE18DC96C70324ED7A@RED-MSG-31.redmond.corp.microsoft.com>

Section 4.1.5		
Technical	

What happens if I have an inferred type of a union of atomic (xs:int |
xs:double) and I find a function expecting xs:double. The rule doing
promotion does not apply, the union rule also does not apply it seems.
Please clarify.
Also, is xs:integer? treated as an atomic type or a union of xs:integer
| empty() ?

Received on Monday, 14 June 2004 15:19:27 UTC