Sent from Mail for Windows 10

From: RobStapper Sent: Thursday, June 25, 2020 1:33 PM To: basex-talk@mailman.uni-konstanz.de Subject: inline issue

Hi Cristian,

It has been a while. I hope all is well over there. Yep, still using BaseX and still loving it. It is a great product.

However 😉 lately I encounter an issue with the %basex:inline annotation ☹ and it is bugging me.

Consider both snippets [snip1], [snip2]. Both should give the same result. However they don’t and worse a can’t make the second snippet [ snip2] work conform the first snippet{snip1].

[snip1]: ====== if ( true() ) then "true" else error((),"false")

[snip2]: ====== %basex:inline(0) %basex:lazy function( $pred         , $true         , $false         )         {           if ( $pred)           then $true           else $false         } ( true()           , "true"           , error((),"false")           )

Can you please have a look at this? TIA.

Greatings, Rob Stapper

PS. As I remember this used to work fine. I remember we had a discussion concerning inlining and laziness on 2015-06-17.

Sent from Mail for Windows 10