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


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 UTC