Thanks, I was hoping there might be some way to update the output result instead of simply adding to output. I just ran a 420 minutes regular expressions query, which I might be going to optimize now because there is not much visible progress anymore :-P
Sorry, now I got it. You could try something like this:
for $i in 1 to 100 let $string := string-join(( (: yields 
, and jumps to the beginning of the current line :) string:cr(), 'FORTSCHRITT: ', (1 to $i idiv 5) ! '.', $i, '%' )) return ( prof:sleep(50), (: calls System.err.println($string) :) Q{java.lang.System}err() => Q{java.io.PrintStream}print($string) )
I think we won’t offer a built-in function for that, as the result of functions like fn:trace, prof:dump, etc. will be sent to different output channels, some of which won’t allow the overwriting of output that has previously been sent.
Hope this helps, Christian