- From: <bugzilla@wiggum.w3.org>
- Date: Thu, 26 Jun 2008 12:10:47 +0000
- To: public-qt-comments@w3.org
http://www.w3.org/Bugs/Public/show_bug.cgi?id=5795
Michael Kay <mike@saxonica.com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |mike@saxonica.com
--- Comment #7 from Michael Kay <mike@saxonica.com> 2008-06-26 12:10:47 ---
>So, if an expression yields an error, it's ok to rewrite it to fn:error? So for any expression that raise an expression one can potentially rewrite to fn:error and then proceed to reduce using the type none?
It seems to me to be perfectly reasonable to rewrite the expression as
fn:error() - but not reasonable to then do type inferencing on error() and
further reduction that causes the error not to be raised!
Frankly, I think that we haven't formalized error behaviour to the level where
such rewrites are safe. I've found that it's generally better to infer a type
of item()* for expressions known to throw an error - but that's in an
optimistic environment, of course.
--
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 12:11:26 UTC