Try-Catch and Lazy-Evaluation: trycatch_doc_example_06.xq

[Tim Kraska]

Query trycatch_doc_example_06.xq does not run if the lazy evaluation of TempSequences for the LET is turned on.

The reason is, that for Try-Catch all variables have to be evaluated right before the return-clause. Therefore the compiler needs to set the flag eager-materialize to the LET-Clause.

To reproduce the error, switch the Lazy-Temp-Sequence in the store on (line 798 in simple_store.cpp)

[dflorescu (dflorescu-9)]

Markos, Matthias,

this bug should not be postponed. This made sense a year and a half earlier,
but I think we should solve it now for 2.0.

[Sorin Marian Nasoi (sorin.marian.nasoi)]

Marked with Resolution = None at Dana's request.