diff options
author | JJ | 2024-06-29 03:41:38 +0000 |
---|---|---|
committer | JJ | 2024-06-29 04:29:32 +0000 |
commit | 30b0c93ce37971450c7ad52bc49ca242d18502fc (patch) | |
tree | 8b33e2a4cc4e8c85bf15be62b6fec3cab11ef7a8 /lib.rkt | |
parent | e09871bd63754595b19c5395db7be0a84982feed (diff) |
stlc-dll: rename infer- and check-
Diffstat (limited to 'lib.rkt')
-rw-r--r-- | lib.rkt | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -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) |