first pass at a syntax expander for pure LC

1 files changed, 20 insertions, 3 deletions

diff --git a/test/run.scm b/test/run.scm
index b0b03bc..23d3af2 100644
--- a/test/run.scm
+++ b/test/run.scm
@@ -14,15 +14,32 @@
 (import (rename (multisyntax syntax-object test)
                 (test test-syntax-object)))
 
-(test-syntax-object)
+#;(test-syntax-object)
 
 (load "../multisyntax/pattern/internal.sld")
 (load "../multisyntax/pattern/matcher.sld")
 (load "pattern/matcher.sld")
 (import (multisyntax pattern matcher test))
-(test-patterns)
+#;(test-patterns)
 
 (load "../multisyntax/pattern/producer.sld")
 (load "pattern/producer.sld")
 (import (multisyntax pattern producer test))
-(test-producers)
+#;(test-producers)
+
+(load "../multisyntax/examples/untyped-lambda-calculus.sld")
+(import (multisyntax examples untyped-lambda-calculus)
+        (multisyntax syntax-object))
+
+#;(let-values (((global-map expanded-list)
+              (expand initial-environment (list (empty-wrap '(lambda x x)))))))
+
+(define-values (global-map expanded-list)
+  (expand initial-environment
+          (list (empty-wrap '(let-syntax ((λ lambda))
+                               (λ x x))))))
+
+#;(begin
+  (load "examples/untyped-lambda-calculus.sld")
+  (import (multisyntax examples untyped-lambda-calculus test))
+  (test-untyped-lambda-calculus))