From ee8159945ceddc74058a3c26070e0470a19cfa7e Mon Sep 17 00:00:00 2001
From: JJ
Date: Wed, 5 Jun 2024 11:30:49 -0700
Subject: stld-pred: bugfixes

---
 stlc-pred.rkt | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

diff --git a/stlc-pred.rkt b/stlc-pred.rkt
index 10dc4a5..902d75d 100644
--- a/stlc-pred.rkt
+++ b/stlc-pred.rkt
@@ -8,14 +8,12 @@
   (interpret- (strip (desugar expr)) ctx heap))
 (define (interpret- expr ctx heap)
   (match expr
-    [x #:when (dict-has-key? ctx x)               ; x
-      (interpret- (dict-ref ctx x) ctx heap)]
+    [x #:when (dict-has-key? ctx x) (dict-ref ctx x)] ; x
     [x #:when (dict-has-key? heap x) x] ; todo
     [n #:when (natural? n) n]                     ; n
     ['⟨⟩ '⟨⟩]                                      ; ⟨⟩
 
     [`(λ ,id ,body) `(λ ,id ,body ,ctx)]          ; λx:τ.e
-    [`(λ ,id ,body ,env) `(λ ,id ,body ,env)]
 
     [`(new ,expr)                                 ; new e
       (let ([address (gensym)])
@@ -85,8 +83,8 @@
   (match* (expr with)
     [(n 'Nat) #:when (natural? n) #t]       ; ↝ Γ ⊢ n: Nat
     [('⟨⟩ 'Unit) #t]                         ; ↝ Γ ⊢ ⟨⟩: Unit
-    [(val _) #:when (dict-has-key? Γ val)   ; x: τ ∈ Γ → Γ ⊢ x: τ
-      (equal? (dict-ref Γ val) with)]
+    [(x _) #:when (dict-has-key? Γ x)        ; x: τ ∈ Γ → Γ ⊢ x: τ
+      (equal? (dict-ref Γ x) with)]
 
     [(`(new ,e) `(Ref ,τ)) (check- e τ Γ)]  ; Γ ⊢ e: τ → Γ ⊢ new e: Ref τ
     [(`(! ,e) τ) (check- e `(Ref ,τ) Γ)]    ; Γ ⊢ e: Ref τ → Γ ⊢ !e: τ
-- 
cgit v1.2.3-70-g09d2