[FS] MS-FS-LC1-064

Section 4.1.5		

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