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

[Bug 5795] Static Typing: CVS: K2-Steps-2, K2-FunctionProlog-14

From: <bugzilla@wiggum.w3.org>
Date: Thu, 26 Jun 2008 12:10:47 +0000
To: public-qt-comments@w3.org
Message-Id: <E1KBqJL-0007OK-SW@wiggum.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 GMT

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