3688

Move my todos over the past couple of years into the codebase now that
it might be going dormant.

Surprising how few todos left undone!

6 files changed, 21 insertions, 6 deletions

diff --git a/html/046global.cc.html b/html/046global.cc.html
index 234acdc1..cc62df99 100644
--- a/html/046global.cc.html
+++ b/html/046global.cc.html
@@ -39,10 +39,10 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
 <span class="Comment">//: have access to each other's globals.</span>
 <span class="Comment">//:</span>
 <span class="Comment">//: This feature is still experimental and half-baked. You can't name global</span>
-<span class="Comment">//: variables, and so like in most tests they don't get checked for types (the</span>
-<span class="Comment">//: only known hole in the type system, can cause memory corruption). We might</span>
-<span class="Comment">//: fix these issues if we ever use globals. Or we might just drop the feature</span>
-<span class="Comment">//: entirely.</span>
+<span class="Comment">//: variables, and they don't get checked for types (the only known hole in</span>
+<span class="Comment">//: the type system, can cause memory corruption). We might fix these issues</span>
+<span class="Comment">//: if we ever use globals. Or we might just drop the feature entirely.</span>
+<span class="Comment">//: [tag: todo]</span>
 
 <span class="Delimiter">:(scenario global_space)</span>
 <span class="muRecipe">def</span> main [
diff --git a/html/057immutable.cc.html b/html/057immutable.cc.html
index c31f5e20..34928ecb 100644
--- a/html/057immutable.cc.html
+++ b/html/057immutable.cc.html
@@ -39,6 +39,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
 <span class="Comment">//: products. This layer will start enforcing this check.</span>
 <span class="Comment">//:</span>
 <span class="Comment">//: One hole for now: variables in surrounding spaces are implicitly mutable.</span>
+<span class="Comment">//: [tag: todo]</span>
 
 <span class="Delimiter">:(scenario can_modify_ingredients_that_are_also_products)</span>
 <span class="Comment"># mutable container</span>
diff --git a/html/061text.mu.html b/html/061text.mu.html
index 5f9ba882..41234594 100644
--- a/html/061text.mu.html
+++ b/html/061text.mu.html
@@ -157,6 +157,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
 ]
 
 <span class="Comment"># A new type to help incrementally construct texts.</span>
+<span class="Comment"># todo: make this shape-shifting.</span>
 <span class="muData">container</span> buffer [
   length:num
   data:text
diff --git a/html/070table.mu.html b/html/070table.mu.html
index 9cc6e3e1..6d9b3e0c 100644
--- a/html/070table.mu.html
+++ b/html/070table.mu.html
@@ -35,6 +35,8 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
 <span class="Comment"># A table is like an array, except that you can index it with arbitrary types</span>
 <span class="Comment"># and not just non-negative whole numbers.</span>
 
+<span class="Comment"># incomplete; doesn't handle hash conflicts</span>
+
 <span class="muScenario">scenario</span> table-read-write [
   <span class="Constant">local-scope</span>
   tab:&amp;:table:num:num <span class="Special">&lt;-</span> new-table<span class="Constant"> 30</span>
@@ -93,6 +95,8 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
   *result <span class="Special">&lt;-</span> merge <span class="Constant">0/length</span>, capacity, data
 ]
 
+<span class="Comment"># todo: tag results as /required so that call-sites are forbidden from ignoring them</span>
+<span class="Comment"># then we could handle conflicts simply by resizing the table</span>
 <span class="muRecipe">def</span> put-index table:&amp;:table:_key:_value, key:_key, value:_value<span class="muRecipe"> -&gt; </span>table:&amp;:table:_key:_value [
   <span class="Constant">local-scope</span>
   <span class="Constant">load-ingredients</span>
diff --git a/html/075channel.mu.html b/html/075channel.mu.html
index 7b9ade33..ed6eda1d 100644
--- a/html/075channel.mu.html
+++ b/html/075channel.mu.html
@@ -191,6 +191,9 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
   reset lock
 ]
 
+<span class="Comment"># todo: create a notion of iterator and iterable so we can read/write whole</span>
+<span class="Comment"># aggregates (arrays, lists, ..) of _elems at once.</span>
+
 <span class="muRecipe">def</span> clear in:&amp;:source:_elem<span class="muRecipe"> -&gt; </span>in:&amp;:source:_elem [
   <span class="Constant">local-scope</span>
   <span class="Constant">load-ingredients</span>
diff --git a/html/lambda-to-mu.mu.html b/html/lambda-to-mu.mu.html
index 86b47a69..ccb33e30 100644
--- a/html/lambda-to-mu.mu.html
+++ b/html/lambda-to-mu.mu.html
@@ -15,12 +15,12 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
 * { font-size: 12pt; font-size: 1em; }
 .muData { color: #ffff00; }
 .muControl { color: #c0a020; }
-.Delimiter { color: #800080; }
 .Special { color: #c00000; }
+.Delimiter { color: #800080; }
+.Comment { color: #9090ff; }
 .Constant { color: #00a0a0; }
 .SalientComment { color: #00ffff; }
 .CommentedCode { color: #6c6c6c; }
-.Comment { color: #9090ff; }
 .muRecipe { color: #ff8700; }
 .muScenario { color: #00af00; }
 -->
@@ -37,6 +37,12 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
 <span class="SalientComment">## experimental compiler to translate programs written in a generic</span>
 <span class="SalientComment">## expression-oriented language called 'lambda' into Mu</span>
 
+<span class="Comment"># incomplete; code generator not done</span>
+<span class="Comment"># potential enhancements:</span>
+<span class="Comment">#   symbol table</span>
+<span class="Comment">#   poor man's macros</span>
+<span class="Comment">#     substitute one instruction with multiple, parameterized by ingredients and products</span>
+
 <span class="muScenario">scenario</span> convert-lambda [
   run [
     <span class="Constant">local-scope</span>