blob: 8bfe61d169b0fbf0d36b0ecd45c6291aef71dc52 (
plain)
1
2
3
|
async-bug.bpl(11,10): Error: Const linear variable cannot be an argument for a const parameter of an async procedure call
async-bug.bpl(16,10): Error: Const linear variable cannot be an argument for a const parameter of an async procedure call
2 type checking errors detected in async-bug.bpl
|
