about summary refs log tree commit diff stats
path: root/059shape_shifting_recipe.cc
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2015-11-27 22:14:05 -0800
committerKartik K. Agaram <vc@akkartik.com>2015-11-27 22:14:05 -0800
commitdfdbcbab4299bbb4fc2725abf7fa26ac592e296e (patch)
tree551c977526bab1429caf8710f5077778a8ca89eb /059shape_shifting_recipe.cc
parenta2ee95cb89d4cf8b6a3b03721ceaadd8bf31a964 (diff)
downloadmu-dfdbcbab4299bbb4fc2725abf7fa26ac592e296e.tar.gz
2486
More cleanup. Haven't bothered to figure out why the trace for
specialize_with_literal_4 is repeatedly perturbed.
Diffstat (limited to '059shape_shifting_recipe.cc')
-rw-r--r--059shape_shifting_recipe.cc5
1 files changed, 3 insertions, 2 deletions
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 [