about summary refs log tree commit diff stats
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2017-09-23 20:39:19 -0700
committerKartik K. Agaram <vc@akkartik.com>2017-09-23 20:39:19 -0700
commit925b20c497bf6be4768662ff39b0f5f1506a16ed (patch)
tree12bcfe05087cad0889abd8031b08097785afea23
parent615f4a970a2fa5c91766ee585a7d531b083f4bff (diff)
downloadmu-925b20c497bf6be4768662ff39b0f5f1506a16ed.tar.gz
4004
-rw-r--r--061text.mu2
-rw-r--r--html/061text.mu.html2
2 files changed, 2 insertions, 2 deletions
diff --git a/061text.mu b/061text.mu
index 1ef8c393..9cb44c79 100644
--- a/061text.mu
+++ b/061text.mu
@@ -27,7 +27,7 @@ def equal a:text, b:text -> result:bool [
     i <- add i, 1
     loop
   }
-  return 1
+  return 1/true
 ]
 
 scenario text-equal-reflexive [
diff --git a/html/061text.mu.html b/html/061text.mu.html
index 5c6d636c..a38b5cd1 100644
--- a/html/061text.mu.html
+++ b/html/061text.mu.html
@@ -89,7 +89,7 @@ if ('onhashchange' in window) {
 <span id="L27" class="LineNr">  27 </span>  <span class="Conceal">¦</span> i <span class="Special">&lt;-</span> add i,<span class="Constant"> 1</span>
 <span id="L28" class="LineNr">  28 </span>  <span class="Conceal">¦</span> <span class="muControl">loop</span>
 <span id="L29" class="LineNr">  29 </span>  <span class="Delimiter">}</span>
-<span id="L30" class="LineNr">  30 </span>  <span class="muControl">return</span><span class="Constant"> 1</span>
+<span id="L30" class="LineNr">  30 </span>  <span class="muControl">return</span> <span class="Constant">1/true</span>
 <span id="L31" class="LineNr">  31 </span>]
 <span id="L32" class="LineNr">  32 </span>
 <span id="L33" class="LineNr">  33 </span><span class="muScenario">scenario</span> text-equal-reflexive [