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: Wed, 25 Jun 2008 11:03:30 +0000
To: public-qt-comments@w3.org
Message-Id: <E1KBSmg-00085B-09@wiggum.w3.org>


--- Comment #4 from Tim Mills <tim@cbcl.co.uk>  2008-06-25 11:03:29 ---

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.

declare function local:myFunc()

The quantifier of fn:error is 1, so we either have a sequence of one item or an
error.  But we're not interested in the first item, so there's no need to
evaluate it to cause an error.  We want item 928 - therefore we get the result
as ().

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 Wednesday, 25 June 2008 11:04:04 UTC

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