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


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