aboutsummaryrefslogtreecommitdiff
path: root/tests/programs/share_dbg.zc
blob: 5485b51aa17a6a8a4589d488c2c3dc5d8a4a213a (plain) (blame)
1
2
3
4
5
6
7
8
9
10
// 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);
	return 0;
}