1399 - better 'unknown type' warnings

Implement warnings for types without definitions without constraining
where type definitions must appear.

We also eliminate the anti-pattern where a change in layer 10 had its
test in layer 11 (commit 1383).

1 files changed, 4 insertions, 2 deletions

diff --git a/010vm.cc b/010vm.cc
index 3399a539..a5069c45 100644
--- a/010vm.cc
+++ b/010vm.cc
@@ -184,8 +184,10 @@ reagent::reagent(string s) :value(0), initialized(false) {
   name = properties.at(0).first;
   for (long long int i = 0; i < SIZE(properties.at(0).second); ++i) {
     string type = properties.at(0).second.at(i);
-    if (Type_number.find(type) == Type_number.end())
-      raise << "unknown type: " << type << '\n';
+    if (Type_number.find(type) == Type_number.end()) {
+//?       cerr << type << " is " << Next_type_number << '\n'; //? 1
+      Type_number[type] = Next_type_number++;
+    }
     types.push_back(Type_number[type]);
   }
   if (name == "_" && types.empty()) {