From 20252c5eec133d80d3cf8376fcc03dd17d119b5f Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Thu, 7 Dec 2017 16:01:43 -0800 Subject: 4152 --- 056shape_shifting_recipe.cc | 2 +- 076continuation.cc | 11 +++++++++++ 2 files changed, 12 insertions(+), 1 deletion(-) diff --git a/056shape_shifting_recipe.cc b/056shape_shifting_recipe.cc index edded1b0..bbea9e1e 100644 --- a/056shape_shifting_recipe.cc +++ b/056shape_shifting_recipe.cc @@ -92,7 +92,7 @@ bool all_concrete_header_reagents_strictly_match(const instruction& inst, const return false; } } - for (int i = 0; i < min(SIZE(inst.products), SIZE(variant.ingredients)); ++i) { + for (int i = 0; i < min(SIZE(inst.products), SIZE(variant.products)); ++i) { if (is_dummy(inst.products.at(i))) continue; if (!concrete_type_names_strictly_match(variant.products.at(i), inst.products.at(i))) { trace(9993, "transform") << "concrete-type match failed: product " << i << end(); diff --git a/076continuation.cc b/076continuation.cc index 94c3f97a..32b40d54 100644 --- a/076continuation.cc +++ b/076continuation.cc @@ -279,6 +279,17 @@ if (inst.name == "call-with-continuation-mark" && first_ingredient_is_recipe_lit return; } +:(scenario call_shape_shifting_recipe_with_continuation_mark_and_no_outputs) +def main [ + 1:continuation <- call-with-continuation-mark f, 34 +] +def f x:_elem [ + local-scope + load-ingredients + return-continuation-until-mark +] +$error: 0 + //: Ensure that the presence of a continuation keeps its stack frames from being reclaimed. :(scenario continuations_preserve_local_scopes) -- cgit 1.4.1-2-gfad0