The typechecker does not report an error when goto is used in a function, rather than in an action. Generated Java code does not compile.

Submitted by Eelco Visser on 16 February 2010 at 00:35

On 8 March 2010 at 12:42 Nathan Bruning commented:

Should be solved in revision 3694.
Testcase: test/fail/goto-in-func.app

Log in to post comments