On Friday 24 February 2006 16:57, you wrote: > > Section 3.12.5 Constructor Functions seems to be pretty clear > > about it: > > That only says they are equivalent to casts. Are casts exempt from the > general rule of substitutability, which says that any expression can return > a value whose dynamic type is a subtype of the required type? Another question is what the negative impact, if any, is when returning say xs:byte when xs:integer is the static type(apart from Per Bothner's confusion when investigating these corner cases). FransReceived on Friday, 24 February 2006 18:04:16 UTC
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:43:44 UTC