start cps translator

1 files changed, 33 insertions, 0 deletions

diff --git a/test.scm b/test.scm
new file mode 100644
index 0000000..b2ea9e5
--- /dev/null
+++ b/test.scm
@@ -0,0 +1,33 @@
+(load "gamma-scheme.cps.sld")
+(import (gamma-scheme cps) test)
+
+(define (wnl x)
+  (write (cps->sexpr (core->cps x)))
+  (newline))
+
+#;(wnl (cps->sexpr cps:with-sub-kont))
+
+(test "constant"
+      '(pass (5) () __toplevel)
+      (cps->sexpr (core->cps 5)))
+
+(test "symbol"
+      '(pass (x) () __toplevel)
+      (cps->sexpr (core->cps 'x)))
+
+(test "thunk"
+      '(apply x () () __toplevel)
+      (cps->sexpr (core->cps '(x))))
+
+(test "one symbol arg"
+      '(apply x (y) () __toplevel)
+      (cps->sexpr (core->cps '(x y))))
+
+(test "one constant arg"
+      '(apply x (5) () __toplevel)
+      (cps->sexpr (core->cps '(x 5))))
+
+(test "one compound arg"
+      '(apply f (x) () (kappa (__v2) __γ1 (apply x (__v2) __γ1 __toplevel)))
+      (cps->sexpr (core->cps '(x (f x)))))
+