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 11:12:37 +0000
To: public-qt-comments@w3.org
Message-Id: <E1KBpP3-0002Wd-Un@wiggum.w3.org>


--- 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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:23 UTC