<div dir="ltr">For comparison, Java prints <div>x</div><div>y</div><div>2</div><div>but there is a warning in the code for foo that the finally block does not complete normally.</div><div>The write-up on finally clauses is very complicated.  I suspect ours will be as well.  I think the only reasonable choices are the Java one and James' suggestion of throwing an exception because of multiple returns.  I lean slightly toward the Java solution, but can live with either (I don't think this reflects good coding style).</div></div><br><div class="gmail_quote"><div dir="ltr">On Tue, Jun 23, 2015 at 3:09 AM James Noble <<a href="mailto:kjx@ecs.vuw.ac.nz">kjx@ecs.vuw.ac.nz</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
> On 23/06/2015, at 21:51pm, Michael Homer <<a href="mailto:Michael.Homer@ecs.vuw.ac.nz" target="_blank">Michael.Homer@ecs.vuw.ac.nz</a>> wrote:<br>
><br>
> Follow-up question: what should this code do?<br>
<br>
at a guess: raise an “you are attempting to return from a method invocation that has already returned” error<br>
<br>
same as this:<br>
<br>
var aBlock<br>
<br>
method setup {<br>
   aBlock:= { return 42 }<br>
}<br>
<br>
setup<br>
<br>
aBlock.apply<br>
<br>
<br>
<br>
_______________________________________________<br>
Grace-core mailing list<br>
<a href="mailto:Grace-core@cecs.pdx.edu" target="_blank">Grace-core@cecs.pdx.edu</a><br>
<a href="https://mailhost.cecs.pdx.edu/mailman/listinfo/grace-core" rel="noreferrer" target="_blank">https://mailhost.cecs.pdx.edu/mailman/listinfo/grace-core</a><br>
</blockquote></div>