From cdf2822743b3beeb37ebc3deea8e08b6130698c5 Mon Sep 17 00:00:00 2001 From: Kartik Agaram Date: Sat, 12 May 2018 10:22:26 -0700 Subject: 4242 - get rid of refcounts entirely We're going to lean back into the experiment of commit 4179 back in Jan. If we delete memory it's up to us to ensure no pointers into it survive. Since deep-copy depends on our refcounting infrastructure, it's gone as well. So we're going to have to start watching out for pointers shared over channels. --- html/084console.mu.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'html/084console.mu.html') diff --git a/html/084console.mu.html b/html/084console.mu.html index 2a1feec8..7928454d 100644 --- a/html/084console.mu.html +++ b/html/084console.mu.html @@ -130,7 +130,7 @@ if ('onhashchange' in window) { 70 return c, 1/found, 0/quit 71 ] 72 - 73 def send-keys-to-channel console:&:console, chan:&:sink:char, screen:&:screen -> console:&:console, chan:&:sink:char, screen:&:screen [ + 73 def send-keys-to-channel console:&:console, chan:&:sink:char, screen:&:screen -> console:&:console, chan:&:sink:char, screen:&:screen [ 74 local-scope 75 load-inputs 76 { @@ -139,7 +139,7 @@ if ('onhashchange' in window) { 79 break-if quit? 80 assert c, [invalid event, expected text] 81 screen <- print screen, c - 82 chan <- write chan, c + 82 chan <- write chan, c 83 loop 84 } 85 chan <- close chan -- cgit 1.4.1-2-gfad0