Thanks for the pointer to that thread. After reading it I did an even simpler example and found that in general, @time reports a different amount when called from the global context:
https://github.com/JuliaLang/julia/issues/7450 peace, s On Sat, Jun 28, 2014 at 1:13 PM, Ivar Nesje <[email protected]> wrote: > Is the problem that @time uses some temporary variables that get counted? > > See: https://github.com/JuliaLang/julia/pull/6746 >
