W3C home > Mailing lists > Public > public-qt-comments@w3.org > October 2007

[Bug 3833] Static typing of fn-lang

From: <bugzilla@wiggum.w3.org>
Date: Mon, 08 Oct 2007 12:55:59 +0000
CC:
To: public-qt-comments@w3.org
Message-Id: <E1Ies9P-0003qH-7I@wiggum.w3.org>

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


nick@cbcl.co.uk changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |REOPENED
         Resolution|FIXED                       |




------- Comment #2 from nick@cbcl.co.uk  2007-10-08 12:55 -------
Thanks for making the change. My apologies for the delay in getting back about
this fix, and for unfortunately suggesting an incorrect fix.

My suggestion didn't fix the problem, as because we know nothing about the
$input-context, the path expression now has a static type of element()? (i.e.
quantifier zero-or-one), which fails to type check against the node() which
fn:lang expects.

Instead of the [1] could the whole path be surrounded with an exactly-one which
should then guarantee the correct type
Received on Monday, 8 October 2007 12:56:08 UTC

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