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


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