W3C home > Mailing lists > Public > public-qt-comments@w3.org > May 2004

RE: Casting/constructors should accept the empty sequence

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>
Message-Id: <20040529211842.E9BE0A1E49@frink.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

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:45:19 UTC