Strange interaction between return and try/finally

[toivoh]

Discovered through toivoh/Debug.jl#30 :
It seems that try/finally doesn't like that you leave the try block using return.
Sometimes it gives a syntax error, as in

julia> let
           try
               return 5
           finally
               println("exiting")
           end                   
       end

syntax error: misplaced return statement at line 3

Sometimes, it just bypasses the finally block, as in

julia> let
           try
               return 5
               3
           finally
               println("exiting")
           end                   
       end

5

To my mind, both of these examples should print out "exiting", and then return the value 5.

The reason that I bring this up is because Debug.jl wraps each scope block in a try/finally to make sure to capture when you leave a block, e.g. for step over/out. If the fix is nontrivial, is there some way to work around this issue in the meantime?

[JeffBezanson]

Yes, finally is not complete yet. This is on my secret todo list, and now it is on my public todo list :)

[toivoh]

Ok, good.

[stevengj]

This does not seem fixed yet:

function foo()
    (a,b) = try
        return true
        (0,1)
    finally
        println("exiting")
    end
end

gives LoadError: syntax: misplaced return statement in master.

[yuyichao]

Seems fixed now?

julia> function foo()
           (a,b) = try
               return true
               (0,1)
           finally
               println("exiting")
           end
       end
foo (generic function with 1 method)

julia> foo()
exiting
true

[tkelman]

add a test?

[JeffBezanson]

Possible this was fixed by my front-end redesign.