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


--- Comment #8 from Tim Mills <tim@cbcl.co.uk>  2008-06-30 08:03:59 ---
Thanks Michael (Dyck).  Do you have an opinion on whether 


is 1, and whether (more generally) it is permitted to count a function whose
argument has quantifier 1 without evaluating it?

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 Monday, 30 June 2008 08:04:33 UTC