On 2009-08-03 11:47:49 -0400, Don <[email protected]> said:
I refuse to believe that the optimal solution to that problem involves the 'body' keyword.
Then would this do?
int test(int i)
in {
assert(i > 1);
}
out (z) {
assert(z < 0);
}
do {
return -i + 1;
}
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;
--
Michel Fortin
[email protected]
http://michelf.com/
