grammar for method-statement looks wrong
bkerin opened this issue · comments
In CosBase/include/cos/cos/method.h:
method-definition:
defmethod( generic-specifier )
method-statement
endmethod
method-statement:
statement
statement-with-contract
This looks wrong because multiple statements are allowed, the OOPSLA paper version looks more right.
same as #25