about summary refs log tree commit diff stats
path: root/021check_instruction.cc
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2016-05-05 21:47:59 -0700
committerKartik K. Agaram <vc@akkartik.com>2016-05-05 21:59:50 -0700
commite76a27f3edfa0703a204f3ab30ce01b58877f6af (patch)
treeb9ff84216ac81d78b6d14dbbf7211981cb30e153 /021check_instruction.cc
parent5d5116e3343b5f6efa289e35e1c29b761db12068 (diff)
downloadmu-e76a27f3edfa0703a204f3ab30ce01b58877f6af.tar.gz
2929 - fix a bug in static dispatch
Thanks Caleb for finding this. We'd been using sandboxes for so long, I
hadn't tried a null/0 screen/console in a while and somewhere down the
road Mu stopped matching 0 against concrete addresses.
Diffstat (limited to '021check_instruction.cc')
-rw-r--r--021check_instruction.cc9
1 files changed, 0 insertions, 9 deletions
diff --git a/021check_instruction.cc b/021check_instruction.cc
index 138aa733..599fa6c9 100644
--- a/021check_instruction.cc
+++ b/021check_instruction.cc
@@ -123,15 +123,6 @@ bool types_match(const reagent& to, const reagent& from) {
   return types_strictly_match(to, from);
 }
 
-bool types_strictly_match_except_literal_against_boolean(const reagent& to, const reagent& from) {
-  // to sidestep type-checking, use /unsafe in the source.
-  // this will be highlighted in red inside vim. just for setting up some tests.
-  if (is_literal(from)
-      && to.type && to.type->value == get(Type_ordinal, "boolean"))
-    return boolean_matches_literal(to, from);
-  return types_strictly_match(to, from);
-}
-
 bool boolean_matches_literal(const reagent& to, const reagent& from) {
   if (!is_literal(from)) return false;
   if (!to.type) return false;