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.

1 files changed, 17 insertions, 17 deletions

diff --git a/html/090scenario_filesystem_test.mu.html b/html/090scenario_filesystem_test.mu.html
index 847489f1..917665b1 100644
--- a/html/090scenario_filesystem_test.mu.html
+++ b/html/090scenario_filesystem_test.mu.html
@@ -64,7 +64,7 @@ if ('onhashchange' in window) {
 <span id="L7" class="LineNr"> 7 </span><span class="Constant">      |xyz|</span>
 <span id="L8" class="LineNr"> 8 </span>    ]
 <span id="L9" class="LineNr"> 9 </span>  ]
-<span id="L10" class="LineNr">10 </span>  contents:&amp;:<a href='075channel.mu.html#L43'>source</a>:char <span class="Special">&lt;-</span> <a href='088file.mu.html#L21'>start-reading</a> <a href='088file.mu.html#L11'>resources</a>, <span class="Constant">[a]</span>
+<span id="L10" class="LineNr">10 </span>  contents:&amp;:<a href='075channel.mu.html#L36'>source</a>:char <span class="Special">&lt;-</span> <a href='088file.mu.html#L21'>start-reading</a> <a href='088file.mu.html#L11'>resources</a>, <span class="Constant">[a]</span>
 <span id="L11" class="LineNr">11 </span>  1:char/<span class="Special">raw</span> <span class="Special">&lt;-</span> read contents
 <span id="L12" class="LineNr">12 </span>  2:char/<span class="Special">raw</span> <span class="Special">&lt;-</span> read contents
 <span id="L13" class="LineNr">13 </span>  3:char/<span class="Special">raw</span> <span class="Special">&lt;-</span> read contents
@@ -83,10 +83,10 @@ if ('onhashchange' in window) {
 <span id="L26" class="LineNr">26 </span>  <span class="Constant">local-scope</span>
 <span id="L27" class="LineNr">27 </span>  assume-resources [
 <span id="L28" class="LineNr">28 </span>  ]
-<span id="L29" class="LineNr">29 </span>  <a href='075channel.mu.html#L47'>sink</a>:&amp;:<a href='075channel.mu.html#L47'>sink</a>:char, writer:num/routine <span class="Special">&lt;-</span> <a href='088file.mu.html#L105'>start-writing</a> <a href='088file.mu.html#L11'>resources</a>, <span class="Constant">[a]</span>
-<span id="L30" class="LineNr">30 </span>  <a href='075channel.mu.html#L47'>sink</a> <span class="Special">&lt;-</span> <a href='075channel.mu.html#L67'>write</a> <a href='075channel.mu.html#L47'>sink</a>, <span class="Constant">120/x</span>
-<span id="L31" class="LineNr">31 </span>  <a href='075channel.mu.html#L47'>sink</a> <span class="Special">&lt;-</span> <a href='075channel.mu.html#L67'>write</a> <a href='075channel.mu.html#L47'>sink</a>, <span class="Constant">121/y</span>
-<span id="L32" class="LineNr">32 </span>  close <a href='075channel.mu.html#L47'>sink</a>
+<span id="L29" class="LineNr">29 </span>  <a href='075channel.mu.html#L40'>sink</a>:&amp;:<a href='075channel.mu.html#L40'>sink</a>:char, writer:num/routine <span class="Special">&lt;-</span> <a href='088file.mu.html#L105'>start-writing</a> <a href='088file.mu.html#L11'>resources</a>, <span class="Constant">[a]</span>
+<span id="L30" class="LineNr">30 </span>  <a href='075channel.mu.html#L40'>sink</a> <span class="Special">&lt;-</span> <a href='075channel.mu.html#L60'>write</a> <a href='075channel.mu.html#L40'>sink</a>, <span class="Constant">120/x</span>
+<span id="L31" class="LineNr">31 </span>  <a href='075channel.mu.html#L40'>sink</a> <span class="Special">&lt;-</span> <a href='075channel.mu.html#L60'>write</a> <a href='075channel.mu.html#L40'>sink</a>, <span class="Constant">121/y</span>
+<span id="L32" class="LineNr">32 </span>  close <a href='075channel.mu.html#L40'>sink</a>
 <span id="L33" class="LineNr">33 </span>  wait-for-routine writer
 <span id="L34" class="LineNr">34 </span>  contents-read-back:text <span class="Special">&lt;-</span> <a href='088file.mu.html#L38'>slurp</a> <a href='088file.mu.html#L11'>resources</a>, <span class="Constant">[a]</span>
 <span id="L35" class="LineNr">35 </span>  10:bool/<span class="Special">raw</span> <span class="Special">&lt;-</span> equal contents-read-back, <span class="Constant">[xy]</span>
@@ -102,10 +102,10 @@ if ('onhashchange' in window) {
 <span id="L45" class="LineNr">45 </span><span class="Constant">      |abc|</span>
 <span id="L46" class="LineNr">46 </span>    ]
 <span id="L47" class="LineNr">47 </span>  ]
-<span id="L48" class="LineNr">48 </span>  <a href='075channel.mu.html#L47'>sink</a>:&amp;:<a href='075channel.mu.html#L47'>sink</a>:char, writer:num/routine <span class="Special">&lt;-</span> <a href='088file.mu.html#L105'>start-writing</a> <a href='088file.mu.html#L11'>resources</a>, <span class="Constant">[b]</span>
-<span id="L49" class="LineNr">49 </span>  <a href='075channel.mu.html#L47'>sink</a> <span class="Special">&lt;-</span> <a href='075channel.mu.html#L67'>write</a> <a href='075channel.mu.html#L47'>sink</a>, <span class="Constant">120/x</span>
-<span id="L50" class="LineNr">50 </span>  <a href='075channel.mu.html#L47'>sink</a> <span class="Special">&lt;-</span> <a href='075channel.mu.html#L67'>write</a> <a href='075channel.mu.html#L47'>sink</a>, <span class="Constant">121/y</span>
-<span id="L51" class="LineNr">51 </span>  close <a href='075channel.mu.html#L47'>sink</a>
+<span id="L48" class="LineNr">48 </span>  <a href='075channel.mu.html#L40'>sink</a>:&amp;:<a href='075channel.mu.html#L40'>sink</a>:char, writer:num/routine <span class="Special">&lt;-</span> <a href='088file.mu.html#L105'>start-writing</a> <a href='088file.mu.html#L11'>resources</a>, <span class="Constant">[b]</span>
+<span id="L49" class="LineNr">49 </span>  <a href='075channel.mu.html#L40'>sink</a> <span class="Special">&lt;-</span> <a href='075channel.mu.html#L60'>write</a> <a href='075channel.mu.html#L40'>sink</a>, <span class="Constant">120/x</span>
+<span id="L50" class="LineNr">50 </span>  <a href='075channel.mu.html#L40'>sink</a> <span class="Special">&lt;-</span> <a href='075channel.mu.html#L60'>write</a> <a href='075channel.mu.html#L40'>sink</a>, <span class="Constant">121/y</span>
+<span id="L51" class="LineNr">51 </span>  close <a href='075channel.mu.html#L40'>sink</a>
 <span id="L52" class="LineNr">52 </span>  wait-for-routine writer
 <span id="L53" class="LineNr">53 </span>  contents-read-back:text <span class="Special">&lt;-</span> <a href='088file.mu.html#L38'>slurp</a> <a href='088file.mu.html#L11'>resources</a>, <span class="Constant">[b]</span>
 <span id="L54" class="LineNr">54 </span>  10:bool/<span class="Special">raw</span> <span class="Special">&lt;-</span> equal contents-read-back, <span class="Constant">[xy]</span>
@@ -119,10 +119,10 @@ if ('onhashchange' in window) {
 <span id="L62" class="LineNr">62 </span>  assume-resources [
 <span id="L63" class="LineNr">63 </span>    <span class="Constant">[a]</span> <span class="Special">&lt;-</span> <span class="Constant">[]</span>
 <span id="L64" class="LineNr">64 </span>  ]
-<span id="L65" class="LineNr">65 </span>  <a href='075channel.mu.html#L47'>sink</a>:&amp;:<a href='075channel.mu.html#L47'>sink</a>:char, writer:num/routine <span class="Special">&lt;-</span> <a href='088file.mu.html#L105'>start-writing</a> <a href='088file.mu.html#L11'>resources</a>, <span class="Constant">[a]</span>
-<span id="L66" class="LineNr">66 </span>  <a href='075channel.mu.html#L47'>sink</a> <span class="Special">&lt;-</span> <a href='075channel.mu.html#L67'>write</a> <a href='075channel.mu.html#L47'>sink</a>, <span class="Constant">120/x</span>
-<span id="L67" class="LineNr">67 </span>  <a href='075channel.mu.html#L47'>sink</a> <span class="Special">&lt;-</span> <a href='075channel.mu.html#L67'>write</a> <a href='075channel.mu.html#L47'>sink</a>, <span class="Constant">121/y</span>
-<span id="L68" class="LineNr">68 </span>  close <a href='075channel.mu.html#L47'>sink</a>
+<span id="L65" class="LineNr">65 </span>  <a href='075channel.mu.html#L40'>sink</a>:&amp;:<a href='075channel.mu.html#L40'>sink</a>:char, writer:num/routine <span class="Special">&lt;-</span> <a href='088file.mu.html#L105'>start-writing</a> <a href='088file.mu.html#L11'>resources</a>, <span class="Constant">[a]</span>
+<span id="L66" class="LineNr">66 </span>  <a href='075channel.mu.html#L40'>sink</a> <span class="Special">&lt;-</span> <a href='075channel.mu.html#L60'>write</a> <a href='075channel.mu.html#L40'>sink</a>, <span class="Constant">120/x</span>
+<span id="L67" class="LineNr">67 </span>  <a href='075channel.mu.html#L40'>sink</a> <span class="Special">&lt;-</span> <a href='075channel.mu.html#L60'>write</a> <a href='075channel.mu.html#L40'>sink</a>, <span class="Constant">121/y</span>
+<span id="L68" class="LineNr">68 </span>  close <a href='075channel.mu.html#L40'>sink</a>
 <span id="L69" class="LineNr">69 </span>  wait-for-routine writer
 <span id="L70" class="LineNr">70 </span>  contents-read-back:text <span class="Special">&lt;-</span> <a href='088file.mu.html#L38'>slurp</a> <a href='088file.mu.html#L11'>resources</a>, <span class="Constant">[a]</span>
 <span id="L71" class="LineNr">71 </span>  10:bool/<span class="Special">raw</span> <span class="Special">&lt;-</span> equal contents-read-back, <span class="Constant">[xy]</span>
@@ -139,10 +139,10 @@ if ('onhashchange' in window) {
 <span id="L82" class="LineNr">82 </span><span class="Constant">      |bcd|</span>
 <span id="L83" class="LineNr">83 </span>    ]
 <span id="L84" class="LineNr">84 </span>  ]
-<span id="L85" class="LineNr">85 </span>  <a href='075channel.mu.html#L47'>sink</a>:&amp;:<a href='075channel.mu.html#L47'>sink</a>:char, writer:num/routine <span class="Special">&lt;-</span> <a href='088file.mu.html#L105'>start-writing</a> <a href='088file.mu.html#L11'>resources</a>, <span class="Constant">[a]</span>
-<span id="L86" class="LineNr">86 </span>  <a href='075channel.mu.html#L47'>sink</a> <span class="Special">&lt;-</span> <a href='075channel.mu.html#L67'>write</a> <a href='075channel.mu.html#L47'>sink</a>, <span class="Constant">120/x</span>
-<span id="L87" class="LineNr">87 </span>  <a href='075channel.mu.html#L47'>sink</a> <span class="Special">&lt;-</span> <a href='075channel.mu.html#L67'>write</a> <a href='075channel.mu.html#L47'>sink</a>, <span class="Constant">121/y</span>
-<span id="L88" class="LineNr">88 </span>  close <a href='075channel.mu.html#L47'>sink</a>
+<span id="L85" class="LineNr">85 </span>  <a href='075channel.mu.html#L40'>sink</a>:&amp;:<a href='075channel.mu.html#L40'>sink</a>:char, writer:num/routine <span class="Special">&lt;-</span> <a href='088file.mu.html#L105'>start-writing</a> <a href='088file.mu.html#L11'>resources</a>, <span class="Constant">[a]</span>
+<span id="L86" class="LineNr">86 </span>  <a href='075channel.mu.html#L40'>sink</a> <span class="Special">&lt;-</span> <a href='075channel.mu.html#L60'>write</a> <a href='075channel.mu.html#L40'>sink</a>, <span class="Constant">120/x</span>
+<span id="L87" class="LineNr">87 </span>  <a href='075channel.mu.html#L40'>sink</a> <span class="Special">&lt;-</span> <a href='075channel.mu.html#L60'>write</a> <a href='075channel.mu.html#L40'>sink</a>, <span class="Constant">121/y</span>
+<span id="L88" class="LineNr">88 </span>  close <a href='075channel.mu.html#L40'>sink</a>
 <span id="L89" class="LineNr">89 </span>  wait-for-routine writer
 <span id="L90" class="LineNr">90 </span>  contents-read-back:text <span class="Special">&lt;-</span> <a href='088file.mu.html#L38'>slurp</a> <a href='088file.mu.html#L11'>resources</a>, <span class="Constant">[a]</span>
 <span id="L91" class="LineNr">91 </span>  10:bool/<span class="Special">raw</span> <span class="Special">&lt;-</span> equal contents-read-back, <span class="Constant">[xy]</span>