diff options
Diffstat (limited to 'tests/errors/branch_mismatch.zc')
| -rw-r--r-- | tests/errors/branch_mismatch.zc | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/tests/errors/branch_mismatch.zc b/tests/errors/branch_mismatch.zc index bd19968..ce361ac 100644 --- a/tests/errors/branch_mismatch.zc +++ b/tests/errors/branch_mismatch.zc @@ -1,3 +1,6 @@ +namespace; +include rt; + // expect: x: ends the branches of an if in different states fn take(.d p) { return p[0]; } -fn main() { let x = new(1); if (x[0]) take(d*x); else u*x; return 0; } +fn main() { let x = rt.new(1); if (x[0]) take(d*x); else u*x; return 0; } |