On Wed, Apr 8, 2009 at 6:38 PM, Christopher Wright <[email protected]> wrote:
> Then take this example:
>
> void foo(int i)
> {
> if (i < 0) return;
> in { assert (i != -1; }
> }
>
> This is confusing.
There's a simple solution: define the function body grammar to only
allow in{} and out{} blocks at the beginning of the function, before
any statements.
