From c6354606d412b7719ab7078b59c015d580520bde Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Tue, 17 Nov 2015 11:25:00 -0800 Subject: 2456 --- 059shape_shifting_recipe.cc | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) (limited to '059shape_shifting_recipe.cc') diff --git a/059shape_shifting_recipe.cc b/059shape_shifting_recipe.cc index 7f224d15..b3fec956 100644 --- a/059shape_shifting_recipe.cc +++ b/059shape_shifting_recipe.cc @@ -673,3 +673,22 @@ container d1:_elem [ +error: foo: unknown type for e (check the name for typos) +error: specializing foo: missing type for e # and it doesn't crash + +:(scenario missing_type_in_shape_shifting_recipe_2) +% Hide_errors = true; +recipe main [ + a:d1:number <- merge 3 + foo a +] +recipe foo a:d1:_elem -> b:number [ + local-scope + load-ingredients + get e, x:offset # unknown variable in a 'get', which does some extra checking + reply 34 +] +container d1:_elem [ + x:_elem +] ++error: foo: unknown type for e (check the name for typos) ++error: specializing foo: missing type for e +# and it doesn't crash -- cgit 1.4.1-2-gfad0