about summary refs log tree commit diff stats
path: root/031address.cc
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2016-02-14 23:30:59 -0800
committerKartik K. Agaram <vc@akkartik.com>2016-02-15 00:14:34 -0800
commit5ba1c3b9e101b31fc38dae1701b62c373d5ef6f7 (patch)
tree6f0323c262fe7aa0fa917351518cef10d9873b46 /031address.cc
parent996a8acd6c2ce1c7d3b13cfbd799269669b0038b (diff)
downloadmu-5ba1c3b9e101b31fc38dae1701b62c373d5ef6f7.tar.gz
2657 - type-checking for 'merge' instructions
Diffstat (limited to '031address.cc')
-rw-r--r--031address.cc3
1 files changed, 3 insertions, 0 deletions
diff --git a/031address.cc b/031address.cc
index 3fe289dd..5284dea1 100644
--- a/031address.cc
+++ b/031address.cc
@@ -84,6 +84,9 @@ recipe foo [
 :(after "bool is_mu_number(reagent r)")
   if (!canonize_type(r)) return false;
 
+:(after "Update product While Type-checking Merge")
+if (!canonize_type(product)) continue;
+
 :(code)
 bool canonize_type(reagent& r) {
   while (has_property(r, "lookup")) {