From 2a4088119cf41175457414dfa59bd4064b8f0562 Mon Sep 17 00:00:00 2001 From: Kartik Agaram Date: Wed, 1 Jan 2020 17:04:37 -0800 Subject: 5852 --- archive/1.vm/013update_operation.cc | 40 +++++++++++++++++++++++++++++++++++++ 1 file changed, 40 insertions(+) create mode 100644 archive/1.vm/013update_operation.cc (limited to 'archive/1.vm/013update_operation.cc') diff --git a/archive/1.vm/013update_operation.cc b/archive/1.vm/013update_operation.cc new file mode 100644 index 00000000..ffe3dbb9 --- /dev/null +++ b/archive/1.vm/013update_operation.cc @@ -0,0 +1,40 @@ +//: Once all code is loaded, save operation ids of instructions and check that +//: nothing's undefined. + +:(before "End Instruction Modifying Transforms") +Transform.push_back(update_instruction_operations); // idempotent + +:(code) +void update_instruction_operations(const recipe_ordinal r) { + trace(101, "transform") << "--- compute instruction operations for recipe " << get(Recipe, r).name << end(); + recipe& caller = get(Recipe, r); +//? cerr << "--- compute instruction operations for recipe " << caller.name << '\n'; + for (int index = 0; index < SIZE(caller.steps); ++index) { + instruction& inst = caller.steps.at(index); + if (inst.is_label) continue; + if (!contains_key(Recipe_ordinal, inst.name)) { + raise << maybe(caller.name) << "instruction '" << inst.name << "' has no recipe in '" << to_original_string(inst) << "'\n" << end(); + continue; + } + inst.operation = get(Recipe_ordinal, inst.name); + // End Instruction Operation Checks + } +} + +// hook to suppress inserting recipe name into errors +string maybe(string recipe_name) { + // End maybe(recipe_name) Special-cases + return recipe_name + ": "; +} + +void test_missing_arrow() { + Hide_errors = true; + transform( + "def main [\n" + " 1:number , copy 0\n" // typo: ',' instead of '<-' + "]\n" + ); + CHECK_TRACE_CONTENTS( + "error: main: instruction '1:number' has no recipe in '1:number copy, 0'\n" + ); +} -- cgit 1.4.1-2-gfad0