diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2015-11-27 22:01:23 -0800 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2015-11-27 22:03:58 -0800 |
commit | 016599f1d2f861a5c36e6f88c05c98ef88e0ee85 (patch) | |
tree | 2a6019bf69a4764a0c7204f5904c9ffd84dff77c /059shape_shifting_recipe.cc | |
parent | fca48e92d4e51eb7e5b1a811b65e5d69fadeb713 (diff) | |
download | mu-016599f1d2f861a5c36e6f88c05c98ef88e0ee85.tar.gz |
2484
Eliminate one of several hacky type-check helpers; they've been proliferating lately.
Diffstat (limited to '059shape_shifting_recipe.cc')
-rw-r--r-- | 059shape_shifting_recipe.cc | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/059shape_shifting_recipe.cc b/059shape_shifting_recipe.cc index 3d003b42..019206f7 100644 --- a/059shape_shifting_recipe.cc +++ b/059shape_shifting_recipe.cc @@ -613,8 +613,7 @@ recipe foo x:address:_elem -> y:address:_elem [ load-ingredients y <- copy x ] -+error: foo: failed to map a type to x -+error: foo: failed to map a type to y ++error: ran into unspecialized shape-shifting recipe foo :(scenario specialize_with_literal_5) recipe main [ |