W3C home > Mailing lists > Public > www-ql@w3.org > January to March 2006

Re: question about subtyping and type annotations

From: Frans Englich <frans.englich@telia.com>
Date: Fri, 24 Feb 2006 18:15:41 +0000
To: www-ql@w3.org
Message-Id: <200602241815.41306.frans.englich@telia.com>

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).

Received 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