about summary refs log tree commit diff stats
path: root/021check_instruction.cc
diff options
context:
space:
mode:
authorKartik Agaram <vc@akkartik.com>2018-06-17 16:10:00 -0700
committerKartik Agaram <vc@akkartik.com>2018-06-17 16:10:00 -0700
commit92a3d0824b37e564f3d5bb7e042f97f991f25416 (patch)
treeb4a8f79805307ed1a1d9428a184fd4a633f15054 /021check_instruction.cc
parent01ce563dfe3e6cf58337708b9dbb60a8a99fa0f2 (diff)
downloadmu-92a3d0824b37e564f3d5bb7e042f97f991f25416.tar.gz
4263
Implement literal constants before type abbreviations, reducing some
unnecessary tangling.
Diffstat (limited to '021check_instruction.cc')
-rw-r--r--021check_instruction.cc8
1 files changed, 1 insertions, 7 deletions
diff --git a/021check_instruction.cc b/021check_instruction.cc
index ee44161a..7f8f067c 100644
--- a/021check_instruction.cc
+++ b/021check_instruction.cc
@@ -103,18 +103,12 @@ bool types_match(const reagent& to, const reagent& from) {
     if (is_mu_array(to)) return false;
     // End Matching Types For Literal(to)
     if (!to.type) return false;
-    if (is_mu_address(to)) return types_match_literal_to_address(from);
-    // End Literal types_match Special-cases
+    if (is_mu_address(to)) return from.name == "null";
     return size_of(to) == 1;  // literals are always scalars
   }
   return types_strictly_match(to, from);
 }
 
-bool types_match_literal_to_address(const reagent& from) {
-  // End Literal->Address types_match(from) Special-cases
-  return false;
-}
-
 //: copy arguments for later layers
 bool types_strictly_match(reagent/*copy*/ to, reagent/*copy*/ from) {
   // End Preprocess types_strictly_match(reagent to, reagent from)