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

http://www.w3.org/Bugs/Public/show_bug.cgi?id=5795





--- Comment #5 from Frans Englich <frans.englich@telia.com>  2008-06-26 11:12:37 ---
"The context item has static type 'none' because accessing it is equivalent to
calling fn:error (whose return type is none).  So we can rewrite the path
expression $fs:dot/e as a call to fn:error."

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?

I don't see how that holds. I'd say that just because an expression raise an
error, doesn't make it ok to rewrite to function fn:error.


-- 
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 11:13:11 UTC