diff options
| author |  Peter McGoron
| 2025-06-28 03:52:41 -0400 |
|---|---|---|
| committer | Peter McGoron
| 2025-06-28 03:52:41 -0400 |
| commit | 5485b5631d52e35f3ac4484058984b4ecacdbe0e (patch) | |
| tree | d7c16547237c40e1609325b42f763ddac01863e6 /test/run.scm | |
| parent | first pass at a syntax expander for pure LC (diff) | |
fix self-syntax and shadowing of syntax keywords
Diffstat (limited to '')
| -rw-r--r-- | test/run.scm | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/test/run.scm b/test/run.scm index 23d3af2..bb2fca0 100644 --- a/test/run.scm +++ b/test/run.scm @@ -34,11 +34,16 @@ #;(let-values (((global-map expanded-list) (expand initial-environment (list (empty-wrap '(lambda x x))))))) -(define-values (global-map expanded-list) +#;(define-values (global-map expanded-list) (expand initial-environment (list (empty-wrap '(let-syntax ((λ lambda)) (λ x x)))))) +(let-values (((global-map expanded-list) + (expand initial-environment + (list (empty-wrap '(lambda lambda (lambda lambda))))))) + (alpha expanded-list)) + #;(begin (load "examples/untyped-lambda-calculus.sld") (import (multisyntax examples untyped-lambda-calculus test)) |