about summary refs log tree commit diff stats
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2016-12-06 09:35:10 -0800
committerKartik K. Agaram <vc@akkartik.com>2016-12-06 09:35:10 -0800
commite7f65b0a4b0af23f5107fb44b8dc39514411589d (patch)
tree1daac08be41d6e9aefc301a30368e5fc88cb320b
parent650a201d96de650fac3c29f886f100eb7a1c7539 (diff)
downloadmu-e7f65b0a4b0af23f5107fb44b8dc39514411589d.tar.gz
3703
-rw-r--r--html/011load.cc.html2
-rw-r--r--html/020run.cc.html1
-rw-r--r--html/047check_type_by_name.cc.html8
-rw-r--r--html/edit/002-typing.mu.html26
-rw-r--r--html/edit/003-shortcuts.mu.html70
-rw-r--r--html/x.mu.html2
6 files changed, 59 insertions, 50 deletions
diff --git a/html/011load.cc.html b/html/011load.cc.html
index 29c00134..b154f820 100644
--- a/html/011load.cc.html
+++ b/html/011load.cc.html
@@ -213,7 +213,7 @@ string next_word<span class="Delimiter">(</span>istream&amp; in<span class="Deli
 <span class="Delimiter">}</span>
 
 <span class="Normal">bool</span> is_label_word<span class="Delimiter">(</span><span class="Normal">const</span> string&amp; word<span class="Delimiter">)</span> <span class="Delimiter">{</span>
-  assert<span class="Delimiter">(</span>!word<span class="Delimiter">.</span>empty<span class="Delimiter">());</span>
+  <span class="Normal">if</span> <span class="Delimiter">(</span>word<span class="Delimiter">.</span>empty<span class="Delimiter">())</span> <span class="Identifier">return</span> <span class="Constant">false</span><span class="Delimiter">;</span>  <span class="Comment">// error raised elsewhere</span>
   <span class="Identifier">return</span> !isalnum<span class="Delimiter">(</span>word<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">))</span> &amp;&amp; string<span class="Delimiter">(</span><span class="Constant">&quot;$_*@&amp;,=-[]()&quot;</span><span class="Delimiter">).</span>find<span class="Delimiter">(</span>word<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">))</span> == string::npos<span class="Delimiter">;</span>
 <span class="Delimiter">}</span>
 
diff --git a/html/020run.cc.html b/html/020run.cc.html
index f4aa1652..cd31ef09 100644
--- a/html/020run.cc.html
+++ b/html/020run.cc.html
@@ -198,6 +198,7 @@ load_file_or_directory<span class="Delimiter">(</span><span class="Constant">&qu
 <span class="Delimiter">:(before &quot;End Commandline Parsing&quot;)</span>
 <span class="Comment">// Check For .mu Files</span>
 <span class="CommentedCode">//? START_TRACING_UNTIL_END_OF_SCOPE</span>
+<span class="CommentedCode">//? Dump_trace = true;</span>
 <span class="Normal">if</span> <span class="Delimiter">(</span>argc &gt; <span class="Constant">1</span><span class="Delimiter">)</span> <span class="Delimiter">{</span>
   <span class="Comment">// skip argv[0]</span>
   ++argv<span class="Delimiter">;</span>
diff --git a/html/047check_type_by_name.cc.html b/html/047check_type_by_name.cc.html
index 234fdb2c..2e50f517 100644
--- a/html/047check_type_by_name.cc.html
+++ b/html/047check_type_by_name.cc.html
@@ -185,6 +185,14 @@ Transform<span class="Delimiter">.</span>push_back<span class="Delimiter">(</spa
   x/space:<span class="Constant">1</span><span class="Special"> &lt;- </span>copy <span class="Constant">35</span>
 ]
 $error: <span class="Constant">0</span>
+
+<span class="Delimiter">:(scenario transform_handles_empty_reagents)</span>
+<span class="Special">% Hide_errors = true;</span>
+<span class="muRecipe">def</span> main [
+  add *
+]
+<span class="traceContains">+error: illegal name '*'</span>
+<span class="Comment"># no crash</span>
 </pre>
 </body>
 </html>
diff --git a/html/edit/002-typing.mu.html b/html/edit/002-typing.mu.html
index 15853c1f..c651168a 100644
--- a/html/edit/002-typing.mu.html
+++ b/html/edit/002-typing.mu.html
@@ -330,7 +330,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
   assume-screen <span class="Constant">10/width</span>, <span class="Constant">5/height</span>
   e:&amp;:editor <span class="Special">&lt;-</span> new-editor <span class="Constant">[abc]</span>, <span class="Constant">0/left</span>, <span class="Constant">10/right</span>
   editor-render screen, e
-<span class="Constant">  $clear-trace</span>
+  $clear-trace
   assume-console [
     left-click<span class="Constant"> 1</span>,<span class="Constant"> 1</span>  <span class="Comment"># on the 'b'</span>
   ]
@@ -356,7 +356,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
   <span class="Constant">local-scope</span>
   assume-screen <span class="Constant">10/width</span>, <span class="Constant">5/height</span>
   e:&amp;:editor <span class="Special">&lt;-</span> new-editor <span class="Constant">[abc]</span>, <span class="Constant">0/left</span>, <span class="Constant">10/right</span>
-<span class="Constant">  $clear-trace</span>
+  $clear-trace
   assume-console [
     left-click<span class="Constant"> 1</span>,<span class="Constant"> 7</span>  <span class="Comment"># last line, to the right of text</span>
   ]
@@ -378,7 +378,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
   s:text <span class="Special">&lt;-</span> new <span class="Constant">[abc</span>
 <span class="Constant">def]</span>
   e:&amp;:editor <span class="Special">&lt;-</span> new-editor s, <span class="Constant">0/left</span>, <span class="Constant">10/right</span>
-<span class="Constant">  $clear-trace</span>
+  $clear-trace
   assume-console [
     left-click<span class="Constant"> 1</span>,<span class="Constant"> 7</span>  <span class="Comment"># interior line, to the right of text</span>
   ]
@@ -400,7 +400,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
   s:text <span class="Special">&lt;-</span> new <span class="Constant">[abc</span>
 <span class="Constant">def]</span>
   e:&amp;:editor <span class="Special">&lt;-</span> new-editor s, <span class="Constant">0/left</span>, <span class="Constant">10/right</span>
-<span class="Constant">  $clear-trace</span>
+  $clear-trace
   assume-console [
     left-click<span class="Constant"> 3</span>,<span class="Constant"> 7</span>  <span class="Comment"># below text</span>
   ]
@@ -422,7 +422,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
   <span class="Comment"># editor occupies only left half of screen</span>
   e:&amp;:editor <span class="Special">&lt;-</span> new-editor <span class="Constant">[abc]</span>, <span class="Constant">0/left</span>, <span class="Constant">5/right</span>
   editor-render screen, e
-<span class="Constant">  $clear-trace</span>
+  $clear-trace
   assume-console [
     <span class="Comment"># click on right half of screen</span>
     left-click<span class="Constant"> 3</span>,<span class="Constant"> 8</span>
@@ -450,7 +450,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
   assume-screen <span class="Constant">10/width</span>, <span class="Constant">5/height</span>
   e:&amp;:editor <span class="Special">&lt;-</span> new-editor <span class="Constant">[abc]</span>, <span class="Constant">0/left</span>, <span class="Constant">5/right</span>
   editor-render screen, e
-<span class="Constant">  $clear-trace</span>
+  $clear-trace
   assume-console [
     <span class="Comment"># click on first, 'menu' row</span>
     left-click<span class="Constant"> 0</span>,<span class="Constant"> 3</span>
@@ -472,7 +472,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
   assume-screen <span class="Constant">10/width</span>, <span class="Constant">5/height</span>
   e:&amp;:editor <span class="Special">&lt;-</span> new-editor <span class="Constant">[]</span>, <span class="Constant">0/left</span>, <span class="Constant">5/right</span>
   editor-render screen, e
-<span class="Constant">  $clear-trace</span>
+  $clear-trace
   assume-console [
     type <span class="Constant">[abc]</span>
   ]
@@ -493,7 +493,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
   assume-screen <span class="Constant">10/width</span>, <span class="Constant">5/height</span>
   e:&amp;:editor <span class="Special">&lt;-</span> new-editor <span class="Constant">[abc]</span>, <span class="Constant">0/left</span>, <span class="Constant">10/right</span>
   editor-render screen, e
-<span class="Constant">  $clear-trace</span>
+  $clear-trace
   <span class="Comment"># type two letters at different places</span>
   assume-console [
     type <span class="Constant">[0]</span>
@@ -517,7 +517,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
   assume-screen <span class="Constant">10/width</span>, <span class="Constant">5/height</span>
   e:&amp;:editor <span class="Special">&lt;-</span> new-editor <span class="Constant">[abc]</span>, <span class="Constant">0/left</span>, <span class="Constant">10/right</span>
   editor-render screen, e
-<span class="Constant">  $clear-trace</span>
+  $clear-trace
   assume-console [
     left-click<span class="Constant"> 1</span>,<span class="Constant"> 5</span>  <span class="Comment"># right of last line</span>
     type <span class="Constant">[d]</span>
@@ -541,7 +541,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
 <span class="Constant">d]</span>
   e:&amp;:editor <span class="Special">&lt;-</span> new-editor s, <span class="Constant">0/left</span>, <span class="Constant">10/right</span>
   editor-render screen, e
-<span class="Constant">  $clear-trace</span>
+  $clear-trace
   assume-console [
     left-click<span class="Constant"> 1</span>,<span class="Constant"> 5</span>  <span class="Comment"># right of non-last line</span>
     type <span class="Constant">[e]</span>
@@ -564,7 +564,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
   assume-screen <span class="Constant">10/width</span>, <span class="Constant">5/height</span>
   e:&amp;:editor <span class="Special">&lt;-</span> new-editor <span class="Constant">[abc]</span>, <span class="Constant">0/left</span>, <span class="Constant">10/right</span>
   editor-render screen, e
-<span class="Constant">  $clear-trace</span>
+  $clear-trace
   assume-console [
     left-click<span class="Constant"> 3</span>,<span class="Constant"> 5</span>  <span class="Comment"># below all text</span>
     type <span class="Constant">[d]</span>
@@ -588,7 +588,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
 <span class="Constant">d]</span>
   e:&amp;:editor <span class="Special">&lt;-</span> new-editor s, <span class="Constant">0/left</span>, <span class="Constant">10/right</span>
   editor-render screen, e
-<span class="Constant">  $clear-trace</span>
+  $clear-trace
   assume-console [
     left-click<span class="Constant"> 3</span>,<span class="Constant"> 5</span>  <span class="Comment"># below all text</span>
     type <span class="Constant">[e]</span>
@@ -613,7 +613,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
 <span class="Constant">d]</span>
   e:&amp;:editor <span class="Special">&lt;-</span> new-editor s, <span class="Constant">0/left</span>, <span class="Constant">10/right</span>
   editor-render screen, e
-<span class="Constant">  $clear-trace</span>
+  $clear-trace
   assume-console [
     left-click<span class="Constant"> 3</span>,<span class="Constant"> 5</span>  <span class="Comment"># below all text</span>
     type <span class="Constant">[ef]</span>
diff --git a/html/edit/003-shortcuts.mu.html b/html/edit/003-shortcuts.mu.html
index e7b49f49..504afa7f 100644
--- a/html/edit/003-shortcuts.mu.html
+++ b/html/edit/003-shortcuts.mu.html
@@ -77,7 +77,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
   assume-screen <span class="Constant">10/width</span>, <span class="Constant">5/height</span>
   e:&amp;:editor <span class="Special">&lt;-</span> new-editor <span class="Constant">[abc]</span>, <span class="Constant">0/left</span>, <span class="Constant">10/right</span>
   editor-render screen, e
-<span class="Constant">  $clear-trace</span>
+  $clear-trace
   assume-console [
     left-click<span class="Constant"> 1</span>,<span class="Constant"> 1</span>
     press backspace
@@ -280,7 +280,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
 <span class="Constant">ghi jkl]</span>
   e:&amp;:editor <span class="Special">&lt;-</span> new-editor s, <span class="Constant">0/left</span>, <span class="Constant">10/right</span>
   editor-render screen, e
-<span class="Constant">  $clear-trace</span>
+  $clear-trace
   <span class="Comment"># position the cursor at the start of the second and hit backspace</span>
   assume-console [
     left-click<span class="Constant"> 2</span>,<span class="Constant"> 0</span>
@@ -312,7 +312,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
    <span class="Constant"> . ghij     .</span>
    <span class="Constant"> .╌╌╌╌╌╌╌╌  .</span>
   ]
-<span class="Constant">  $clear-trace</span>
+  $clear-trace
   <span class="Comment"># position the cursor somewhere in the middle of the top screen line and hit backspace</span>
   assume-console [
     left-click<span class="Constant"> 1</span>,<span class="Constant"> 4</span>
@@ -338,7 +338,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
   assume-screen <span class="Constant">10/width</span>, <span class="Constant">5/height</span>
   e:&amp;:editor <span class="Special">&lt;-</span> new-editor <span class="Constant">[abc]</span>, <span class="Constant">0/left</span>, <span class="Constant">10/right</span>
   editor-render screen, e
-<span class="Constant">  $clear-trace</span>
+  $clear-trace
   assume-console [
     press delete
   ]
@@ -352,7 +352,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
    <span class="Constant"> .          .</span>
   ]
   check-trace-count-for-label<span class="Constant"> 3</span>, <span class="Constant">[print-character]</span>  <span class="Comment"># length of original line to overwrite</span>
-<span class="Constant">  $clear-trace</span>
+  $clear-trace
   assume-console [
     press delete
   ]
@@ -424,7 +424,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
   assume-screen <span class="Constant">10/width</span>, <span class="Constant">5/height</span>
   e:&amp;:editor <span class="Special">&lt;-</span> new-editor <span class="Constant">[abc]</span>, <span class="Constant">0/left</span>, <span class="Constant">10/right</span>
   editor-render screen, e
-<span class="Constant">  $clear-trace</span>
+  $clear-trace
   assume-console [
     press right-arrow
     type <span class="Constant">[0]</span>
@@ -520,7 +520,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
 <span class="Constant">d]</span>
   e:&amp;:editor <span class="Special">&lt;-</span> new-editor s, <span class="Constant">0/left</span>, <span class="Constant">10/right</span>
   editor-render screen, e
-<span class="Constant">  $clear-trace</span>
+  $clear-trace
   <span class="Comment"># type right-arrow a few times to get to start of second line</span>
   assume-console [
     press right-arrow
@@ -580,7 +580,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
   assume-screen <span class="Constant">10/width</span>, <span class="Constant">5/height</span>
   e:&amp;:editor <span class="Special">&lt;-</span> new-editor <span class="Constant">[abcdef]</span>, <span class="Constant">0/left</span>, <span class="Constant">5/right</span>
   editor-render screen, e
-<span class="Constant">  $clear-trace</span>
+  $clear-trace
   assume-console [
     left-click<span class="Constant"> 1</span>,<span class="Constant"> 3</span>
     press right-arrow
@@ -610,7 +610,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
   <span class="Comment"># line just barely wrapping</span>
   e:&amp;:editor <span class="Special">&lt;-</span> new-editor <span class="Constant">[abcde]</span>, <span class="Constant">0/left</span>, <span class="Constant">5/right</span>
   editor-render screen, e
-<span class="Constant">  $clear-trace</span>
+  $clear-trace
   <span class="Comment"># position cursor at last character before wrap and hit right-arrow</span>
   assume-console [
     left-click<span class="Constant"> 1</span>,<span class="Constant"> 3</span>
@@ -646,7 +646,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
   assume-screen <span class="Constant">10/width</span>, <span class="Constant">5/height</span>
   e:&amp;:editor <span class="Special">&lt;-</span> new-editor <span class="Constant">[abcdef]</span>, <span class="Constant">1/left</span>, <span class="Constant">6/right</span>
   editor-render screen, e
-<span class="Constant">  $clear-trace</span>
+  $clear-trace
   assume-console [
     left-click<span class="Constant"> 1</span>,<span class="Constant"> 4</span>
     press right-arrow
@@ -677,7 +677,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
 <span class="Constant">d]</span>
   e:&amp;:editor <span class="Special">&lt;-</span> new-editor s, <span class="Constant">0/left</span>, <span class="Constant">10/right</span>
   editor-render screen, e
-<span class="Constant">  $clear-trace</span>
+  $clear-trace
   <span class="Comment"># move to end of line, press right-arrow, type a character</span>
   assume-console [
     left-click<span class="Constant"> 1</span>,<span class="Constant"> 3</span>
@@ -707,7 +707,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
   assume-screen <span class="Constant">10/width</span>, <span class="Constant">5/height</span>
   e:&amp;:editor <span class="Special">&lt;-</span> new-editor <span class="Constant">[abc]</span>, <span class="Constant">0/left</span>, <span class="Constant">10/right</span>
   editor-render screen, e
-<span class="Constant">  $clear-trace</span>
+  $clear-trace
   assume-console [
     left-click<span class="Constant"> 1</span>,<span class="Constant"> 2</span>
     press left-arrow
@@ -751,7 +751,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
 <span class="Constant">d]</span>
   e:&amp;:editor <span class="Special">&lt;-</span> new-editor s, <span class="Constant">0/left</span>, <span class="Constant">10/right</span>
   editor-render screen, e
-<span class="Constant">  $clear-trace</span>
+  $clear-trace
   <span class="Comment"># position cursor at start of second line (so there's no previous newline)</span>
   assume-console [
     left-click<span class="Constant"> 2</span>,<span class="Constant"> 0</span>
@@ -778,7 +778,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
 <span class="Constant">g]</span>
   e:&amp;:editor <span class="Special">&lt;-</span> new-editor s:text, <span class="Constant">0/left</span>, <span class="Constant">10/right</span>
   editor-render screen, e
-<span class="Constant">  $clear-trace</span>
+  $clear-trace
   <span class="Comment"># position cursor further down (so there's a newline before the character at</span>
   <span class="Comment"># the cursor)</span>
   assume-console [
@@ -807,7 +807,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
 <span class="Constant">g]</span>
   e:&amp;:editor <span class="Special">&lt;-</span> new-editor s, <span class="Constant">0/left</span>, <span class="Constant">10/right</span>
   editor-render screen, e
-<span class="Constant">  $clear-trace</span>
+  $clear-trace
   <span class="Comment"># position cursor at start of text, press left-arrow, then type a character</span>
   assume-console [
     left-click<span class="Constant"> 1</span>,<span class="Constant"> 0</span>
@@ -837,7 +837,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
 d]
   e:&amp;:editor <span class="Special">&lt;-</span> new-editor s, <span class="Constant">0/left</span>, <span class="Constant">10/right</span>
   editor-render screen, e:&amp;:editor
-<span class="Constant">  $clear-trace</span>
+  $clear-trace
   <span class="Comment"># position cursor right after empty line</span>
   assume-console [
     left-click<span class="Constant"> 3</span>,<span class="Constant"> 0</span>
@@ -863,7 +863,7 @@ d]
   <span class="Comment"># initialize editor with a wrapping line</span>
   e:&amp;:editor <span class="Special">&lt;-</span> new-editor <span class="Constant">[abcdef]</span>, <span class="Constant">0/left</span>, <span class="Constant">5/right</span>
   editor-render screen, e
-<span class="Constant">  $clear-trace</span>
+  $clear-trace
   screen-should-contain [
    <span class="Constant"> .          .</span>
    <span class="Constant"> .abcd↩     .</span>
@@ -896,7 +896,7 @@ d]
 <span class="Constant">g]</span>
   e:&amp;:editor <span class="Special">&lt;-</span> new-editor s, <span class="Constant">0/left</span>, <span class="Constant">5/right</span>
   editor-render screen, e
-<span class="Constant">  $clear-trace</span>
+  $clear-trace
   screen-should-contain [
    <span class="Constant"> .          .</span>
    <span class="Constant"> .abcd↩     .</span>
@@ -929,7 +929,7 @@ d]
 <span class="Constant">e]</span>
   e:&amp;:editor <span class="Special">&lt;-</span> new-editor s, <span class="Constant">0/left</span>, <span class="Constant">5/right</span>
   editor-render screen, e
-<span class="Constant">  $clear-trace</span>
+  $clear-trace
   screen-should-contain [
    <span class="Constant"> .          .</span>
    <span class="Constant"> .abcd      .</span>
@@ -965,7 +965,7 @@ d]
 <span class="Constant">def]</span>
   e:&amp;:editor <span class="Special">&lt;-</span> new-editor s, <span class="Constant">0/left</span>, <span class="Constant">10/right</span>
   editor-render screen, e
-<span class="Constant">  $clear-trace</span>
+  $clear-trace
   assume-console [
     left-click<span class="Constant"> 2</span>,<span class="Constant"> 1</span>
     press up-arrow
@@ -1079,7 +1079,7 @@ d]
 <span class="Constant">def]</span>
   e:&amp;:editor <span class="Special">&lt;-</span> new-editor s, <span class="Constant">0/left</span>, <span class="Constant">10/right</span>
   editor-render screen, e
-<span class="Constant">  $clear-trace</span>
+  $clear-trace
   assume-console [
     left-click<span class="Constant"> 2</span>,<span class="Constant"> 3</span>
     press up-arrow
@@ -1116,7 +1116,7 @@ d]
 <span class="muRecipe">def</span>]
   e:&amp;:editor <span class="Special">&lt;-</span> new-editor s, <span class="Constant">0/left</span>, <span class="Constant">10/right</span>
   editor-render screen, e
-<span class="Constant">  $clear-trace</span>
+  $clear-trace
   assume-console [
     left-click<span class="Constant"> 2</span>,<span class="Constant"> 3</span>
     press up-arrow
@@ -1155,7 +1155,7 @@ d]
 <span class="Constant">ghi]</span>
   e:&amp;:editor <span class="Special">&lt;-</span> new-editor s, <span class="Constant">0/left</span>, <span class="Constant">10/right</span>
   editor-render screen, e
-<span class="Constant">  $clear-trace</span>
+  $clear-trace
   <span class="Comment"># click on the third line and hit up-arrow, so you end up just after a newline</span>
   assume-console [
     left-click<span class="Constant"> 3</span>,<span class="Constant"> 0</span>
@@ -1195,7 +1195,7 @@ d]
 <span class="Constant">def]</span>
   e:&amp;:editor <span class="Special">&lt;-</span> new-editor s, <span class="Constant">0/left</span>, <span class="Constant">10/right</span>
   editor-render screen, e
-<span class="Constant">  $clear-trace</span>
+  $clear-trace
   <span class="Comment"># cursor starts out at (1, 0)</span>
   assume-console [
     press down-arrow
@@ -1299,7 +1299,7 @@ d]
 <span class="Constant">de]</span>
   e:&amp;:editor <span class="Special">&lt;-</span> new-editor s, <span class="Constant">0/left</span>, <span class="Constant">10/right</span>
   editor-render screen, e
-<span class="Constant">  $clear-trace</span>
+  $clear-trace
   assume-console [
     left-click<span class="Constant"> 1</span>,<span class="Constant"> 3</span>
     press down-arrow
@@ -1338,7 +1338,7 @@ d]
 <span class="Constant">456]</span>
   e:&amp;:editor <span class="Special">&lt;-</span> new-editor s, <span class="Constant">0/left</span>, <span class="Constant">10/right</span>
   editor-render screen, e
-<span class="Constant">  $clear-trace</span>
+  $clear-trace
   <span class="Comment"># start on second line, press ctrl-a</span>
   assume-console [
     left-click<span class="Constant"> 2</span>,<span class="Constant"> 3</span>
@@ -1412,7 +1412,7 @@ d]
 <span class="Constant">456]</span>
   e:&amp;:editor <span class="Special">&lt;-</span> new-editor s, <span class="Constant">0/left</span>, <span class="Constant">10/right</span>
   editor-render screen, e
-<span class="Constant">  $clear-trace</span>
+  $clear-trace
   <span class="Comment"># start on first line (no newline before), press ctrl-a</span>
   assume-console [
     left-click<span class="Constant"> 1</span>,<span class="Constant"> 3</span>
@@ -1437,7 +1437,7 @@ d]
   s:text <span class="Special">&lt;-</span> new <span class="Constant">[123</span>
 <span class="Constant">456]</span>
   e:&amp;:editor <span class="Special">&lt;-</span> new-editor s, <span class="Constant">0/left</span>, <span class="Constant">10/right</span>
-<span class="Constant">  $clear-trace</span>
+  $clear-trace
   <span class="Comment"># start on second line, press 'home'</span>
   assume-console [
     left-click<span class="Constant"> 2</span>,<span class="Constant"> 3</span>
@@ -1463,7 +1463,7 @@ d]
 <span class="Constant">456]</span>
   e:&amp;:editor <span class="Special">&lt;-</span> new-editor s, <span class="Constant">0/left</span>, <span class="Constant">10/right</span>
   editor-render screen, e
-<span class="Constant">  $clear-trace</span>
+  $clear-trace
   <span class="Comment"># start on first line (no newline before), press 'home'</span>
   assume-console [
     left-click<span class="Constant"> 1</span>,<span class="Constant"> 3</span>
@@ -1491,7 +1491,7 @@ d]
 <span class="Constant">456]</span>
   e:&amp;:editor <span class="Special">&lt;-</span> new-editor s, <span class="Constant">0/left</span>, <span class="Constant">10/right</span>
   editor-render screen, e
-<span class="Constant">  $clear-trace</span>
+  $clear-trace
   <span class="Comment"># start on first line, press ctrl-e</span>
   assume-console [
     left-click<span class="Constant"> 1</span>,<span class="Constant"> 1</span>
@@ -1582,7 +1582,7 @@ d]
 <span class="Constant">456]</span>
   e:&amp;:editor <span class="Special">&lt;-</span> new-editor s, <span class="Constant">0/left</span>, <span class="Constant">10/right</span>
   editor-render screen, e
-<span class="Constant">  $clear-trace</span>
+  $clear-trace
   <span class="Comment"># start on second line (no newline after), press ctrl-e</span>
   assume-console [
     left-click<span class="Constant"> 2</span>,<span class="Constant"> 1</span>
@@ -1608,7 +1608,7 @@ d]
 <span class="Constant">456]</span>
   e:&amp;:editor <span class="Special">&lt;-</span> new-editor s, <span class="Constant">0/left</span>, <span class="Constant">10/right</span>
   editor-render screen, e
-<span class="Constant">  $clear-trace</span>
+  $clear-trace
   <span class="Comment"># start on first line, press 'end'</span>
   assume-console [
     left-click<span class="Constant"> 1</span>,<span class="Constant"> 1</span>
@@ -1634,7 +1634,7 @@ d]
 <span class="Constant">456]</span>
   e:&amp;:editor <span class="Special">&lt;-</span> new-editor s, <span class="Constant">0/left</span>, <span class="Constant">10/right</span>
   editor-render screen, e
-<span class="Constant">  $clear-trace</span>
+  $clear-trace
   <span class="Comment"># start on second line (no newline after), press 'end'</span>
   assume-console [
     left-click<span class="Constant"> 2</span>,<span class="Constant"> 1</span>
@@ -2258,7 +2258,7 @@ d]
 <span class="Constant">de]</span>
   e:&amp;:editor <span class="Special">&lt;-</span> new-editor s, <span class="Constant">0/left</span>, <span class="Constant">10/right</span>
   editor-render screen, e
-<span class="Constant">  $clear-trace</span>
+  $clear-trace
   <span class="Comment"># try to move down past end of text</span>
   assume-console [
     left-click<span class="Constant"> 2</span>,<span class="Constant"> 0</span>
@@ -2287,7 +2287,7 @@ d]
    <span class="Constant"> .          .</span>
   ]
   <span class="Comment"># try to move down again</span>
-<span class="Constant">  $clear-trace</span>
+  $clear-trace
   assume-console [
     left-click<span class="Constant"> 2</span>,<span class="Constant"> 0</span>
     press down-arrow
diff --git a/html/x.mu.html b/html/x.mu.html
index e8502b27..3c635c4a 100644
--- a/html/x.mu.html
+++ b/html/x.mu.html
@@ -34,7 +34,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
   11:num <span class="Special">&lt;-</span> copy<span class="Constant"> 1</span>
   12:num <span class="Special">&lt;-</span> copy<span class="Constant"> 3</span>
   13:num <span class="Special">&lt;-</span> add 11:num, 12:num
-<span class="Constant">  $dump-memory</span>
+  $dump-memory
 ]
 </pre>
 </body>