[Bug 29951] [FO31] fn-transform "saved"

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

--- Comment #7 from Josh Spiegel <josh.spiegel@oracle.com> ---
Some examples for discussion:

(e1, e2, e3) [2]

Which expressions get evaluated?

  e1, e2?
  All three?
  Just e2?

------------------------------------------
Equivalent?

for $x in f()
let $y := e1
where $x > 3
return
  ...

vs 

for $x in f()
where $x > 3
let $y := e1
return
  ...
------------------------------------------

let $x := e1
return
  if (c) then
    "hello world"
  else 
    $x

Can I inline the let?  

------------------------------------------

for $o in orders(),
    $c in customers()
let $x := f($c)
where $o/cid eq $c/cid
return 
   ...

Rewrite using a hash-join?

------------------------------------------

(e1, e2)

If e2 raises a type error does e1 get evaluated?  What if the type error is
detected statically?  If it is detected during dynamic evaluation, do side
effects produced by e1 still persist?

------------------------------------------

let $dummy := e1
return 123

Does e1 get evaluated?

-- 
You are receiving this mail because:
You are the QA Contact for the bug.

Received on Tuesday, 8 November 2016 16:07:28 UTC