gcontracts icon indicating copy to clipboard operation
gcontracts copied to clipboard

@Contracted not processed correctly

Open barneyb opened this issue 11 years ago • 0 comments

Trying to work around #48 I removed my @Contracted annotation, but all the contracts were still morphed into the generated code, and even more interestingly, the emitted bytecode had @Contracted added back onto the class.

The docs seem to imply that without that annotation, not GContracts AST transforms will be done, but that doesn't actually seem to be the case.

barneyb avatar Jul 18 '14 22:07 barneyb