W3C home > Mailing lists > Public > public-qt-comments@w3.org > June 2008

[Bug 5810] [XQuery] reasoning about fn:error()

From: <bugzilla@wiggum.w3.org>
Date: Thu, 26 Jun 2008 15:25:47 +0000
To: public-qt-comments@w3.org
Message-Id: <E1KBtM3-0000L7-Kn@wiggum.w3.org>

http://www.w3.org/Bugs/Public/show_bug.cgi?id=5810





--- Comment #5 from Tim Mills <tim@cbcl.co.uk>  2008-06-26 15:25:47 ---
Another thing to consider is that type 'none' gets quite easily 'lost' during
type checking.

e.g.

count( if ( ... ) then 1 else fn:error() )


The type of:

if ( ... ) then 1 else fn:error() 

is xs:integer | none = xs:integer.


-- 
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.
Received on Thursday, 26 June 2008 15:26:31 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 27 March 2012 18:14:52 GMT