aboutsummaryrefslogtreecommitdiff
path: root/tests/programs/share_dbg.zc
diff options
context:
space:
mode:
Diffstat (limited to 'tests/programs/share_dbg.zc')
-rw-r--r--tests/programs/share_dbg.zc11
1 files changed, 7 insertions, 4 deletions
diff --git a/tests/programs/share_dbg.zc b/tests/programs/share_dbg.zc
index 5485b51..63b8cba 100644
--- a/tests/programs/share_dbg.zc
+++ b/tests/programs/share_dbg.zc
@@ -1,10 +1,13 @@
+namespace;
+include rt;
+
// memdebug still checks a shared cell. free does not quarantine it, and car
// reads the payload through checkptr.
memdebug on;
fn main() {
- let a = cons(7, 8);
- free(a);
- put_n(car(a)); put_c(32);
- put_n(is_shared(a)); put_c(10);
+ let a = rt.cons(7, 8);
+ rt.free(a);
+ rt.put_n(rt.car(a)); rt.put_c(32);
+ rt.put_n(rt.is_shared(a)); rt.put_c(10);
return 0;
}