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

https://www.w3.org/Bugs/Public/show_bug.cgi?id=28494

--- 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