Typechecker does not report use of goto in function
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
Issue Log
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