- From: <bugzilla@wiggum.w3.org>
- Date: Mon, 30 Jun 2008 09:01:03 +0000
- To: public-qt-comments@w3.org
http://www.w3.org/Bugs/Public/show_bug.cgi?id=5795
Tim Mills <tim@cbcl.co.uk> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|RESOLVED |REOPENED
Resolution|FIXED |
--- Comment #18 from Tim Mills <tim@cbcl.co.uk> 2008-06-30 09:01:03 ---
In Bug 5810, Michael Dyck has confirmed that
fs:item-at(fn:error(), Expr)
can be rewritten as the empty sequence by virtual of its static type.
"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."
This can all be proved without actually performing a rewrite to fn:error.
$fs:dot has type none (because it is an error).
>From FS. statEnv |- axis Axis of none : none
So $fs:dot/child::e is also of type none.
fs:item-at( $fs:dot/child::e (of type none), 928) is empty
Any expression of type empty can be rewritten as the empty sequence.
--
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 Monday, 30 June 2008 09:01:38 UTC