blob: 3f43c2265e932622d68e6d52cf05b4f89f417653 (
plain)
1
2
3
4
|
ReturnErrors.dfy(32,11): Error: cannot have method call in return statement.
ReturnErrors.dfy(38,11): Error: cannot have effectful parameter in multi-return statement.
ReturnErrors.dfy(43,10): Error: can only have initialization methods which modify at most 'this'.
3 resolution/type errors detected in ReturnErrors.dfy
|
