about summary refs log tree commit diff stats
path: root/031address.cc
diff options
context:
space:
mode:
Diffstat (limited to '031address.cc')
-rw-r--r--031address.cc16
1 files changed, 4 insertions, 12 deletions
diff --git a/031address.cc b/031address.cc
index 7c4f1e34..46c38fd6 100644
--- a/031address.cc
+++ b/031address.cc
@@ -81,22 +81,14 @@ reagent lookup_memory(reagent x) {
 }
 
 :(after "bool types_match(reagent lhs, reagent rhs)")
-if (!canonize_type(lhs)) return false;
-if (!canonize_type(rhs)) return false;
+  if (!canonize_type(lhs)) return false;
+  if (!canonize_type(rhs)) return false;
 
-:(replace{} "bool is_mu_array(reagent r)")
-bool is_mu_array(reagent r) {
-  if (is_literal(r)) return false;
+:(after "bool is_mu_array(reagent r)")
   if (!canonize_type(r)) return false;
-  return !r.types.empty() && r.types.at(0) == Type_ordinal["array"];
-}
 
-:(replace{} "bool is_mu_address(reagent r)")
-bool is_mu_address(reagent r) {
-  if (is_literal(r)) return false;
+:(after "bool is_mu_address(reagent r)")
   if (!canonize_type(r)) return false;
-  return !r.types.empty() && r.types.at(0) == Type_ordinal["address"];
-}
 
 :(code)
 bool canonize_type(reagent& r) {