My body is ugly [Re: Contextualizing keywords]

[grauzone]

Michel Fortin wrote:
> Also, I wonder why we need braces everywhere in contracts. I'd like it 
> if I could write:
> 
> 
> int test(int i)
> in
>     assert(i > 1);
> out (z)
>     assert(z < 0);
> do
>     return -i + 1;

Just bikeshedding a bit around... why not make it even simpler, and just 
leave away the body/do completely? That would finally be a syntax I'd be 
happy with. It wouldn't destroy the normal code layout too, because 
in/out contracts are fully additional syntax.

int test(int i)
   in assert(i > 1);
   out(z) assert(z < 0);
{ return -i + 1; }