This commit is contained in:
msyds committed 2026-09-20 06:38:49 -06:00
1 parent a1df6e56b0
commit edec828f3b
1 file changed
+12 -11
+12 -11
View File
@@ -81,17 +81,18 @@
456))
(sut/rg-expand '(let ((body 123))
(when body 456))))
"`when` is hygienic"))
(t/is (= '(let (([x #{s0}] 123))
(let-syntax ((m (syntax-rules () ((m) x))))
(lambda ([x #{s1 s2 s0}])
[x #{s0 s3}])))
(sut/rg-expand '(let ((x 123))
(let-syntax ((m (syntax-rules
()
((m) x))))
(λ (x)
(m)))))))))
"`when` does not clobber caller's scope")
(t/is (= '(let (([x #{s0}] 123))
(let-syntax ((m (syntax-rules () ((m) x))))
(lambda ([x #{s1 s2 s0}])
[x #{s0 s3}])))
(sut/rg-expand '(let ((x 123))
(let-syntax ((m (syntax-rules
()
((m) x))))
(λ (x)
(m))))))
"`when` does not capture caller's scope"))))
(t/deftest prim-lambda-spec
(t/is (s/valid? ::sut/prim-lambda '(lambda (x) x)))