Function types syntax

[Zdenek Tronicek]

Peter Levart napsal(a):
> Uncommon perhaps, but it is a part of today's Java. Try this snippet of
code:
>         label:
>         {
>             System.out.println("Hello!");
>             if (true)
>                 break label;
>             System.out.println("Not printed");
>         }
> It's valid Java.

Ok. In such a case, it is not so bad. It seemed a little bit strange to me
that John Rose had proposed something that was not in compliance with the
Tennent's correspondence principle :).

Z.
-- 
Zdenek Tronicek
FIT CTU in Prague