4272 - type-check variables in non-local spaces

So far we only checked if a single recipe used a variable with multiple
types in any single space. Now we also ensure that the types deduced for
a variable in a space are identical across recipes.

1 files changed, 3 insertions, 1 deletions

diff --git a/011load.cc b/011load.cc
index 8eec19a0..666f1c6e 100644
--- a/011load.cc
+++ b/011load.cc
@@ -65,7 +65,9 @@ int slurp_recipe(istream& in) {
     raise << "empty result.name\n" << end();
   trace(9991, "parse") << "--- defining " << result.name << end();
   if (!contains_key(Recipe_ordinal, result.name))
-    put(Recipe_ordinal, result.name, Next_recipe_ordinal++);
+    put(Recipe_ordinal, result.name, Next_recipe_ordinal);
+  result.ordinal = get(Recipe_ordinal, result.name);
+  ++Next_recipe_ordinal;
   if (Recipe.find(get(Recipe_ordinal, result.name)) != Recipe.end()) {
     trace(9991, "parse") << "already exists" << end();
     if (should_check_for_redefine(result.name))