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: Tue, 24 Jun 2008 13:45:28 +0000
To: public-qt-comments@w3.org
Message-Id: <E1KB8ps-0002iZ-PM@wiggum.w3.org>

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


Frans Englich <frans.englich@telia.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|CVS: K2-Steps-2, K2-        |Static Typing: CVS: K2-
                   |FunctionProlog-14           |Steps-2, K2-FunctionProlog-
                   |                            |14




--- Comment #1 from Frans Englich <frans.englich@telia.com>  2008-06-24 13:45:28 ---
But isn't this extremely counter intuitive? The user has done wrong: she's
using an axis step inside a function. Instead of that it gets reported as an
error, it evaluates to a perfectly valid result: an empty sequence. It's not
helpful, in my opinion.

What says an expression that happens to contain a dynamic error, can be
rewritten to a call to fn:error? I'd say e[928] isn't effectively equal to 
(fn:error('err:XPDY0002'))[928] because in the latter case it has the static
type none, which the former doesn't have.


-- 
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 Tuesday, 24 June 2008 13:46:04 GMT

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