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

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 UTC