W3C home > Mailing lists > Public > public-qt-comments@w3.org > April 2015

[Bug 28494] [QT3TS] step-expr-si-1"

From: <bugzilla@jessica.w3.org>
Date: Thu, 16 Apr 2015 11:41:17 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-28494-523-dgZ2shly2R@http.www.w3.org/Bugs/Public/>

--- Comment #4 from Tim Mills <tim@cbcl.co.uk> ---
Following that through, from the original

let $baseElement as empty-sequence() := $extended/baseElement 
return $baseElement

We begin by optimizing $baseElement.  This expression has static type empty
sequence, therefore it optimizes itself to ().  Now the expression is

let $baseElement as empty-sequence() := $extended/baseElement 
return ()

We continue by optimizing the FLWOR expression, and spot that $baseElement is
no longer used.  Therefore it happily optimizes to the empty sequence.

I rather wish "as empty-sequence()" was forbidden by the language.

You are receiving this mail because:
You are the QA Contact for the bug.
Received on Thursday, 16 April 2015 11:41:19 UTC

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