From 2225b945ad5ba9310081b371bf32a9f575646e1b Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Sun, 23 Oct 2016 23:10:49 -0700 Subject: 3577 --- 056shape_shifting_recipe.cc | 1 + 1 file changed, 1 insertion(+) diff --git a/056shape_shifting_recipe.cc b/056shape_shifting_recipe.cc index 4431f9c8..5a9aba49 100644 --- a/056shape_shifting_recipe.cc +++ b/056shape_shifting_recipe.cc @@ -322,6 +322,7 @@ void accumulate_type_ingredients(const reagent& exemplar_reagent, reagent& refin void accumulate_type_ingredients(const type_tree* exemplar_type, const type_tree* refinement_type, map& mappings, const recipe& exemplar, const reagent& exemplar_reagent, const instruction& call_instruction, const recipe& caller_recipe, bool* error) { if (!exemplar_type) return; if (!refinement_type) { + // probably a bug in mu // todo: make this smarter; only flag an error if exemplar_type contains some *new* type ingredient raise << maybe(exemplar.name) << "missing type ingredient for " << exemplar_reagent.original_string << '\n' << end(); raise << " (called from '" << to_original_string(call_instruction) << "')\n" << end(); -- cgit 1.4.1-2-gfad0