From 54fc4d952df9d7a5abcc08c816fb8a694902e381 Mon Sep 17 00:00:00 2001
From: Kartik Agaram <vc@akkartik.com>
Date: Tue, 18 Feb 2020 00:33:22 -0800
Subject: 6022

Forgot to actually use the new type-dispatch in commit 6017.
---
 apps/mu      | Bin 144681 -> 144693 bytes
 apps/mu.subx |   5 ++++-
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/apps/mu b/apps/mu
index 77f0198a..9b3249c3 100755
Binary files a/apps/mu and b/apps/mu differ
diff --git a/apps/mu.subx b/apps/mu.subx
index 85481d85..babdb68e 100644
--- a/apps/mu.subx
+++ b/apps/mu.subx
@@ -7320,7 +7320,7 @@ operand-matches-primitive?:  # var: (handle var), prim-var: (handle var) -> resu
     # edi = prim-var
     8b/-> *(ebp+0xc) 7/r32/edi
     # if (var->type != prim-var->type) return false
-    (type-equal? *(esi+4) *(edi+4))  # Var-type, Var-type => eax
+    (subx-type-equal? *(esi+4) *(edi+4))  # Var-type, Var-type => eax
     3d/compare-eax-and 0/imm32/false
     b8/copy-to-eax 0/imm32/false
     74/jump-if-= $operand-matches-primitive?:end/disp8
@@ -7391,6 +7391,9 @@ is-literal-type?:  # a: (handle tree type-id) -> result/eax: boolean
     #
     8b/-> *(ebp+8) 0/r32/eax
     8b/-> *eax 0/r32/eax  # Atom-value
+    3d/compare-eax-and 0/imm32/false
+    74/jump-if-equal $is-literal-type?:end/disp8
+    b8/copy-to-eax 1/imm32/true
 $is-literal-type?:end:
     # . epilogue
     89/<- %esp 5/r32/ebp
-- 
cgit 1.4.1-2-gfad0