diff options
Diffstat (limited to 'html/056shape_shifting_recipe.cc.html')
| -rw-r--r-- | html/056shape_shifting_recipe.cc.html | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/html/056shape_shifting_recipe.cc.html b/html/056shape_shifting_recipe.cc.html index f03430ff..347be81a 100644 --- a/html/056shape_shifting_recipe.cc.html +++ b/html/056shape_shifting_recipe.cc.html @@ -62,8 +62,13 @@ def foo a:_t <span class="Delimiter">-></span> result:_t [ <span class="Comment">//: be rewriting such instructions to *specializations* with the type</span> <span class="Comment">//: ingredients filled in.</span> +<span class="Comment">//: One exception (and this makes things very ugly): we need to expand type</span> +<span class="Comment">//: abbreviations in shape-shifting recipes because we need them types for</span> +<span class="Comment">//: deciding which variant to specialize.</span> + <span class="Delimiter">:(before "End Transform Checks")</span> -<span class="Normal">if</span> <span class="Delimiter">(</span>any_type_ingredient_in_header<span class="Delimiter">(</span><span class="Comment">/*</span><span class="Comment">recipe_ordinal</span><span class="Comment">*/</span>p<span class="Delimiter">-></span>first<span class="Delimiter">))</span> <span class="Identifier">continue</span><span class="Delimiter">;</span> +r<span class="Delimiter">.</span>transformed_until = t<span class="Delimiter">;</span> +<span class="Normal">if</span> <span class="Delimiter">(</span>Transform<span class="Delimiter">.</span>at<span class="Delimiter">(</span>t<span class="Delimiter">)</span> != <span class="Normal">static_cast</span><transform_fn><span class="Delimiter">(</span>expand_type_abbreviations<span class="Delimiter">)</span> && any_type_ingredient_in_header<span class="Delimiter">(</span><span class="Comment">/*</span><span class="Comment">recipe_ordinal</span><span class="Comment">*/</span>p<span class="Delimiter">-></span>first<span class="Delimiter">))</span> <span class="Identifier">continue</span><span class="Delimiter">;</span> <span class="Delimiter">:(after "Running One Instruction")</span> <span class="Normal">if</span> <span class="Delimiter">(</span>Current_routine<span class="Delimiter">-></span>calls<span class="Delimiter">.</span>front<span class="Delimiter">().</span>running_step_index == <span class="Constant">0</span> |