From dfdbcbab4299bbb4fc2725abf7fa26ac592e296e Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Fri, 27 Nov 2015 22:14:05 -0800 Subject: 2486 More cleanup. Haven't bothered to figure out why the trace for specialize_with_literal_4 is repeatedly perturbed. --- 059shape_shifting_recipe.cc | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to '059shape_shifting_recipe.cc') diff --git a/059shape_shifting_recipe.cc b/059shape_shifting_recipe.cc index 019206f7..5c223e4d 100644 --- a/059shape_shifting_recipe.cc +++ b/059shape_shifting_recipe.cc @@ -37,7 +37,7 @@ if (Current_routine->calls.front().running_step_index == 0 //: Make sure we don't match up literals with type ingredients without //: specialization. -:(before "End valid_type_for_literal Special-cases") +:(before "End Matching Types For Literal(lhs)") if (contains_type_ingredient_name(lhs)) return false; //: We'll be creating recipes without loading them from anywhere by @@ -613,7 +613,8 @@ recipe foo x:address:_elem -> y:address:_elem [ load-ingredients y <- copy x ] -+error: ran into unspecialized shape-shifting recipe foo ++error: foo: failed to map a type to x ++error: foo: failed to map a type to y :(scenario specialize_with_literal_5) recipe main [ -- cgit 1.4.1-2-gfad0