On Thursday, 5 February 2015 at 04:36:39 UTC, Zach the Mystic wrote:
I have an idea. Treat all assert statements which come before the first non-assert statement as part of the 'in' contract. I'm not saying the compiler has to generate a whole 'in' function, but these asserts can be internally tagged to behave *as if* in an 'in' contract. That solves the tooling problem and the too-much-code problem, no?

No. There is no point of screwing up the language because an arbitrary choice of formating is taking an absurd amount of vertical space.

Reply via email to