summaryrefslogtreecommitdiff
path: root/Test/linear/async-bug.bpl.expect
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