- From: Michael Kay <mhk@mhk.me.uk>
- Date: Fri, 24 Feb 2006 16:57:55 -0000
- To: "'Jerome Simeon'" <simeon@us.ibm.com>
- Cc: "'Per Bothner'" <per@bothner.com>, <www-ql@w3.org>
> 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? Michael Kay http://www.saxonica.com/
Received on Friday, 24 February 2006 16:58:19 UTC