[Grace-core] finally {return}

[James Noble]

> On 24/06/2015, at 12:30pm, Michael Homer <Michael.Homer at ecs.vuw.ac.nz> wrote:
> 
>>  I don’t see the same block returning twice there?

it’s not really the same block returning twice is it: it’s a method returning twice…

> Have a third (and hopefully last) one then:

it should throw a “block trying to return from a method that’s already returned” error.

J