This commit is contained in:
msyds committed 2026-09-20 06:14:21 -06:00
1 parent 604f4b5212
commit ce4c0fefd8
2 files changed
+37 -19

No files matched your search

+10 -6
View File
@@ -82,12 +82,16 @@
(sut/rg-expand '(let ((body 123))
(when body 456))))
"`when` is hygienic"))
(t/is (sut/rg-expand '(let ((x 123))
(let-syntax ((m (syntax-rules
()
((m) x))))
(λ (x)
(m))))))))
(t/is (= '(let (([x #{s0}] 123))
(let-syntax ((m (syntax-rules () ((m) x))))
(lambda ([x #{s1 s2 s0}])
[x #{s0}])))
(sut/rg-expand '(let ((x 123))
(let-syntax ((m (syntax-rules
()
((m) x))))
(λ (x)
(m)))))))))
(t/deftest prim-lambda-spec
(t/is (s/valid? ::sut/prim-lambda '(lambda (x) x)))