diff options
| author |  qadeer <unknown> | 2014-07-15 19:47:44 -0700 |
|---|---|---|
| committer | qadeer <unknown> | 2014-07-15 19:47:44 -0700 |
| commit | 9c1c28a5e28f76af29805e6dd8b4b34c99fbe1b4 (patch) | |
| tree | 9e02ec556858d05124bb3547da664db838382a3a /Test/linear/async-bug.bpl.expect | |
| parent | 74090e6fc892db326c6f98b8adb790f1f09fba41 (diff) | |
updated the linear type system based on Chris' design with linear, linear_in, linear_out
Diffstat (limited to 'Test/linear/async-bug.bpl.expect')
| -rw-r--r-- | Test/linear/async-bug.bpl.expect | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Test/linear/async-bug.bpl.expect b/Test/linear/async-bug.bpl.expect index 8bfe61d1..73a5eaee 100644 --- a/Test/linear/async-bug.bpl.expect +++ b/Test/linear/async-bug.bpl.expect @@ -1,3 +1,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
+async-bug.bpl(21,30): Error: unavailable source for a linear read
+async-bug.bpl(28,0): Error: Input variable tid must be available at a return
2 type checking errors detected in async-bug.bpl
|