about summary refs log tree commit diff stats
diff options
context:
space:
mode:
-rw-r--r--054static_dispatch.cc8
-rwxr-xr-xtest_layers2
2 files changed, 7 insertions, 3 deletions
diff --git a/054static_dispatch.cc b/054static_dispatch.cc
index 1cc2351d..e6bbe207 100644
--- a/054static_dispatch.cc
+++ b/054static_dispatch.cc
@@ -74,8 +74,8 @@ bool all_reagents_match(const recipe& r1, const recipe& r2) {
       return false;
   }
   for (int i = 0; i < SIZE(r1.products); ++i) {
-    expand_type_abbreviations(r1.ingredients.at(i).type);
-    expand_type_abbreviations(r2.ingredients.at(i).type);
+    expand_type_abbreviations(r1.products.at(i).type);
+    expand_type_abbreviations(r2.products.at(i).type);
     if (!deeply_equal_type_names(r1.products.at(i), r2.products.at(i)))
       return false;
   }
@@ -616,7 +616,9 @@ def foo a:boolean -> b:number [
 :(scenario override_methods_with_type_abbreviations)
 type string = address:array:character
 def main [
-  1:number/raw <- foo [abc]
+  local-scope
+  s:address:array:character <- new [abc]
+  1:number/raw <- foo s
 ]
 def foo a:address:array:character -> result:number [
   return 34
diff --git a/test_layers b/test_layers
index 35cfb8fa..cf009d60 100755
--- a/test_layers
+++ b/test_layers
@@ -74,4 +74,6 @@ then
   ./mu_bin test edit/00* edit/010* || exit 1
   echo "=== edit: until 011"
   ./mu_bin test edit/00* edit/01[01]* || exit 1
+  echo "=== edit: until 012"
+  ./mu_bin test edit/00* edit/01[0-2]* || exit 1
 fi