From 30b0c93ce37971450c7ad52bc49ca242d18502fc Mon Sep 17 00:00:00 2001
From: JJ
Date: Fri, 28 Jun 2024 20:41:38 -0700
Subject: stlc-dll: rename infer- and check-

---
 lib.rkt | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'lib.rkt')

diff --git a/lib.rkt b/lib.rkt
index 72f93ad..6d431fd 100644
--- a/lib.rkt
+++ b/lib.rkt
@@ -94,6 +94,8 @@
       (desugar `((λ (,id : (,a → ,b)) ,in) (λ (,x : ,a) ,e)))]
     [`(let (,id : (,a → ,b)) (λ ,x ,e) ,in)
       (desugar `((λ (,id : (,a → ,b)) ,in) (λ (,x : ,a) ,e)))]
+    [`(let ,x (,e : ,t) ,in)
+      (desugar `((λ (,x : ,t) ,in) ,e))]
     [`(let ,x ,e ,in)
       (desugar `((λ ,x ,in) ,e))]
     [`(let ,x ,e)
-- 
cgit v1.2.3-70-g09d2