2424

1 files changed, 3 insertions, 8 deletions

diff --git a/html/058shape_shifting_container.cc.html b/html/058shape_shifting_container.cc.html
index 4425953a..4a4fb2cc 100644
--- a/html/058shape_shifting_container.cc.html
+++ b/html/058shape_shifting_container.cc.html
@@ -34,15 +34,10 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; }
 <pre id='vimCodeElement'>
 <span class="SalientComment">//:: Container definitions can contain type parameters.</span>
 <span class="Comment">//:</span>
-<span class="Comment">//: Extremely hacky initial implementation:</span>
-<span class="Comment">//:</span>
-<span class="Comment">//: a) We still don't support the full complexity of type trees inside</span>
-<span class="Comment">//: container definitions. So for example you can't have a container element</span>
-<span class="Comment">//: with this type:</span>
+<span class="Comment">//: Extremely hacky initial implementation. We still don't support the full</span>
+<span class="Comment">//: complexity of type trees inside container definitions. So for example you</span>
+<span class="Comment">//: can't have a container element with this type:</span>
 <span class="Comment">//:   (map (array address character) (list number))</span>
-<span class="Comment">//:</span>
-<span class="Comment">//: b) We also can't include type parameters anywhere except at the top of the</span>
-<span class="Comment">//: type of a container element.</span>
 
 <span class="Delimiter">:(scenario size_of_shape_shifting_container)</span>
 container foo:_t [