about summary refs log tree commit diff stats
path: root/html/055shape_shifting_container.cc.html
diff options
context:
space:
mode:
Diffstat (limited to 'html/055shape_shifting_container.cc.html')
-rw-r--r--html/055shape_shifting_container.cc.html169
1 files changed, 86 insertions, 83 deletions
diff --git a/html/055shape_shifting_container.cc.html b/html/055shape_shifting_container.cc.html
index 27314549..e8730f55 100644
--- a/html/055shape_shifting_container.cc.html
+++ b/html/055shape_shifting_container.cc.html
@@ -11,23 +11,25 @@
 <style type="text/css">
 <!--
 pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
-a { color:#eeeeee; text-decoration: none; }
-a:hover { text-decoration: underline; }
-* { font-size: 12pt; font-size: 1em; }
-.LineNr { color: #444444; }
-.Delimiter { color: #800080; }
+body { font-size:12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+.subxS2Comment a { color:inherit; }
+.subxS1Comment a { color:inherit; }
+.subxComment a { color:inherit; }
+.subxH2Comment a { color:inherit; }
+.subxH1Comment a { color:inherit; }
+* { font-size:12pt; font-size: 1em; }
+.LineNr { color:#444444; }
+.Delimiter { color:#800080; }
 .Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .SalientComment { color: #00ffff; }
 .CommentedCode { color: #6c6c6c; }
 .muRecipe { color: #ff8700; }
-.Constant { color: #00a0a0; }
-.Special { color: #c00000; }
-.Identifier { color: #c0a020; }
+.Constant { color:#00a0a0; }
+.Special { color:#c00000; }
+.Identifier { color:#c0a020; }
 .cSpecial { color: #008000; }
 .muData { color: #ffff00; }
-.Comment { color: #9090ff; }
-.Comment a { color:#0000ee; text-decoration:underline; }
+.Comment { color: #8080ff; }
 .traceContains { color: #008000; }
 -->
 </style>
@@ -62,6 +64,7 @@ if ('onhashchange' in window) {
 </script>
 </head>
 <body onload='JumpToLine();'>
+<a href='https://github.com/akkartik/mu/blob/master/055shape_shifting_container.cc'>https://github.com/akkartik/mu/blob/master/055shape_shifting_container.cc</a>
 <pre id='vimCodeElement'>
 <span id="L1" class="LineNr">  1 </span><span class="SalientComment">//:: Container definitions can contain 'type ingredients'</span>
 <span id="L2" class="LineNr">  2 </span>
@@ -185,7 +188,7 @@ if ('onhashchange' in window) {
 <span id="L120" class="LineNr">120 </span><span class="Comment">// that appears after foo.</span>
 <span id="L121" class="LineNr">121 </span><span class="Normal">extern</span> <span class="Normal">const</span> <span class="Normal">int</span> START_TYPE_INGREDIENTS = <span class="Constant">2000</span><span class="Delimiter">;</span>
 <span id="L122" class="LineNr">122 </span><span class="Delimiter">:(before &quot;End Commandline Parsing&quot;)</span>  <span class="Comment">// after loading .mu files</span>
-<span id="L123" class="LineNr">123 </span>assert<span class="Delimiter">(</span>Next_type_ordinal &lt; START_TYPE_INGREDIENTS<span class="Delimiter">);</span>
+<span id="L123" class="LineNr">123 </span>assert<span class="Delimiter">(</span><span class="Special">Next_type_ordinal</span> &lt; START_TYPE_INGREDIENTS<span class="Delimiter">);</span>
 <span id="L124" class="LineNr">124 </span>
 <span id="L125" class="LineNr">125 </span><span class="Delimiter">:(before &quot;End type_info Fields&quot;)</span>
 <span id="L126" class="LineNr">126 </span>map&lt;string<span class="Delimiter">,</span> type_ordinal&gt; type_ingredient_names<span class="Delimiter">;</span>
@@ -214,20 +217,20 @@ if ('onhashchange' in window) {
 <span id="L149" class="LineNr">149 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>!slurp_type_ingredients<span class="Delimiter">(</span>in<span class="Delimiter">,</span> type_ingredient_names<span class="Delimiter">,</span> name<span class="Delimiter">))</span> <span class="Delimiter">{</span>
 <span id="L150" class="LineNr">150 </span>    <span class="Identifier">return</span><span class="Constant"> false</span><span class="Delimiter">;</span>
 <span id="L151" class="LineNr">151 </span>  <span class="Delimiter">}</span>
-<span id="L152" class="LineNr">152 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span><a href='001help.cc.html#L226'>contains_key</a><span class="Delimiter">(</span>Type_ordinal<span class="Delimiter">,</span> name<span class="Delimiter">)</span>
-<span id="L153" class="LineNr">153 </span>      &amp;&amp; <a href='001help.cc.html#L226'>contains_key</a><span class="Delimiter">(</span>Type<span class="Delimiter">,</span> get<span class="Delimiter">(</span>Type_ordinal<span class="Delimiter">,</span> name<span class="Delimiter">)))</span> <span class="Delimiter">{</span>
-<span id="L154" class="LineNr">154 </span>    <span class="Normal">const</span> type_info&amp; previous_info = get<span class="Delimiter">(</span>Type<span class="Delimiter">,</span> get<span class="Delimiter">(</span>Type_ordinal<span class="Delimiter">,</span> name<span class="Delimiter">));</span>
+<span id="L152" class="LineNr">152 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span><a href='001help.cc.html#L226'>contains_key</a><span class="Delimiter">(</span><span class="Special">Type_ordinal</span><span class="Delimiter">,</span> name<span class="Delimiter">)</span>
+<span id="L153" class="LineNr">153 </span>      &amp;&amp; <a href='001help.cc.html#L226'>contains_key</a><span class="Delimiter">(</span><span class="Special">Type</span><span class="Delimiter">,</span> get<span class="Delimiter">(</span><span class="Special">Type_ordinal</span><span class="Delimiter">,</span> name<span class="Delimiter">)))</span> <span class="Delimiter">{</span>
+<span id="L154" class="LineNr">154 </span>    <span class="Normal">const</span> type_info&amp; previous_info = get<span class="Delimiter">(</span><span class="Special">Type</span><span class="Delimiter">,</span> get<span class="Delimiter">(</span><span class="Special">Type_ordinal</span><span class="Delimiter">,</span> name<span class="Delimiter">));</span>
 <span id="L155" class="LineNr">155 </span>    <span class="Comment">// we've already seen this container; make sure type ingredients match</span>
 <span id="L156" class="LineNr">156 </span>    <span class="Normal">if</span> <span class="Delimiter">(</span>!type_ingredients_match<span class="Delimiter">(</span>type_ingredient_names<span class="Delimiter">,</span> previous_info<span class="Delimiter">.</span>type_ingredient_names<span class="Delimiter">))</span> <span class="Delimiter">{</span>
-<span id="L157" class="LineNr">157 </span>      <a href='003trace.cc.html#L196'>raise</a> &lt;&lt; <span class="Constant">&quot;headers of &quot;</span> &lt;&lt; command &lt;&lt; <span class="Constant">&quot; '&quot;</span> &lt;&lt; name &lt;&lt; <span class="Constant">&quot;' must use identical type ingredients</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span> &lt;&lt; <a href='003trace.cc.html#L225'>end</a><span class="Delimiter">();</span>
+<span id="L157" class="LineNr">157 </span>      <a href='003trace.cc.html#L196'>raise</a> &lt;&lt; <span class="Constant">&quot;headers of &quot;</span> &lt;&lt; command &lt;&lt; <span class="Constant">&quot; '&quot;</span> &lt;&lt; name &lt;&lt; <span class="Constant">&quot;' must use identical type ingredients\n&quot;</span> &lt;&lt; <a href='003trace.cc.html#L225'>end</a><span class="Delimiter">();</span>
 <span id="L158" class="LineNr">158 </span>      <span class="Identifier">return</span><span class="Constant"> false</span><span class="Delimiter">;</span>
 <span id="L159" class="LineNr">159 </span>    <span class="Delimiter">}</span>
 <span id="L160" class="LineNr">160 </span>    <span class="Identifier">return</span><span class="Constant"> true</span><span class="Delimiter">;</span>
 <span id="L161" class="LineNr">161 </span>  <span class="Delimiter">}</span>
 <span id="L162" class="LineNr">162 </span>  <span class="Comment">// we haven't seen this container before</span>
-<span id="L163" class="LineNr">163 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>!contains_key<span class="Delimiter">(</span>Type_ordinal<span class="Delimiter">,</span> name<span class="Delimiter">)</span> || get<span class="Delimiter">(</span>Type_ordinal<span class="Delimiter">,</span> name<span class="Delimiter">)</span> == <span class="Constant">0</span><span class="Delimiter">)</span>
-<span id="L164" class="LineNr">164 </span>    <a href='001help.cc.html#L221'>put</a><span class="Delimiter">(</span>Type_ordinal<span class="Delimiter">,</span> name<span class="Delimiter">,</span> Next_type_ordinal++<span class="Delimiter">);</span>
-<span id="L165" class="LineNr">165 </span>  type_info&amp; info = <a href='001help.cc.html#L229'>get_or_insert</a><span class="Delimiter">(</span>Type<span class="Delimiter">,</span> get<span class="Delimiter">(</span>Type_ordinal<span class="Delimiter">,</span> name<span class="Delimiter">));</span>
+<span id="L163" class="LineNr">163 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>!contains_key<span class="Delimiter">(</span><span class="Special">Type_ordinal</span><span class="Delimiter">,</span> name<span class="Delimiter">)</span> || get<span class="Delimiter">(</span><span class="Special">Type_ordinal</span><span class="Delimiter">,</span> name<span class="Delimiter">)</span> == <span class="Constant">0</span><span class="Delimiter">)</span>
+<span id="L164" class="LineNr">164 </span>    <a href='001help.cc.html#L221'>put</a><span class="Delimiter">(</span><span class="Special">Type_ordinal</span><span class="Delimiter">,</span> name<span class="Delimiter">,</span> <span class="Special">Next_type_ordinal</span>++<span class="Delimiter">);</span>
+<span id="L165" class="LineNr">165 </span>  type_info&amp; info = <a href='001help.cc.html#L229'>get_or_insert</a><span class="Delimiter">(</span><span class="Special">Type</span><span class="Delimiter">,</span> get<span class="Delimiter">(</span><span class="Special">Type_ordinal</span><span class="Delimiter">,</span> name<span class="Delimiter">));</span>
 <span id="L166" class="LineNr">166 </span>  info<span class="Delimiter">.</span>type_ingredient_names<span class="Delimiter">.</span>swap<span class="Delimiter">(</span>type_ingredient_names<span class="Delimiter">);</span>
 <span id="L167" class="LineNr">167 </span>  <span class="Identifier">return</span><span class="Constant"> true</span><span class="Delimiter">;</span>
 <span id="L168" class="LineNr">168 </span><span class="Delimiter">}</span>
@@ -237,15 +240,15 @@ if ('onhashchange' in window) {
 <span id="L172" class="LineNr">172 </span>  <span class="Normal">while</span> <span class="Delimiter">(</span><a href='001help.cc.html#L239'>has_data</a><span class="Delimiter">(</span>in<span class="Delimiter">))</span> <span class="Delimiter">{</span>
 <span id="L173" class="LineNr">173 </span>    string curr = slurp_until<span class="Delimiter">(</span>in<span class="Delimiter">,</span> <span class="Constant">':'</span><span class="Delimiter">);</span>
 <span id="L174" class="LineNr">174 </span>    <span class="Normal">if</span> <span class="Delimiter">(</span>curr<span class="Delimiter">.</span>empty<span class="Delimiter">())</span> <span class="Delimiter">{</span>
-<span id="L175" class="LineNr">175 </span>      <a href='003trace.cc.html#L196'>raise</a> &lt;&lt; container_name &lt;&lt; <span class="Constant">&quot;: empty type ingredients not permitted</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span> &lt;&lt; <a href='003trace.cc.html#L225'>end</a><span class="Delimiter">();</span>
+<span id="L175" class="LineNr">175 </span>      <a href='003trace.cc.html#L196'>raise</a> &lt;&lt; container_name &lt;&lt; <span class="Constant">&quot;: empty type ingredients not permitted\n&quot;</span> &lt;&lt; <a href='003trace.cc.html#L225'>end</a><span class="Delimiter">();</span>
 <span id="L176" class="LineNr">176 </span>      <span class="Identifier">return</span><span class="Constant"> false</span><span class="Delimiter">;</span>
 <span id="L177" class="LineNr">177 </span>    <span class="Delimiter">}</span>
 <span id="L178" class="LineNr">178 </span>    <span class="Normal">if</span> <span class="Delimiter">(</span>!starts_with<span class="Delimiter">(</span>curr<span class="Delimiter">,</span> <span class="Constant">&quot;_&quot;</span><span class="Delimiter">))</span> <span class="Delimiter">{</span>
-<span id="L179" class="LineNr">179 </span>      <a href='003trace.cc.html#L196'>raise</a> &lt;&lt; container_name &lt;&lt; <span class="Constant">&quot;: type ingredient '&quot;</span> &lt;&lt; curr &lt;&lt; <span class="Constant">&quot;' must begin with an underscore</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span> &lt;&lt; <a href='003trace.cc.html#L225'>end</a><span class="Delimiter">();</span>
+<span id="L179" class="LineNr">179 </span>      <a href='003trace.cc.html#L196'>raise</a> &lt;&lt; container_name &lt;&lt; <span class="Constant">&quot;: type ingredient '&quot;</span> &lt;&lt; curr &lt;&lt; <span class="Constant">&quot;' must begin with an underscore\n&quot;</span> &lt;&lt; <a href='003trace.cc.html#L225'>end</a><span class="Delimiter">();</span>
 <span id="L180" class="LineNr">180 </span>      <span class="Identifier">return</span><span class="Constant"> false</span><span class="Delimiter">;</span>
 <span id="L181" class="LineNr">181 </span>    <span class="Delimiter">}</span>
 <span id="L182" class="LineNr">182 </span>    <span class="Normal">if</span> <span class="Delimiter">(</span>out<span class="Delimiter">.</span>find<span class="Delimiter">(</span>curr<span class="Delimiter">)</span> != out<span class="Delimiter">.</span><a href='003trace.cc.html#L225'>end</a><span class="Delimiter">())</span> <span class="Delimiter">{</span>
-<span id="L183" class="LineNr">183 </span>      <a href='003trace.cc.html#L196'>raise</a> &lt;&lt; container_name &lt;&lt; <span class="Constant">&quot;: can't repeat type ingredient name'&quot;</span> &lt;&lt; curr &lt;&lt; <span class="Constant">&quot;' in a single container definition</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span> &lt;&lt; end<span class="Delimiter">();</span>
+<span id="L183" class="LineNr">183 </span>      <a href='003trace.cc.html#L196'>raise</a> &lt;&lt; container_name &lt;&lt; <span class="Constant">&quot;: can't repeat type ingredient name'&quot;</span> &lt;&lt; curr &lt;&lt; <span class="Constant">&quot;' in a single container definition\n&quot;</span> &lt;&lt; end<span class="Delimiter">();</span>
 <span id="L184" class="LineNr">184 </span>      <span class="Identifier">return</span><span class="Constant"> false</span><span class="Delimiter">;</span>
 <span id="L185" class="LineNr">185 </span>    <span class="Delimiter">}</span>
 <span id="L186" class="LineNr">186 </span>    <a href='001help.cc.html#L221'>put</a><span class="Delimiter">(</span>out<span class="Delimiter">,</span> curr<span class="Delimiter">,</span> next_type_ordinal++<span class="Delimiter">);</span>
@@ -274,7 +277,7 @@ if ('onhashchange' in window) {
 <span id="L209" class="LineNr">209 </span>
 <span id="L210" class="LineNr">210 </span><span class="Delimiter">:(before &quot;End Container Type Checks&quot;)</span>
 <span id="L211" class="LineNr">211 </span><span class="Normal">if</span> <span class="Delimiter">(</span>type<span class="Delimiter">-&gt;</span>value &gt;= START_TYPE_INGREDIENTS
-<span id="L212" class="LineNr">212 </span>    &amp;&amp; <span class="Delimiter">(</span>type<span class="Delimiter">-&gt;</span>value - START_TYPE_INGREDIENTS<span class="Delimiter">)</span> &lt; <a href='001help.cc.html#L141'>SIZE</a><span class="Delimiter">(</span>get<span class="Delimiter">(</span>Type<span class="Delimiter">,</span> type<span class="Delimiter">-&gt;</span>value<span class="Delimiter">).</span>type_ingredient_names<span class="Delimiter">))</span>
+<span id="L212" class="LineNr">212 </span>    &amp;&amp; <span class="Delimiter">(</span>type<span class="Delimiter">-&gt;</span>value - START_TYPE_INGREDIENTS<span class="Delimiter">)</span> &lt; <a href='001help.cc.html#L141'>SIZE</a><span class="Delimiter">(</span>get<span class="Delimiter">(</span><span class="Special">Type</span><span class="Delimiter">,</span> type<span class="Delimiter">-&gt;</span>value<span class="Delimiter">).</span>type_ingredient_names<span class="Delimiter">))</span>
 <span id="L213" class="LineNr">213 </span>  <span class="Identifier">return</span><span class="Delimiter">;</span>
 <span id="L214" class="LineNr">214 </span>
 <span id="L215" class="LineNr">215 </span><span class="Delimiter">:(scenario size_of_shape_shifting_exclusive_container)</span>
@@ -374,18 +377,18 @@ if ('onhashchange' in window) {
 <span id="L309" class="LineNr">309 </span>
 <span id="L310" class="LineNr">310 </span><span class="Delimiter">:(before &quot;End size_of(type) Non-atom Special-cases&quot;)</span>
 <span id="L311" class="LineNr">311 </span>assert<span class="Delimiter">(</span>type<span class="Delimiter">-&gt;</span>left<span class="Delimiter">-&gt;</span>atom<span class="Delimiter">);</span>
-<span id="L312" class="LineNr">312 </span><span class="Normal">if</span> <span class="Delimiter">(</span>!contains_key<span class="Delimiter">(</span>Type<span class="Delimiter">,</span> type<span class="Delimiter">-&gt;</span>left<span class="Delimiter">-&gt;</span>value<span class="Delimiter">))</span> <span class="Delimiter">{</span>
+<span id="L312" class="LineNr">312 </span><span class="Normal">if</span> <span class="Delimiter">(</span>!contains_key<span class="Delimiter">(</span><span class="Special">Type</span><span class="Delimiter">,</span> type<span class="Delimiter">-&gt;</span>left<span class="Delimiter">-&gt;</span>value<span class="Delimiter">))</span> <span class="Delimiter">{</span>
 <span id="L313" class="LineNr">313 </span>  <a href='003trace.cc.html#L196'>raise</a> &lt;&lt; <span class="Constant">&quot;no such type &quot;</span> &lt;&lt; type<span class="Delimiter">-&gt;</span>left<span class="Delimiter">-&gt;</span>value &lt;&lt; <span class="cSpecial">'\n'</span> &lt;&lt; <a href='003trace.cc.html#L225'>end</a><span class="Delimiter">();</span>
 <span id="L314" class="LineNr">314 </span>  <span class="Identifier">return</span> <span class="Constant">0</span><span class="Delimiter">;</span>
 <span id="L315" class="LineNr">315 </span><span class="Delimiter">}</span>
-<span id="L316" class="LineNr">316 </span>type_info t = get<span class="Delimiter">(</span>Type<span class="Delimiter">,</span> type<span class="Delimiter">-&gt;</span>left<span class="Delimiter">-&gt;</span>value<span class="Delimiter">);</span>
+<span id="L316" class="LineNr">316 </span>type_info t = get<span class="Delimiter">(</span><span class="Special">Type</span><span class="Delimiter">,</span> type<span class="Delimiter">-&gt;</span>left<span class="Delimiter">-&gt;</span>value<span class="Delimiter">);</span>
 <span id="L317" class="LineNr">317 </span><span class="Normal">if</span> <span class="Delimiter">(</span>t<span class="Delimiter">.</span>kind == <a href='010vm.cc.html#L180'>CONTAINER</a><span class="Delimiter">)</span> <span class="Delimiter">{</span>
 <span id="L318" class="LineNr">318 </span>  <span class="Comment">// size of a container is the sum of the sizes of its elements</span>
 <span id="L319" class="LineNr">319 </span>  <span class="Normal">int</span> result = <span class="Constant">0</span><span class="Delimiter">;</span>
 <span id="L320" class="LineNr">320 </span>  <span class="Normal">for</span> <span class="Delimiter">(</span><span class="Normal">int</span> i = <span class="Constant">0</span><span class="Delimiter">;</span> i &lt; <a href='001help.cc.html#L141'>SIZE</a><span class="Delimiter">(</span>t<span class="Delimiter">.</span>elements<span class="Delimiter">);</span> ++i<span class="Delimiter">)</span> <span class="Delimiter">{</span>
 <span id="L321" class="LineNr">321 </span>    <span class="Comment">// todo: strengthen assertion to disallow mutual type recursion</span>
 <span id="L322" class="LineNr">322 </span>    <span class="Normal">if</span> <span class="Delimiter">(</span>get_base_type<span class="Delimiter">(</span>t<span class="Delimiter">.</span>elements<span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">).</span>type<span class="Delimiter">)-&gt;</span>value == get_base_type<span class="Delimiter">(</span>type<span class="Delimiter">)-&gt;</span>value<span class="Delimiter">)</span> <span class="Delimiter">{</span>
-<span id="L323" class="LineNr">323 </span>      <a href='003trace.cc.html#L196'>raise</a> &lt;&lt; <span class="Constant">&quot;container &quot;</span> &lt;&lt; t<span class="Delimiter">.</span>name &lt;&lt; <span class="Constant">&quot; can't include itself as a member</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span> &lt;&lt; end<span class="Delimiter">();</span>
+<span id="L323" class="LineNr">323 </span>      <a href='003trace.cc.html#L196'>raise</a> &lt;&lt; <span class="Constant">&quot;container &quot;</span> &lt;&lt; t<span class="Delimiter">.</span>name &lt;&lt; <span class="Constant">&quot; can't include itself as a member\n&quot;</span> &lt;&lt; end<span class="Delimiter">();</span>
 <span id="L324" class="LineNr">324 </span>      <span class="Identifier">return</span> <span class="Constant">0</span><span class="Delimiter">;</span>
 <span id="L325" class="LineNr">325 </span>    <span class="Delimiter">}</span>
 <span id="L326" class="LineNr">326 </span>    result += size_of<span class="Delimiter">(</span><a href='030container.cc.html#L212'>element_type</a><span class="Delimiter">(</span>type<span class="Delimiter">,</span> i<span class="Delimiter">));</span>
@@ -512,109 +515,109 @@ if ('onhashchange' in window) {
 <span id="L447" class="LineNr">447 </span>
 <span id="L448" class="LineNr">448 </span><span class="Delimiter">:(before &quot;End Unit Tests&quot;)</span>
 <span id="L449" class="LineNr">449 </span><span class="Normal">void</span> test_replace_type_ingredients_entire<span class="Delimiter">()</span> <span class="Delimiter">{</span>
-<span id="L450" class="LineNr">450 </span>  run<span class="Delimiter">(</span><span class="Constant">&quot;container foo:_elem [</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span>
-<span id="L451" class="LineNr">451 </span>      <span class="Constant">&quot;  x:_elem</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span>
-<span id="L452" class="LineNr">452 </span>      <span class="Constant">&quot;  y:num</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span>
-<span id="L453" class="LineNr">453 </span>      <span class="Constant">&quot;]</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span><span class="Delimiter">);</span>
+<span id="L450" class="LineNr">450 </span>  run<span class="Delimiter">(</span><span class="Constant">&quot;container foo:_elem [\n&quot;</span>
+<span id="L451" class="LineNr">451 </span>      <span class="Constant">&quot;  x:_elem\n&quot;</span>
+<span id="L452" class="LineNr">452 </span>      <span class="Constant">&quot;  y:num\n&quot;</span>
+<span id="L453" class="LineNr">453 </span>      <span class="Constant">&quot;]\n&quot;</span><span class="Delimiter">);</span>
 <span id="L454" class="LineNr">454 </span>  reagent callsite<span class="Delimiter">(</span><span class="Constant">&quot;x:foo:point&quot;</span><span class="Delimiter">);</span>
 <span id="L455" class="LineNr">455 </span>  reagent element = <a href='030container.cc.html#L212'>element_type</a><span class="Delimiter">(</span>callsite<span class="Delimiter">.</span>type<span class="Delimiter">,</span> <span class="Constant">0</span><span class="Delimiter">);</span>
-<span id="L456" class="LineNr">456 </span>  <a href='002test.cc.html#L31'>CHECK_EQ</a><span class="Delimiter">(</span><a href='028call_return.cc.html#L163'>to_string</a><span class="Delimiter">(</span>element<span class="Delimiter">),</span> <span class="Constant">&quot;{x: </span><span class="cSpecial">\&quot;</span><span class="Constant">point</span><span class="cSpecial">\&quot;</span><span class="Constant">}&quot;</span><span class="Delimiter">);</span>
+<span id="L456" class="LineNr">456 </span>  <a href='002test.cc.html#L31'>CHECK_EQ</a><span class="Delimiter">(</span><a href='028call_return.cc.html#L163'>to_string</a><span class="Delimiter">(</span>element<span class="Delimiter">),</span> <span class="Constant">&quot;{x: \&quot;</span>point\<span class="Constant">&quot;}&quot;</span><span class="Delimiter">);</span>
 <span id="L457" class="LineNr">457 </span><span class="Delimiter">}</span>
 <span id="L458" class="LineNr">458 </span>
 <span id="L459" class="LineNr">459 </span><span class="Normal">void</span> test_replace_type_ingredients_tail<span class="Delimiter">()</span> <span class="Delimiter">{</span>
-<span id="L460" class="LineNr">460 </span>  run<span class="Delimiter">(</span><span class="Constant">&quot;container foo:_elem [</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span>
-<span id="L461" class="LineNr">461 </span>      <span class="Constant">&quot;  x:_elem</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span>
-<span id="L462" class="LineNr">462 </span>      <span class="Constant">&quot;]</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span>
-<span id="L463" class="LineNr">463 </span>      <span class="Constant">&quot;container bar:_elem [</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span>
-<span id="L464" class="LineNr">464 </span>      <span class="Constant">&quot;  x:foo:_elem</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span>
-<span id="L465" class="LineNr">465 </span>      <span class="Constant">&quot;]</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span><span class="Delimiter">);</span>
+<span id="L460" class="LineNr">460 </span>  run<span class="Delimiter">(</span><span class="Constant">&quot;container foo:_elem [\n&quot;</span>
+<span id="L461" class="LineNr">461 </span>      <span class="Constant">&quot;  x:_elem\n&quot;</span>
+<span id="L462" class="LineNr">462 </span>      <span class="Constant">&quot;]\n&quot;</span>
+<span id="L463" class="LineNr">463 </span>      <span class="Constant">&quot;container bar:_elem [\n&quot;</span>
+<span id="L464" class="LineNr">464 </span>      <span class="Constant">&quot;  x:foo:_elem\n&quot;</span>
+<span id="L465" class="LineNr">465 </span>      <span class="Constant">&quot;]\n&quot;</span><span class="Delimiter">);</span>
 <span id="L466" class="LineNr">466 </span>  reagent callsite<span class="Delimiter">(</span><span class="Constant">&quot;x:bar:point&quot;</span><span class="Delimiter">);</span>
 <span id="L467" class="LineNr">467 </span>  reagent element = <a href='030container.cc.html#L212'>element_type</a><span class="Delimiter">(</span>callsite<span class="Delimiter">.</span>type<span class="Delimiter">,</span> <span class="Constant">0</span><span class="Delimiter">);</span>
-<span id="L468" class="LineNr">468 </span>  <a href='002test.cc.html#L31'>CHECK_EQ</a><span class="Delimiter">(</span><a href='028call_return.cc.html#L163'>to_string</a><span class="Delimiter">(</span>element<span class="Delimiter">),</span> <span class="Constant">&quot;{x: (</span><span class="cSpecial">\&quot;</span><span class="Constant">foo</span><span class="cSpecial">\&quot;</span><span class="Constant"> </span><span class="cSpecial">\&quot;</span><span class="Constant">point</span><span class="cSpecial">\&quot;</span><span class="Constant">)}&quot;</span><span class="Delimiter">);</span>
+<span id="L468" class="LineNr">468 </span>  <a href='002test.cc.html#L31'>CHECK_EQ</a><span class="Delimiter">(</span><a href='028call_return.cc.html#L163'>to_string</a><span class="Delimiter">(</span>element<span class="Delimiter">),</span> <span class="Constant">&quot;{x: (\&quot;</span>foo\<span class="Constant">&quot; \&quot;</span>point\<span class="Constant">&quot;)}&quot;</span><span class="Delimiter">);</span>
 <span id="L469" class="LineNr">469 </span><span class="Delimiter">}</span>
 <span id="L470" class="LineNr">470 </span>
 <span id="L471" class="LineNr">471 </span><span class="Normal">void</span> test_replace_type_ingredients_head_tail_multiple<span class="Delimiter">()</span> <span class="Delimiter">{</span>
-<span id="L472" class="LineNr">472 </span>  run<span class="Delimiter">(</span><span class="Constant">&quot;container foo:_elem [</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span>
-<span id="L473" class="LineNr">473 </span>      <span class="Constant">&quot;  x:_elem</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span>
-<span id="L474" class="LineNr">474 </span>      <span class="Constant">&quot;]</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span>
-<span id="L475" class="LineNr">475 </span>      <span class="Constant">&quot;container bar:_elem [</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span>
-<span id="L476" class="LineNr">476 </span>      <span class="Constant">&quot;  x:foo:_elem</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span>
-<span id="L477" class="LineNr">477 </span>      <span class="Constant">&quot;]</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span><span class="Delimiter">);</span>
+<span id="L472" class="LineNr">472 </span>  run<span class="Delimiter">(</span><span class="Constant">&quot;container foo:_elem [\n&quot;</span>
+<span id="L473" class="LineNr">473 </span>      <span class="Constant">&quot;  x:_elem\n&quot;</span>
+<span id="L474" class="LineNr">474 </span>      <span class="Constant">&quot;]\n&quot;</span>
+<span id="L475" class="LineNr">475 </span>      <span class="Constant">&quot;container bar:_elem [\n&quot;</span>
+<span id="L476" class="LineNr">476 </span>      <span class="Constant">&quot;  x:foo:_elem\n&quot;</span>
+<span id="L477" class="LineNr">477 </span>      <span class="Constant">&quot;]\n&quot;</span><span class="Delimiter">);</span>
 <span id="L478" class="LineNr">478 </span>  reagent callsite<span class="Delimiter">(</span><span class="Constant">&quot;x:bar:<a href='043space.cc.html#L101'>address</a>:array:character&quot;</span><span class="Delimiter">);</span>
 <span id="L479" class="LineNr">479 </span>  reagent element = <a href='030container.cc.html#L212'>element_type</a><span class="Delimiter">(</span>callsite<span class="Delimiter">.</span>type<span class="Delimiter">,</span> <span class="Constant">0</span><span class="Delimiter">);</span>
-<span id="L480" class="LineNr">480 </span>  <a href='002test.cc.html#L31'>CHECK_EQ</a><span class="Delimiter">(</span><a href='028call_return.cc.html#L163'>to_string</a><span class="Delimiter">(</span>element<span class="Delimiter">),</span> <span class="Constant">&quot;{x: (</span><span class="cSpecial">\&quot;</span><span class="Constant">foo</span><span class="cSpecial">\&quot;</span><span class="Constant"> </span><span class="cSpecial">\&quot;</span><span class="Constant"><a href='043space.cc.html#L101'>address</a></span><span class="cSpecial">\&quot;</span><span class="Constant"> </span><span class="cSpecial">\&quot;</span><span class="Constant">array</span><span class="cSpecial">\&quot;</span><span class="Constant"> </span><span class="cSpecial">\&quot;</span><span class="Constant">character</span><span class="cSpecial">\&quot;</span><span class="Constant">)}&quot;</span><span class="Delimiter">);</span>
+<span id="L480" class="LineNr">480 </span>  <a href='002test.cc.html#L31'>CHECK_EQ</a><span class="Delimiter">(</span><a href='028call_return.cc.html#L163'>to_string</a><span class="Delimiter">(</span>element<span class="Delimiter">),</span> <span class="Constant">&quot;{x: (\&quot;</span>foo\<span class="Constant">&quot; \&quot;</span>address\<span class="Constant">&quot; \&quot;</span>array\<span class="Constant">&quot; \&quot;</span>character\<span class="Constant">&quot;)}&quot;</span><span class="Delimiter">);</span>
 <span id="L481" class="LineNr">481 </span><span class="Delimiter">}</span>
 <span id="L482" class="LineNr">482 </span>
 <span id="L483" class="LineNr">483 </span><span class="Normal">void</span> test_replace_type_ingredients_head_middle<span class="Delimiter">()</span> <span class="Delimiter">{</span>
-<span id="L484" class="LineNr">484 </span>  run<span class="Delimiter">(</span><span class="Constant">&quot;container foo:_elem [</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span>
-<span id="L485" class="LineNr">485 </span>      <span class="Constant">&quot;  x:_elem</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span>
-<span id="L486" class="LineNr">486 </span>      <span class="Constant">&quot;]</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span>
-<span id="L487" class="LineNr">487 </span>      <span class="Constant">&quot;container bar:_elem [</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span>
-<span id="L488" class="LineNr">488 </span>      <span class="Constant">&quot;  x:foo:_elem:num</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span>
-<span id="L489" class="LineNr">489 </span>      <span class="Constant">&quot;]</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span><span class="Delimiter">);</span>
+<span id="L484" class="LineNr">484 </span>  run<span class="Delimiter">(</span><span class="Constant">&quot;container foo:_elem [\n&quot;</span>
+<span id="L485" class="LineNr">485 </span>      <span class="Constant">&quot;  x:_elem\n&quot;</span>
+<span id="L486" class="LineNr">486 </span>      <span class="Constant">&quot;]\n&quot;</span>
+<span id="L487" class="LineNr">487 </span>      <span class="Constant">&quot;container bar:_elem [\n&quot;</span>
+<span id="L488" class="LineNr">488 </span>      <span class="Constant">&quot;  x:foo:_elem:num\n&quot;</span>
+<span id="L489" class="LineNr">489 </span>      <span class="Constant">&quot;]\n&quot;</span><span class="Delimiter">);</span>
 <span id="L490" class="LineNr">490 </span>  reagent callsite<span class="Delimiter">(</span><span class="Constant">&quot;x:bar:address&quot;</span><span class="Delimiter">);</span>
 <span id="L491" class="LineNr">491 </span>  reagent element = <a href='030container.cc.html#L212'>element_type</a><span class="Delimiter">(</span>callsite<span class="Delimiter">.</span>type<span class="Delimiter">,</span> <span class="Constant">0</span><span class="Delimiter">);</span>
-<span id="L492" class="LineNr">492 </span>  <a href='002test.cc.html#L31'>CHECK_EQ</a><span class="Delimiter">(</span><a href='028call_return.cc.html#L163'>to_string</a><span class="Delimiter">(</span>element<span class="Delimiter">),</span> <span class="Constant">&quot;{x: (</span><span class="cSpecial">\&quot;</span><span class="Constant">foo</span><span class="cSpecial">\&quot;</span><span class="Constant"> </span><span class="cSpecial">\&quot;</span><span class="Constant"><a href='043space.cc.html#L101'>address</a></span><span class="cSpecial">\&quot;</span><span class="Constant"> </span><span class="cSpecial">\&quot;</span><span class="Constant">number</span><span class="cSpecial">\&quot;</span><span class="Constant">)}&quot;</span><span class="Delimiter">);</span>
+<span id="L492" class="LineNr">492 </span>  <a href='002test.cc.html#L31'>CHECK_EQ</a><span class="Delimiter">(</span><a href='028call_return.cc.html#L163'>to_string</a><span class="Delimiter">(</span>element<span class="Delimiter">),</span> <span class="Constant">&quot;{x: (\&quot;</span>foo\<span class="Constant">&quot; \&quot;</span>address\<span class="Constant">&quot; \&quot;</span>number\<span class="Constant">&quot;)}&quot;</span><span class="Delimiter">);</span>
 <span id="L493" class="LineNr">493 </span><span class="Delimiter">}</span>
 <span id="L494" class="LineNr">494 </span>
 <span id="L495" class="LineNr">495 </span><span class="Normal">void</span> test_replace_last_type_ingredient_with_multiple<span class="Delimiter">()</span> <span class="Delimiter">{</span>
-<span id="L496" class="LineNr">496 </span>  run<span class="Delimiter">(</span><span class="Constant">&quot;container foo:_a:_b [</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span>
-<span id="L497" class="LineNr">497 </span>      <span class="Constant">&quot;  x:_a</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span>
-<span id="L498" class="LineNr">498 </span>      <span class="Constant">&quot;  y:_b</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span>
-<span id="L499" class="LineNr">499 </span>      <span class="Constant">&quot;]</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span><span class="Delimiter">);</span>
+<span id="L496" class="LineNr">496 </span>  run<span class="Delimiter">(</span><span class="Constant">&quot;container foo:_a:_b [\n&quot;</span>
+<span id="L497" class="LineNr">497 </span>      <span class="Constant">&quot;  x:_a\n&quot;</span>
+<span id="L498" class="LineNr">498 </span>      <span class="Constant">&quot;  y:_b\n&quot;</span>
+<span id="L499" class="LineNr">499 </span>      <span class="Constant">&quot;]\n&quot;</span><span class="Delimiter">);</span>
 <span id="L500" class="LineNr">500 </span>  reagent callsite<span class="Delimiter">(</span><span class="Constant">&quot;{f: (foo number (address array character))}&quot;</span><span class="Delimiter">);</span>
 <span id="L501" class="LineNr">501 </span>  reagent element1 = <a href='030container.cc.html#L212'>element_type</a><span class="Delimiter">(</span>callsite<span class="Delimiter">.</span>type<span class="Delimiter">,</span> <span class="Constant">0</span><span class="Delimiter">);</span>
-<span id="L502" class="LineNr">502 </span>  <a href='002test.cc.html#L31'>CHECK_EQ</a><span class="Delimiter">(</span><a href='028call_return.cc.html#L163'>to_string</a><span class="Delimiter">(</span>element1<span class="Delimiter">),</span> <span class="Constant">&quot;{x: </span><span class="cSpecial">\&quot;</span><span class="Constant">number</span><span class="cSpecial">\&quot;</span><span class="Constant">}&quot;</span><span class="Delimiter">);</span>
+<span id="L502" class="LineNr">502 </span>  <a href='002test.cc.html#L31'>CHECK_EQ</a><span class="Delimiter">(</span><a href='028call_return.cc.html#L163'>to_string</a><span class="Delimiter">(</span>element1<span class="Delimiter">),</span> <span class="Constant">&quot;{x: \&quot;</span>number\<span class="Constant">&quot;}&quot;</span><span class="Delimiter">);</span>
 <span id="L503" class="LineNr">503 </span>  reagent element2 = <a href='030container.cc.html#L212'>element_type</a><span class="Delimiter">(</span>callsite<span class="Delimiter">.</span>type<span class="Delimiter">,</span> <span class="Constant">1</span><span class="Delimiter">);</span>
-<span id="L504" class="LineNr">504 </span>  <a href='002test.cc.html#L31'>CHECK_EQ</a><span class="Delimiter">(</span><a href='028call_return.cc.html#L163'>to_string</a><span class="Delimiter">(</span>element2<span class="Delimiter">),</span> <span class="Constant">&quot;{y: (</span><span class="cSpecial">\&quot;</span><span class="Constant"><a href='043space.cc.html#L101'>address</a></span><span class="cSpecial">\&quot;</span><span class="Constant"> </span><span class="cSpecial">\&quot;</span><span class="Constant">array</span><span class="cSpecial">\&quot;</span><span class="Constant"> </span><span class="cSpecial">\&quot;</span><span class="Constant">character</span><span class="cSpecial">\&quot;</span><span class="Constant">)}&quot;</span><span class="Delimiter">);</span>
+<span id="L504" class="LineNr">504 </span>  <a href='002test.cc.html#L31'>CHECK_EQ</a><span class="Delimiter">(</span><a href='028call_return.cc.html#L163'>to_string</a><span class="Delimiter">(</span>element2<span class="Delimiter">),</span> <span class="Constant">&quot;{y: (\&quot;</span>address\<span class="Constant">&quot; \&quot;</span>array\<span class="Constant">&quot; \&quot;</span>character\<span class="Constant">&quot;)}&quot;</span><span class="Delimiter">);</span>
 <span id="L505" class="LineNr">505 </span><span class="Delimiter">}</span>
 <span id="L506" class="LineNr">506 </span>
 <span id="L507" class="LineNr">507 </span><span class="Normal">void</span> test_replace_last_type_ingredient_inside_compound<span class="Delimiter">()</span> <span class="Delimiter">{</span>
-<span id="L508" class="LineNr">508 </span>  run<span class="Delimiter">(</span><span class="Constant">&quot;container foo:_a:_b [</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span>
-<span id="L509" class="LineNr">509 </span>      <span class="Constant">&quot;  {x: (bar _a (address _b))}</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span>
-<span id="L510" class="LineNr">510 </span>      <span class="Constant">&quot;]</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span><span class="Delimiter">);</span>
+<span id="L508" class="LineNr">508 </span>  run<span class="Delimiter">(</span><span class="Constant">&quot;container foo:_a:_b [\n&quot;</span>
+<span id="L509" class="LineNr">509 </span>      <span class="Constant">&quot;  {x: (bar _a (address _b))}\n&quot;</span>
+<span id="L510" class="LineNr">510 </span>      <span class="Constant">&quot;]\n&quot;</span><span class="Delimiter">);</span>
 <span id="L511" class="LineNr">511 </span>  reagent callsite<span class="Delimiter">(</span><span class="Constant">&quot;f:foo:number:array:character&quot;</span><span class="Delimiter">);</span>
 <span id="L512" class="LineNr">512 </span>  reagent element = <a href='030container.cc.html#L212'>element_type</a><span class="Delimiter">(</span>callsite<span class="Delimiter">.</span>type<span class="Delimiter">,</span> <span class="Constant">0</span><span class="Delimiter">);</span>
 <span id="L513" class="LineNr">513 </span>  <a href='002test.cc.html#L31'>CHECK_EQ</a><span class="Delimiter">(</span>names_to_string_without_quotes<span class="Delimiter">(</span>element<span class="Delimiter">.</span>type<span class="Delimiter">),</span> <span class="Constant">&quot;(bar number (address array character))&quot;</span><span class="Delimiter">);</span>
 <span id="L514" class="LineNr">514 </span><span class="Delimiter">}</span>
 <span id="L515" class="LineNr">515 </span>
 <span id="L516" class="LineNr">516 </span><span class="Normal">void</span> test_replace_middle_type_ingredient_with_multiple<span class="Delimiter">()</span> <span class="Delimiter">{</span>
-<span id="L517" class="LineNr">517 </span>  run<span class="Delimiter">(</span><span class="Constant">&quot;container foo:_a:_b:_c [</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span>
-<span id="L518" class="LineNr">518 </span>      <span class="Constant">&quot;  x:_a</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span>
-<span id="L519" class="LineNr">519 </span>      <span class="Constant">&quot;  y:_b</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span>
-<span id="L520" class="LineNr">520 </span>      <span class="Constant">&quot;  z:_c</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span>
-<span id="L521" class="LineNr">521 </span>      <span class="Constant">&quot;]</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span><span class="Delimiter">);</span>
+<span id="L517" class="LineNr">517 </span>  run<span class="Delimiter">(</span><span class="Constant">&quot;container foo:_a:_b:_c [\n&quot;</span>
+<span id="L518" class="LineNr">518 </span>      <span class="Constant">&quot;  x:_a\n&quot;</span>
+<span id="L519" class="LineNr">519 </span>      <span class="Constant">&quot;  y:_b\n&quot;</span>
+<span id="L520" class="LineNr">520 </span>      <span class="Constant">&quot;  z:_c\n&quot;</span>
+<span id="L521" class="LineNr">521 </span>      <span class="Constant">&quot;]\n&quot;</span><span class="Delimiter">);</span>
 <span id="L522" class="LineNr">522 </span>  reagent callsite<span class="Delimiter">(</span><span class="Constant">&quot;{f: (foo number (address array character) boolean)}&quot;</span><span class="Delimiter">);</span>
 <span id="L523" class="LineNr">523 </span>  reagent element1 = <a href='030container.cc.html#L212'>element_type</a><span class="Delimiter">(</span>callsite<span class="Delimiter">.</span>type<span class="Delimiter">,</span> <span class="Constant">0</span><span class="Delimiter">);</span>
-<span id="L524" class="LineNr">524 </span>  <a href='002test.cc.html#L31'>CHECK_EQ</a><span class="Delimiter">(</span><a href='028call_return.cc.html#L163'>to_string</a><span class="Delimiter">(</span>element1<span class="Delimiter">),</span> <span class="Constant">&quot;{x: </span><span class="cSpecial">\&quot;</span><span class="Constant">number</span><span class="cSpecial">\&quot;</span><span class="Constant">}&quot;</span><span class="Delimiter">);</span>
+<span id="L524" class="LineNr">524 </span>  <a href='002test.cc.html#L31'>CHECK_EQ</a><span class="Delimiter">(</span><a href='028call_return.cc.html#L163'>to_string</a><span class="Delimiter">(</span>element1<span class="Delimiter">),</span> <span class="Constant">&quot;{x: \&quot;</span>number\<span class="Constant">&quot;}&quot;</span><span class="Delimiter">);</span>
 <span id="L525" class="LineNr">525 </span>  reagent element2 = <a href='030container.cc.html#L212'>element_type</a><span class="Delimiter">(</span>callsite<span class="Delimiter">.</span>type<span class="Delimiter">,</span> <span class="Constant">1</span><span class="Delimiter">);</span>
-<span id="L526" class="LineNr">526 </span>  <a href='002test.cc.html#L31'>CHECK_EQ</a><span class="Delimiter">(</span><a href='028call_return.cc.html#L163'>to_string</a><span class="Delimiter">(</span>element2<span class="Delimiter">),</span> <span class="Constant">&quot;{y: (</span><span class="cSpecial">\&quot;</span><span class="Constant"><a href='043space.cc.html#L101'>address</a></span><span class="cSpecial">\&quot;</span><span class="Constant"> </span><span class="cSpecial">\&quot;</span><span class="Constant">array</span><span class="cSpecial">\&quot;</span><span class="Constant"> </span><span class="cSpecial">\&quot;</span><span class="Constant">character</span><span class="cSpecial">\&quot;</span><span class="Constant">)}&quot;</span><span class="Delimiter">);</span>
+<span id="L526" class="LineNr">526 </span>  <a href='002test.cc.html#L31'>CHECK_EQ</a><span class="Delimiter">(</span><a href='028call_return.cc.html#L163'>to_string</a><span class="Delimiter">(</span>element2<span class="Delimiter">),</span> <span class="Constant">&quot;{y: (\&quot;</span>address\<span class="Constant">&quot; \&quot;</span>array\<span class="Constant">&quot; \&quot;</span>character\<span class="Constant">&quot;)}&quot;</span><span class="Delimiter">);</span>
 <span id="L527" class="LineNr">527 </span>  reagent element3 = <a href='030container.cc.html#L212'>element_type</a><span class="Delimiter">(</span>callsite<span class="Delimiter">.</span>type<span class="Delimiter">,</span> <span class="Constant">2</span><span class="Delimiter">);</span>
-<span id="L528" class="LineNr">528 </span>  <a href='002test.cc.html#L31'>CHECK_EQ</a><span class="Delimiter">(</span><a href='028call_return.cc.html#L163'>to_string</a><span class="Delimiter">(</span>element3<span class="Delimiter">),</span> <span class="Constant">&quot;{z: </span><span class="cSpecial">\&quot;</span><span class="Constant">boolean</span><span class="cSpecial">\&quot;</span><span class="Constant">}&quot;</span><span class="Delimiter">);</span>
+<span id="L528" class="LineNr">528 </span>  <a href='002test.cc.html#L31'>CHECK_EQ</a><span class="Delimiter">(</span><a href='028call_return.cc.html#L163'>to_string</a><span class="Delimiter">(</span>element3<span class="Delimiter">),</span> <span class="Constant">&quot;{z: \&quot;</span>boolean\<span class="Constant">&quot;}&quot;</span><span class="Delimiter">);</span>
 <span id="L529" class="LineNr">529 </span><span class="Delimiter">}</span>
 <span id="L530" class="LineNr">530 </span>
 <span id="L531" class="LineNr">531 </span><span class="Normal">void</span> test_replace_middle_type_ingredient_with_multiple2<span class="Delimiter">()</span> <span class="Delimiter">{</span>
-<span id="L532" class="LineNr">532 </span>  run<span class="Delimiter">(</span><span class="Constant">&quot;container foo:_key:_value [</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span>
-<span id="L533" class="LineNr">533 </span>      <span class="Constant">&quot;  key:_key</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span>
-<span id="L534" class="LineNr">534 </span>      <span class="Constant">&quot;  value:_value</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span>
-<span id="L535" class="LineNr">535 </span>      <span class="Constant">&quot;]</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span><span class="Delimiter">);</span>
+<span id="L532" class="LineNr">532 </span>  run<span class="Delimiter">(</span><span class="Constant">&quot;container foo:_key:_value [\n&quot;</span>
+<span id="L533" class="LineNr">533 </span>      <span class="Constant">&quot;  key:_key\n&quot;</span>
+<span id="L534" class="LineNr">534 </span>      <span class="Constant">&quot;  value:_value\n&quot;</span>
+<span id="L535" class="LineNr">535 </span>      <span class="Constant">&quot;]\n&quot;</span><span class="Delimiter">);</span>
 <span id="L536" class="LineNr">536 </span>  reagent callsite<span class="Delimiter">(</span><span class="Constant">&quot;{f: (foo (address array character) number)}&quot;</span><span class="Delimiter">);</span>
 <span id="L537" class="LineNr">537 </span>  reagent element = <a href='030container.cc.html#L212'>element_type</a><span class="Delimiter">(</span>callsite<span class="Delimiter">.</span>type<span class="Delimiter">,</span> <span class="Constant">0</span><span class="Delimiter">);</span>
-<span id="L538" class="LineNr">538 </span>  <a href='002test.cc.html#L31'>CHECK_EQ</a><span class="Delimiter">(</span><a href='028call_return.cc.html#L163'>to_string</a><span class="Delimiter">(</span>element<span class="Delimiter">),</span> <span class="Constant">&quot;{key: (</span><span class="cSpecial">\&quot;</span><span class="Constant"><a href='043space.cc.html#L101'>address</a></span><span class="cSpecial">\&quot;</span><span class="Constant"> </span><span class="cSpecial">\&quot;</span><span class="Constant">array</span><span class="cSpecial">\&quot;</span><span class="Constant"> </span><span class="cSpecial">\&quot;</span><span class="Constant">character</span><span class="cSpecial">\&quot;</span><span class="Constant">)}&quot;</span><span class="Delimiter">);</span>
+<span id="L538" class="LineNr">538 </span>  <a href='002test.cc.html#L31'>CHECK_EQ</a><span class="Delimiter">(</span><a href='028call_return.cc.html#L163'>to_string</a><span class="Delimiter">(</span>element<span class="Delimiter">),</span> <span class="Constant">&quot;{key: (\&quot;</span>address\<span class="Constant">&quot; \&quot;</span>array\<span class="Constant">&quot; \&quot;</span>character\<span class="Constant">&quot;)}&quot;</span><span class="Delimiter">);</span>
 <span id="L539" class="LineNr">539 </span><span class="Delimiter">}</span>
 <span id="L540" class="LineNr">540 </span>
 <span id="L541" class="LineNr">541 </span><span class="Normal">void</span> test_replace_middle_type_ingredient_with_multiple3<span class="Delimiter">()</span> <span class="Delimiter">{</span>
-<span id="L542" class="LineNr">542 </span>  run<span class="Delimiter">(</span><span class="Constant">&quot;container foo_table:_key:_value [</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span>
-<span id="L543" class="LineNr">543 </span>      <span class="Constant">&quot;  data:&amp;:@:foo_table_row:_key:_value</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span>
-<span id="L544" class="LineNr">544 </span>      <span class="Constant">&quot;]</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span>
-<span id="L545" class="LineNr">545 </span>      <span class="Constant">&quot;</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span>
-<span id="L546" class="LineNr">546 </span>      <span class="Constant">&quot;container foo_table_row:_key:_value [</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span>
-<span id="L547" class="LineNr">547 </span>      <span class="Constant">&quot;  key:_key</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span>
-<span id="L548" class="LineNr">548 </span>      <span class="Constant">&quot;  value:_value</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span>
-<span id="L549" class="LineNr">549 </span>      <span class="Constant">&quot;]</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span><span class="Delimiter">);</span>
+<span id="L542" class="LineNr">542 </span>  run<span class="Delimiter">(</span><span class="Constant">&quot;container foo_table:_key:_value [\n&quot;</span>
+<span id="L543" class="LineNr">543 </span>      <span class="Constant">&quot;  data:&amp;:@:foo_table_row:_key:_value\n&quot;</span>
+<span id="L544" class="LineNr">544 </span>      <span class="Constant">&quot;]\n&quot;</span>
+<span id="L545" class="LineNr">545 </span>      <span class="Constant">&quot;\n&quot;</span>
+<span id="L546" class="LineNr">546 </span>      <span class="Constant">&quot;container foo_table_row:_key:_value [\n&quot;</span>
+<span id="L547" class="LineNr">547 </span>      <span class="Constant">&quot;  key:_key\n&quot;</span>
+<span id="L548" class="LineNr">548 </span>      <span class="Constant">&quot;  value:_value\n&quot;</span>
+<span id="L549" class="LineNr">549 </span>      <span class="Constant">&quot;]\n&quot;</span><span class="Delimiter">);</span>
 <span id="L550" class="LineNr">550 </span>  reagent callsite<span class="Delimiter">(</span><span class="Constant">&quot;{f: (foo_table (address array character) number)}&quot;</span><span class="Delimiter">);</span>
 <span id="L551" class="LineNr">551 </span>  reagent element = <a href='030container.cc.html#L212'>element_type</a><span class="Delimiter">(</span>callsite<span class="Delimiter">.</span>type<span class="Delimiter">,</span> <span class="Constant">0</span><span class="Delimiter">);</span>
-<span id="L552" class="LineNr">552 </span>  <a href='002test.cc.html#L31'>CHECK_EQ</a><span class="Delimiter">(</span><a href='028call_return.cc.html#L163'>to_string</a><span class="Delimiter">(</span>element<span class="Delimiter">),</span> <span class="Constant">&quot;{data: (</span><span class="cSpecial">\&quot;</span><span class="Constant"><a href='043space.cc.html#L101'>address</a></span><span class="cSpecial">\&quot;</span><span class="Constant"> </span><span class="cSpecial">\&quot;</span><span class="Constant">array</span><span class="cSpecial">\&quot;</span><span class="Constant"> </span><span class="cSpecial">\&quot;</span><span class="Constant">foo_table_row</span><span class="cSpecial">\&quot;</span><span class="Constant"> (</span><span class="cSpecial">\&quot;</span><span class="Constant"><a href='043space.cc.html#L101'>address</a></span><span class="cSpecial">\&quot;</span><span class="Constant"> </span><span class="cSpecial">\&quot;</span><span class="Constant">array</span><span class="cSpecial">\&quot;</span><span class="Constant"> </span><span class="cSpecial">\&quot;</span><span class="Constant">character</span><span class="cSpecial">\&quot;</span><span class="Constant">) </span><span class="cSpecial">\&quot;</span><span class="Constant">number</span><span class="cSpecial">\&quot;</span><span class="Constant">)}&quot;</span><span class="Delimiter">);</span>
+<span id="L552" class="LineNr">552 </span>  <a href='002test.cc.html#L31'>CHECK_EQ</a><span class="Delimiter">(</span><a href='028call_return.cc.html#L163'>to_string</a><span class="Delimiter">(</span>element<span class="Delimiter">),</span> <span class="Constant">&quot;{data: (\&quot;</span>address\<span class="Constant">&quot; \&quot;</span>array\<span class="Constant">&quot; \&quot;</span>foo_table_row\<span class="Constant">&quot; (\&quot;</span>address\<span class="Constant">&quot; \&quot;</span>array\<span class="Constant">&quot; \&quot;</span>character\<span class="Constant">&quot;) \&quot;</span>number\<span class="Constant">&quot;)}&quot;</span><span class="Delimiter">);</span>
 <span id="L553" class="LineNr">553 </span><span class="Delimiter">}</span>
 <span id="L554" class="LineNr">554 </span>
 <span id="L555" class="LineNr">555 </span><span class="Delimiter">:(code)</span>