From 9b1389448b5e29e2baa8a48e5e9c4b24bae207c9 Mon Sep 17 00:00:00 2001
From: JJ
Date: Wed, 23 Oct 2024 14:02:47 -0700
Subject: minor identifier changes

---
 stlc-ext.rkt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'stlc-ext.rkt')

diff --git a/stlc-ext.rkt b/stlc-ext.rkt
index 84c476c..2662135 100644
--- a/stlc-ext.rkt
+++ b/stlc-ext.rkt
@@ -208,8 +208,8 @@
 ;; Expands a type alias into weak-head normal form, for literal matching.
 ;;      (expand Type Table[Id, Expr ⊕ Type]): Type
 (define (expand t Γ)
-  (if (dict-has-key? Γ t)
-    (expand (dict-ref Γ t) Γ) t))
+  (if (dict-has-key? Γ `(type ,t))
+    (expand (dict-ref Γ `(type ,t)) Γ) t))
 
 ;; Checks if two types are equivalent up to α-conversion in context
 ;;      (equiv-type Expr Expr Table[Sym Expr]): Bool
-- 
cgit v1.2.3-70-g09d2