search

frankpfenning / C0

C0 Language
4 stars 0 forks source link

Assertion contracts at the end of blocks #28

Closed frankpfenning closed 11 years ago

frankpfenning commented 11 years ago

Because we have a hand-written parser, it would now be easy to permit //@assert contracts at the end of blocks, just before the closing brace.

However, it would complicate the grammar and introduce a potential ambiguity that could only be resolved with look-ahead.

robsimmons commented 11 years ago

I am definitely in favor of this change.

frankpfenning commented 11 years ago

Fixed, as of r196.

On Mon, Dec 10, 2012 at 10:09 PM, Robert J. Simmons < notifications@github.com> wrote:

I am definitely in favor of this change.

— Reply to this email directly or view it on GitHubhttps://github.com/frankpfenning/C0/issues/28#issuecomment-11229312.