diff options
Diffstat (limited to 'html')
| -rw-r--r-- | html/058shape_shifting_container.cc.html | 11 |
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 [ |