- From: Michael Kay <mhk@mhk.me.uk>
- Date: Sat, 29 May 2004 22:18:05 +0100
- To: "'Ashok Malhotra'" <ashokmalhotra@alum.mit.edu>, "'Don Chamberlin'" <chamberl@almaden.ibm.com>, <mrys@microsoft.com>
- Cc: <public-qt-comments@w3.org>
> > Don, Michael: > We discussed your comments > http://lists.w3.org/Archives/Public/public-qt-comments/2004Mar /0211.html and http://lists.w3.org/Archives/Public/public-qt-> comments/2004Mar/00891.html > in San Jose and agreed to make the following changes: > > 1. The constructor functions should accept the empty > sequence. If the empty sequence is passed to a constructor > function, the empty sequence is returned. > I'm mildly curious about how I explain this to users of systems that do static typing. Am I right in thinking that if you have a function declared as: declare function f($x as xs:int) ... then the call f(xs:int(3)) will now be a static type error? Michael Kay
Received on Saturday, 29 May 2004 17:18:43 UTC