doc

.dir-locals.el

@@ -1,16 +1,7 @@
-((haskell-mode
+((haskell-cabal-mode
-  . ((eval
-      . (progn (add-to-list 'haskell-font-lock-quasi-quote-modes
-                            '("cps" . scheme-mode))
-               (add-to-list 'haskell-font-lock-quasi-quote-modes
-                            '("scm" . scheme-mode))))))
- (haskell-cabal-mode
   . ((eval
       . (progn (defun apply-cabal-fmt-h ()
                  (haskell-mode-buffer-apply-command "cabal-fmt"))
-               (add-hook 'before-save-hook #'apply-cabal-fmt-h nil t)))))
+               (add-hook 'before-save-hook #'apply-cabal-fmt-h nil t)
- (nil
+               (add-to-list 'haskell-font-lock-quasi-quote-modes
-  . ((eval
+                            '("cps" . scheme-mode)))))))
-      . (progn (defun display-ansi ()
-                 (interactive)
-                 (ansi-color-apply-on-region (point-min) (point-max))))))))

.envrc

@@ -1,3 +1 @@
 use flake
-watch_file gyehoek.cabal cabal.project
-PATH_add $(dirname $(cabal list-bin gyehoek))

.gitignore

@@ -9,4 +9,3 @@ dist-newstyle
 .direnv
 result
 play/
-trace.html

README.md

@@ -1,3 +1,3 @@
-# 계획
+# gyehoek-hs (계획)
 
-a WIP compiler for R⁷RS Scheme targeting WebAssembly.
+a (wip) toy compiler for a Scheme-like language. currently targetting [QBE](https://c9x.me/compile/). nabbing from GHC and GNU Guile.

cabal.project

@@ -1,10 +1,5 @@
 packages: *.cabal
 tests: True
--- required for doctest-parallel
-write-ghc-environment-files: always
-
--- https://github.com/martijnbastiaan/doctest-parallel/pull/66
-allow-older: Cabal:process 
 
 source-repository-package
     type: git

doc/abi.org

@@ -1,218 +0,0 @@
-#+title: ABI
-
-largely based on the Guile Hoot's [[https://codeberg.org/spritely/hoot/src/branch/main/design/ABI.md][ABI]].
-
-* calling convention
-
-** non-tail calls
-
-- set the global variable ~$current-closure~ to the callee's closure.
-- load arguments into globals ~$arg0~, ~$arg1~, ~$arg2~, …
-- push return continuation onto ~$cont-stack~
-
-* scratchpad
-
-#+begin_src scheme
-  ;; Scheme source
-  (define (silly f g h x)
-    (f (h x) (g x)))
-
-
-  ;; continuation-passing style
-  (define (silly f g h x ktail)
-    (h x (κ (x0)
-            (g x (κ (x1)
-                    (f x0 x1 ktail))))))
-
-  ;; with explicit stacks
-  (define (silly)
-    (define f (pop!))
-    (define g (pop!))
-    (define h (pop!))
-    (define x (pop!))
-    (define ktail (pop-cont!))
-    (push-cont! (κ (x0)
-                   (define x* (pop!))
-                   (define g* (pop!))
-                   (push-cont! (κ (x1)
-                                  (define f* (pop!))
-                                  (define x0* (pop!))
-                                  (push-cont! ktail)
-                                  (push! x0*)
-                                  (push! x1)
-                                  (call! f)))
-                   (push! x*)
-                   (call! g)))
-    (push! x)
-    (call! h))
-#+end_src
-
-** fac
-
-*** Scheme source
-
-#+begin_src scheme
-(define fac
-  (λ (n)
-    (if (zero? n)
-        1
-        (* n (fac (- n 1))))))
-
-(fac 3)
-#+end_src
-
-*** CPS
-
-#+begin_src scheme
-  (define fac
-  (λ (n ktail)
-    (zero? n (κ (x0)
-                (if x0
-                    1
-                    (- n 1
-                       (κ (x1)
-                          (fac x1
-                               (κ (x2)
-                                  (* n x2 ktail))))))))))
-
-(fac 3 halt)
-
-#+end_src
-
-*** tailified
-
-#+begin_src scheme
-(define (fac-k1)
-  (define n (pop!))
-  (define x2 (pop!))
-  (define x3 (* n x2))
-  (define ktail (pop-cont!))
-  (push! x3)
-  (call! ktail))
-
-(define (fac-k0)
-  (define x0 (pop!))
-  (define n (pop!))
-  (if x0
-      (begin (define ktail (pop-cont!))
-             (push! 1)
-             (call! ktail))
-      (begin (define x1 (- n 1))
-             (push! x1)
-             (push-cont! fac-k1)
-             (call! fac))))
-
-(define (fac)
-  (define n (pop!))
-  (push! n)
-  (push-cont! fac-k0)
-  (push! n)
-  (call! zero?))
-
-(push! 3)
-(push-cont! halt)
-(call! fac)
-#+end_src
-
-evaluation of ~(fac 0)~:
-
-#+begin_src scheme
-(push! 0)                  ; [] []
-(push-cont! halt)          ; [0] []
-(call! fac)                ; [0] [halt]
-(define n (pop!))          ; [0] [halt]
-(push! n)                  ; [] [halt]
-(push-cont! fac-k0)        ; [0] [halt]
-(push! n)                  ; [0] [halt fac-k0]
-(call! zero?)              ; [0 0] [halt fac-k0]
-#<internals of zero?>      ; [0 0] [halt fac-k0]
-(define x0 (pop!))         ; [0 #t] [halt]
-(define n (pop!))          ; [0] [halt]
-(define ktail (pop-cont!)) ; [] [halt]
-(push! 1)                  ; [] []
-(call! ktail)              ; [1] []
-#+end_src
-
-evaluation of ~(fac 3)~
-
-#+begin_src scheme
-(push! 3)                  ; [] []
-(push-cont! halt)          ; [3] []
-(call! fac)                ; [3] [halt]
-
-(define n (pop!))          ; [3] [halt]
-(push! n)                  ; [] [halt]
-(push-cont! fac-k0)        ; [3] [halt]
-(push! n)                  ; [3] [halt fac-k0]
-(call! zero?)              ; [3 3] [halt fac-k0]
-#<internals of zero?>      ; [3 3] [halt fac-k0]
-(define x0 (pop!))         ; [3 #f] [halt]
-(define n (pop!))          ; [3] [halt]
-(define x1 (- n 1))        ; [] [halt]
-(push! n)                  ; [] [halt]
-(push! x1)                 ; [3] [halt]
-(push-cont! fac-k1)        ; [3 2] [halt]
-(call! fac)                ; [3 2] [halt fac-k1]
-
-(define n (pop!))          ; [3 2] [halt fac-k1]
-(push! n)                  ; [3 ] [halt fac-k1]
-(push-cont! fac-k0)        ; [3 2] [halt fac-k1]
-(push! n)                  ; [3 2] [halt fac-k1 fac-k0]
-(call! zero?)              ; [3 2 2] [halt fac-k1 fac-k0]
-#<internals of zero?>      ; [3 2 2] [halt fac-k1 fac-k0]
-(define x0 (pop!))         ; [3 2 #f] [halt fac-k1]
-(define n (pop!))          ; [3 2] [halt fac-k1]
-(define x1 (- n 1))        ; [3] [halt fac-k1]
-(push! n)                  ; [3] [halt fac-k1]
-(push! x1)                 ; [3 2] [halt fac-k1]
-(push-cont! fac-k1)        ; [3 2 1] [halt fac-k1]
-(call! fac)                ; [3 2 1] [halt fac-k1 fac-k1]
-
-(define n (pop!))          ; [3 2 1] [halt fac-k1 fac-k1]
-(push! n)                  ; [3 2] [halt fac-k1 fac-k1]
-(push-cont! fac-k0)        ; [3 2 1] [halt fac-k1 fac-k1]
-(push! n)                  ; [3 2 1] [halt fac-k1 fac-k1 fac-k0]
-(call! zero?)              ; [3 2 1 1] [halt fac-k1 fac-k1 fac-k0]
-#<internals of zero?>      ; [3 2 1 1] [halt fac-k1 fac-k1 fac-k0]
-(define x0 (pop!))         ; [3 2 1 #f] [halt fac-k1 fac-k1]
-(define n (pop!))          ; [3 2 1] [halt fac-k1 fac-k1]
-(define x1 (- n 1))        ; [3 2] [halt fac-k1 fac-k1]
-(push! n)                  ; [3 2] [halt fac-k1]
-(push! x1)                 ; [3 2 1] [halt fac-k1 fac-k1]
-(push-cont! fac-k1)        ; [3 2 1 0] [halt fac-k1 fac-k1]
-(call! fac)                ; [3 2 1 0] [halt fac-k1 fac-k1 fac-k1]
-
-(define n (pop!))          ; [3 2 1 0] [halt fac-k1 fac-k1 fac-k1]
-(push! n)                  ; [3 2 1] [halt fac-k1 fac-k1 fac-k1]
-(push-cont! fac-k0)        ; [3 2 1 0] [halt fac-k1 fac-k1 fac-k1]
-(push! n)                  ; [3 2 1 0] [halt fac-k1 fac-k1 fac-k1 fac-k0]
-(call! zero?)              ; [3 2 1 0 0] [halt fac-k1 fac-k1 fac-k1 fac-k0]
-#<internals of zero?>      ; [3 2 1 0 0] [halt fac-k1 fac-k1 fac-k1 fac-k0]
-(define x0 (pop!))         ; [3 2 1 0 #t] [halt fac-k1 fac-k1 fac-k1]
-(define n (pop!))          ; [3 2 1 0] [halt fac-k1 fac-k1 fac-k1]
-(define ktail (pop-cont!)) ; [3 2 1] [halt fac-k1 fac-k1 fac-k1]
-(push! 1)                  ; [3 2 1 1] [halt fac-k1 fac-k1]
-(call! ktail)              ; [3 2 1 1] [halt fac-k1 fac-k1]
-
-(define n (pop!))          ; [3 2 1 1] [halt fac-k1 fac-k1]
-(define x2 (pop!))         ; [3 2 1] [halt fac-k1 fac-k1]
-(define x3 (* n x2))       ; [3 2] [halt fac-k1 fac-k1]
-(define ktail (pop-cont!)) ; [3 2] [halt fac-k1 fac-k1]
-(push! x3)                 ; [3 2] [halt fac-k1]
-(call! ktail)              ; [3 2 1] [halt fac-k1]
-
-(define n (pop!))          ; [3 2 1] [halt fac-k1]
-(define x2 (pop!))         ; [3 2] [halt fac-k1]
-(define x3 (* n x2))       ; [3] [halt fac-k1]
-(define ktail (pop-cont!)) ; [3] [halt fac-k1]
-(push! x3)                 ; [3] [halt]
-(call! ktail)              ; [3 2] [halt]
-
-(define n (pop!))          ; [3 2] [halt]
-(define x2 (pop!))         ; [3] [halt]
-(define x3 (* n x2))       ; [] [halt]
-(define ktail (pop-cont!)) ; [] [halt]
-(push! x3)                 ; [] []
-(call! ktail)              ; [6] []
-;; => (halt 6)
-#+end_src

doc/closure-conversion.org

@@ -1,134 +0,0 @@
-#+title: closure-conversion
-
-the closure-conversion phase makes closed-over variables explicit by addition of the primitive ~make-closure~, taking a code pointer (in the CPS language, bare lambda) and the environment.
-
-nice testable properties of closure-converted code:
-- code pointers only appear in function position
-- no function has free variables
-
-multiple ~env-ref~ calls could probably be replaced with a primitive that loads the entire environment at once, returning multiple variables.
-
-* scratchpad
-
-** example
-
-#+caption: scheme source
-#+begin_src scheme
-  (letrec ((curried-add (λ (n)
-                          (λ (m)
-                            (+ n m)))))
-    ((curried-add 3) 4))
-#+end_src
-
-#+caption: cps
-#+begin_src scheme
-  (letrec ((curried-add
-            (λ (n ktail0)
-              (letrec ((curried-add-in
-                        (λ (m ktail1)
-                          (prim (+ n m)
-                                (κ (x0) (continue ktail1 x0))))))
-                (continue ktail0 curried-add-in)))))
-    (letrec ((k0 (κ (adder) (adder 4 halt))))
-      (curried-add 3 k0)))
-#+end_src
-
-#+caption: closure-converted
-#+begin_src scheme
-  (letrec ((curried-add
-            (λ (n ktail0)
-              (letrec ((curried-add-in-code
-                        (λ (env m ktail1)
-                          (prim (env-ref 0 env)
-                                (κ (n)
-                                   (prim (+ n m)
-                                         (κ (x0) (continue ktail1 x0))))))))
-                (prim (make-closure curried-add-in-code n)
-                      (κ (curried-add-in)
-                         (continue ktail0 curried-add-in)))))))
-    (letrec ((k0 (κ (adder-closure)
-                    (prim (closure-code adder-closure)
-                          (κ (adder)
-                             (adder adder-closure 4 halt))))))
-      (curried-add 3 k0)))
-#+end_src
-
-** wasm
-
-#+begin_src scheme
-(letrec ((make-adder
-        (lambda (n)
-          (lambda (x)
-            (+ n x)))))
-((make-adder 3) 2))
-#+end_src
-
-#+begin_src scheme
-(define add-code
-  (lambda (n env)
-    (+ n (env-ref env 'x))))
-
-(define make-adder-code
-  (lambda (n)
-    (make-closure add-code ('x n))))
-
-(define make-adder (make-closure make-adder-code))
-
-(apply-closure (apply-closure make-addder 3) 2)
-#+end_src
-
-#+begin_src wat
-(module
- (type $heap-object (sub (struct (field $hash (mut i32)))))
- (type $closure (sub $heap-object
-                     (struct (field $hash (mut i32))
-                             (field $code (ref $cont-type)))))
- (type $closure1 (sub $closure
-                      (struct (field $hash (mut i32))
-                              (field $code (ref $cont-type))
-                              (field $env0 (ref eq)))))
- (global $arg0 (mut (ref null eq)) (ref.null eq))
- (global $arg1 (mut (ref null eq)) (ref.null eq))
- (global $arg2 (mut (ref null eq)) (ref.null eq))
- (global $arg3 (mut (ref null eq)) (ref.null eq))
- (global $arg4 (mut (ref null eq)) (ref.null eq))
- (global $arg5 (mut (ref null eq)) (ref.null eq))
- ;; ⋮
- ;; (global $argn (mut (ref null eq)) (ref.null eq))
-
- (global $current-closure (mut (ref null $closure)) (ref.null $closure))
-
- (func $add-code (param $nargs i32)
-       (local $n (ref eq))
-       (local $x (ref eq))
-       (local.set $n (global.get $arg0))
-       (local.set $x (struct.get $closure1
-                                 (global.get $current-closure)
-                                 $env0))
-       (return (i32.add $n $x)))
-
- (func $make-adder-code (param $nargs i32)
-       (local $n (ref eq))
-       (local.set $n (global.get $arg0))
-       (return (struct.new $closure1
-                           0
-                           $add-code)))
-
- (func $main
-       (local.set $make-adder
-                  (struct.new $closure
-                              0
-                              $make-adder-code))
-       (global.set $current-closure $make-adder)
-       (global.set $arg0 (i32.const 3))
-       (local.set $f (call (struct.get $closure
-                                       $make-adder
-                                       $code)
-                           1))
-       (global.set $current-closure $f)
-       (global.set $arg0 (i32.const 2))
-       (return (call (struct.get $closure
-                                 $f
-                                 $code)
-                     1))))
-#+end_src

doc/make-vm-stackier.org

@@ -1,100 +0,0 @@
-* rationale?
-
-previously, the VM's stack was used for storing local variables across blocks; a Scheme procedure was split into several low-level routines (one for the procedure itself and one for each continuation), and the stack was used as a communication channel for these separate routines. in contrast, registers were local to each routine. this aligns with Wasm's model of functions pretty well, with Wasm /locals/ acting as the VM's /registers/, and a global mutable stack serving as fallback.
-
-this worked quite well until it became time to implement ~call/cc~.
-
-we are considering making the following alterations to the VM:
-- explicitly segment the stack into frames.
-- passing procedures and return addresses on the stack.
-- new instructions:
-  + ~(tail-call /n/)~
-  + ~(call /n/)~
-  + ~(load /r/ /n/)~
-  + ~(return /n/)~
-
-* scratchpad
-
-#+begin_src scheme
-  (letrec ((fac (λ (n)
-                (if (zero? n)
-                    1
-                    (* n (fac (- n 1)))))))
-  (fac 3))
-#+end_src
-
-#+begin_src scheme
-  (λ (ktail0)
-  (letrec ((fac
-            (λ (n ktail1)
-              (zero?
-               n
-               (κ (x0)
-                  (if x0
-                      (continue ktail1 1)
-                      (- n 1
-                         (κ (x1)
-                            (fac x1
-                                 (κ (x2)
-                                    (* n x2 ktail1)))))))))))
-    (fac 3)))
-#+end_src
-
-#+begin_example
-n ktail1
-| |
-| | x0
-| | |
-| | ^
-| |
-| | x1
-| | |
-| | ^
-| | 
-| | x2
-| | |
-^ ^ ^
-#+end_example
-
-#+begin_src scheme
-  (define $fac-c0
-    (pop! %x0 0) ; [ x0 $fac-c0 n $fac ktail1 ]
-    (if %x0 ; [ $fac-c0 n $fac ktail1 ]
-        ;; every variable but `ktail1' is dead so we pop them all.
-        ;; this probably means that `if' should take two continuations
-        ;; rather than two blocks.
-        (then (push! 1) ; [ $fac-c0 n $fac ktail1 ]
-              (return 1)) ; [ 1 $fac-c0 n $fac ktail1 ]
-        (else (load %n 1) ; [ $fac-c0 n $fac ktail1 ]
-              (prim %x1 (- %n 1)) ; [ $fac-c0 n $fac ktail1 ]
-              (push! $fac-c1) ; [ $fac-c0 n $fac ktail1 ]
-              (push! $fac) ; [ $fac-c1 $fac-c0 n $fac ktail1 ]
-              (push! %x1) ; [ $fac $fac-c1 $fac-c0 n $fac ktail1 ]
-              (call 1) ; [ x1 $fac $fac-c1 $fac-c0 n $fac ktail1 ]
-              )))
-
-  (define $fac-c1
-    (pop! %x2) ; [ x2 $fac-c1 $fac-c0 n $fac ktail1 ]
-    (load %n 3) ; [ $fac-c1 $fac-c0 n $fac ktail1 ]
-    (prim %x3 (* %n %x2))
-    (push! %x3) ; [ $fac-c1 $fac-c0 n $fac ktail1 ]
-    (return 1) ; [ x3 $fac-c1 $fac-c0 n $fac ktail1 ]
-    )
-
-  (define $fac
-    (load %ktail1 2) ; [ n $fac ktail1 ]
-    (load %n 0) ; [ n $fac ktail1 ]
-    (push! $fac-c0) ; [ n $fac ktail1 ]
-    (push! $zero?) ; [ $fac-c0 n $fac ktail1 ]
-    (push! %n) ; [ $zero? $fac-c0 n $fac ktail1 ]
-    (call 1) ; [ n $zero? $fac-c0 n $fac ktail1 ]
-    )
-
-  (define $start
-    (push! $fac) ; [ $start ktail0 ]
-    (push! 3) ; [ $fac $start ktail0 ]
-    (tail-call 1) ; [ 3 $fac $start ktail0 ]
-    ;; ↑ `tail-call' knows how to dispose of the caller's stack frame.
-    )
-#+end_src
-

doc/notes.org

@@ -1,53 +0,0 @@
-#+title: assorted notes on compilation
-
-* letrec
-
-consider:
-
-#+begin_src scheme
-  (letrec ((even? (lambda (n)
-                    (if (zero? n)
-                        #t
-                        (odd? (- n 1)))))
-           (odd? (lambda (n)
-                   (if (zero? n)
-                       #f
-                       (even? (- n 1))))))
-    (even? 12))
-#+end_src
-
-#+RESULTS:
-: #t
-
-since ~letrec~ is a primitive construct in the CPS language, the translation of mutually recursive functions is straightforward:
-
-#+begin_src scheme
-  (define (-& x y k) (k (- x y)))
-  (define (zero?& x k) (k (zero? x)))
-  (define (halt x) x)
-
-  (letrec ((even? (lambda (n ktail)
-                    (zero?& n
-                            (lambda (x1)
-                              (if x1
-                                  #t
-                                  (-& n 1
-                                      (lambda (x2)
-                                        (odd? x2 ktail))))))))
-           (odd? (lambda (n ktail)
-                   (zero?& n
-                           (lambda (x1)
-                             (if x1
-                                 #f
-                                 (-& n 1
-                                     (lambda (x2)
-                                       (even? x2 ktail)))))))))
-    (even? 12 halt))
-#+end_src
-
-#+RESULTS:
-: #t
-
-however, Scheme permits ~letrec~-expressions with non-lambda right-hand sides, while the CPS language permits only kappa and lambda forms. thus, the handling of these forms is less trivial.
-
-for now we'll just reject any ~letrec~ forms with non-lambda right-hand sides, lol. they aren't very important.

flake.nix

@@ -20,13 +20,13 @@
       overlays = [
         haskellNix.overlay
         (final: prev: {
-          gyehoek-wasm-runtime = final.callPackage ./wasm-runtime {
+          shake-wrapper = final.callPackage ./shake-wrapper.nix {};
+          gyehoek-runtime = final.callPackage ./runtime {
             crane-lib = inputs.crane.mkLib final;
           };
           gyehoek = final.haskell-nix.project' {
             src = ./.;
             compiler-nix-name = "ghc912";
-            configureArgs = "-f-doctest";
             modules = [({ pkgs, lib, ...}: {
               packages.gyehoek.components.tests.test.preCheck =
                 let
@@ -34,16 +34,14 @@
                     pkgs.git # tasty uses git diff
                   ];
                 in ''
-                  export GYEHOEK_WASM_RUNTIME=${
+                  export GYEHOEK_RUNTIME=${lib.getExe final.gyehoek-runtime}
-                    lib.getExe final.gyehoek-wasm-runtime
-                  }
                   export PATH=${lib.makeBinPath bin}:$PATH
                 '';
             })];
             shell = {
               withHoogle = true;
               inputsFrom = [
-                final.gyehoek-wasm-runtime
+                final.gyehoek-runtime
               ];
               tools = {
                 cabal = {};
@@ -51,6 +49,7 @@
               };
               buildInputs = with final; [
                 haskellPackages.cabal-fmt
+                shake-wrapper
                 wabt
                 nodejs
                 wasm-tools
@@ -58,11 +57,6 @@
                 guile
                 rust-analyzer
                 wasmtime
-                # bashInteractive is necessary to work around an
-                # optparse-applicative issue
-                #
-                # https://github.com/pcapriotti/optparse-applicative/pull/408
-                bashInteractive
               ];
             };
           };
@@ -94,7 +88,7 @@
         hf.packages.${system} // lib.fix (packages: {
           gyehoek = hf.packages.${system}."gyehoek:exe:gyehoek";
           default = packages.gyehoek;
-          inherit (pkgs) gyehoek-wasm-runtime;
+          inherit (pkgs) gyehoek-runtime shake-wrapper;
         }));
 
       devShells = each-system

golden/exec/adder/exec

@@ -1,2 +0,0 @@
-ret > ExitSuccess
-out > 9

golden/exec/adder/source.scm

@@ -1,4 +0,0 @@
-(let ((make-adder (lambda (x)
-                    (lambda (y)
-                      (+ x y)))))
-  ((make-adder 4) 5))

golden/exec/apply-twice/exec

@@ -1,2 +0,0 @@
-ret > ExitSuccess
-out > 17

golden/exec/apply2/exec

@@ -1,2 +0,0 @@
-ret > ExitSuccess
-out > 10

golden/exec/apply2/source.scm

@@ -1,5 +0,0 @@
-((λ (f g x)
-   (f (g x)))
- (λ (x) (+ x 4))
- (λ (x) (* x 2))
- 3)

golden/exec/begin-1/exec

@@ -1,2 +0,0 @@
-ret > ExitSuccess
-out > 456

golden/exec/begin-1/source.scm

@@ -1 +0,0 @@
-(begin 123 456) ; => 456

golden/exec/callcc-constant/exec

@@ -1,2 +0,0 @@
-ret > ExitSuccess
-out > 123

golden/exec/callcc-constant/source.scm

@@ -1 +0,0 @@
-(call/cc (λ (cc) (cc 123)))

golden/exec/callcc-discard/exec

@@ -1,2 +0,0 @@
-ret > ExitSuccess
-out > 1234

golden/exec/callcc-discard/source.scm

@@ -1 +0,0 @@
-(call/cc (λ (_) 1234))

golden/exec/callcc-early-exit-1/source.scm

@@ -1,12 +0,0 @@
-(letrec ((iter (λ (n f)
-                 (if (zero? n)
-                     #f
-                     (begin (f n)
-                            (iter (- n 1) f))))))
-  (call/cc
-   (λ (k)
-     (iter 10 (λ (n)
-                ;; i don't feel like implementing (= n 5) right now lmfao
-                (if (zero? (- n 5))
-                    (k #t)
-                    #f))))))

golden/exec/callcc-early-exit-2/exec

@@ -1,2 +0,0 @@
-ret > ExitSuccess
-out > #t

golden/exec/callcc-early-exit-2/source.scm

@@ -1,4 +0,0 @@
-(call/cc
- (λ (k)
-   (begin (k #t)
-          #f)))

golden/exec/callcc-early-exit-3/exec

@@ -1,2 +0,0 @@
-ret > ExitSuccess
-out > #t

golden/exec/callcc-early-exit-3/source.scm

@@ -1,5 +0,0 @@
-;; confer ../callcc-early-exit-4
-(letrec ((app (λ (f x)
-                (begin (f x)
-                       #f))))
-  (call/cc (λ (k) (app k #t))))

golden/exec/callcc-early-exit-4/exec

@@ -1,2 +0,0 @@
-ret > ExitSuccess
-out > #t

golden/exec/callcc-early-exit-4/source.scm

@@ -1,5 +0,0 @@
-;; confer ../callcc-early-exit-3
-(letrec ((app (λ (f x)
-                (begin (f x)
-                       #f))))
-  (call/cc (λ (k) (app (λ (x) (k x)) #t))))

golden/exec/callcc-early-exit-5/exec

@@ -1,2 +0,0 @@
-ret > ExitSuccess
-out > #t

golden/exec/callcc-early-exit-5/source.scm

@@ -1,4 +0,0 @@
-(call/cc
- (λ (k)
-   (begin ((λ () (k #t)))
-          #f)))

golden/exec/callcc-early-exit-6/exec

@@ -1,2 +0,0 @@
-ret > ExitSuccess
-out > 12

golden/exec/callcc-early-exit-6/source.scm

@@ -1,4 +0,0 @@
-(* 2 (call/cc
-      (λ (k)
-        (begin (k 6)
-               3))))

golden/exec/callcc-nested-1/exec

@@ -1,2 +0,0 @@
-ret > ExitSuccess
-out > 456

golden/exec/callcc-nested-1/source.scm

@@ -1,5 +0,0 @@
-(call/cc
- (λ (k1)
-   (call/cc
-    (λ (k2)
-      (k1 456)))))

golden/exec/callcc-nested-2/exec

@@ -1,2 +0,0 @@
-ret > ExitSuccess
-out > 456

golden/exec/callcc-nested-2/source.scm

@@ -1,5 +0,0 @@
-(call/cc
- (λ (k1)
-   (call/cc
-    (λ (k2)
-      (k2 456)))))

golden/exec/complicated-1/exec

@@ -1,2 +0,0 @@
-ret > ExitSuccess
-out > 155

golden/exec/complicated-1/source.scm

@@ -1,10 +0,0 @@
-(letrec ((factorial (λ (n)
-                      (if (zero? n)
-                          1
-                          (* n (factorial (- n 1)))))))
-  (letrec ((sum-of-factorials
-            (λ (n)
-              (if (zero? n)
-                  0
-                  (+ (factorial n) (sum-of-factorials (- n 1)))))))
-    (+ 2 (sum-of-factorials 5))))

golden/exec/cons-1/exec

@@ -1,2 +0,0 @@
-ret > ExitSuccess
-out > (6 . 7)

golden/exec/cons-1/source.scm

@@ -1 +0,0 @@
-(cons 6 7)

golden/exec/factorial/exec

@@ -1,2 +0,0 @@
-ret > ExitSuccess
-out > 2432902008176640000

golden/exec/factorial/source.scm

@@ -1,5 +0,0 @@
-(letrec ((fac (λ (n)
-                (if (zero? n)
-                    1
-                    (* n (fac (- n 1)))))))
-  (fac 20))

golden/exec/fn-of-fn/source.scm

@@ -1,3 +0,0 @@
-(((λ (f) f)
-  (λ (x) (* x 4)))
- 32)

golden/exec/let-fn/exec

@@ -1,2 +0,0 @@
-ret > ExitSuccess
-out > 16

golden/exec/let-fn/source.scm

@@ -1,2 +0,0 @@
-(let ((square (λ (x) (* x x))))
-  (square 4))

golden/exec/letrec-fn/exec

@@ -1,2 +0,0 @@
-ret > ExitSuccess
-out > 16

golden/exec/letrec-fn/source.scm

@@ -1,2 +0,0 @@
-(letrec ((square (λ (x) (* x x))))
-  (square 4))

golden/exec/true/exec

@@ -1,2 +0,0 @@
-ret > ExitSuccess
-out > #t

golden/fn-of-fn/source.scm

@@ -0,0 +1 @@
+(((λ (f) f) (λ (x) (* x 4))) 32)

golden/print/begin-nonempty-thin

@@ -1,4 +0,0 @@
-(begin
-  책을
-  더
-  먹으세요~!)

golden/print/begin-nonempty-wide

@@ -1,4 +0,0 @@
-(begin
-  책을
-  더
-  먹으세요~!)

golden/print/lambda-thin

@@ -1,5 +0,0 @@
-(lambda
-    (어간
-     어미)
-  (display
-   꾸깃))

golden/print/lambda-wide

@@ -1,2 +0,0 @@
-(lambda (어간 어미)
-  (display 꾸깃))

golden/print/null

@@ -1 +0,0 @@
-()

golden/print/rainbow

@@ -1 +0,0 @@
-((((()))))

golden/print/simple-list-thin

@@ -1,4 +0,0 @@
-(가
- 나
- 다
- 라)

golden/print/simple-list-wide

@@ -1 +0,0 @@
-(가 나 다 라)

golden/read/bool/read

@@ -1,41 +0,0 @@
-[ MkAnn
-    { syntax = SynNone
-    , position = Just
-        ( SourcePos
-            { sourceName = "golden/read/bool/source.scm"
-            , sourceLine = Pos 1
-            , sourceColumn = Pos 1
-            }
-        )
-    } :< SimpleF ( SimpleBoolean True )
-, MkAnn
-    { syntax = SynNone
-    , position = Just
-        ( SourcePos
-            { sourceName = "golden/read/bool/source.scm"
-            , sourceLine = Pos 1
-            , sourceColumn = Pos 4
-            }
-        )
-    } :< SimpleF ( SimpleBoolean True )
-, MkAnn
-    { syntax = SynNone
-    , position = Just
-        ( SourcePos
-            { sourceName = "golden/read/bool/source.scm"
-            , sourceLine = Pos 1
-            , sourceColumn = Pos 10
-            }
-        )
-    } :< SimpleF ( SimpleBoolean False )
-, MkAnn
-    { syntax = SynNone
-    , position = Just
-        ( SourcePos
-            { sourceName = "golden/read/bool/source.scm"
-            , sourceLine = Pos 1
-            , sourceColumn = Pos 13
-            }
-        )
-    } :< SimpleF ( SimpleBoolean False )
-]

golden/read/bool/source.scm

@@ -1 +0,0 @@
-#t #true #f #false

golden/read/datum-comment/source.scm

@@ -1,4 +0,0 @@
-#;(a datum comment can
-span multiple lines)
-
-(but it ends here)

golden/read/decimal/read

@@ -1,36 +0,0 @@
-[ MkAnn
-    { syntax = SynNone
-    , position = Just
-        ( SourcePos
-            { sourceName = "golden/read/decimal/source.scm"
-            , sourceLine = Pos 1
-            , sourceColumn = Pos 1
-            }
-        )
-    } :< SimpleF
-    ( SimpleNumber 45.0 )
-, MkAnn
-    { syntax = SynNone
-    , position = Just
-        ( SourcePos
-            { sourceName = "golden/read/decimal/source.scm"
-            , sourceLine = Pos 1
-            , sourceColumn = Pos 4
-            }
-        )
-    } :< SimpleF
-    ( SimpleNumber 5667.0 )
-, MkAnn
-    { syntax = SynNone
-    , position = Just
-        ( SourcePos
-            { sourceName = "golden/read/decimal/source.scm"
-            , sourceLine = Pos 1
-            , sourceColumn = Pos 10
-            }
-        )
-    } :< SimpleF
-    ( SimpleNumber
-        ( -123.0 )
-    )
-]

golden/read/decimal/source.scm

@@ -1 +0,0 @@
-45 +5667 -123

golden/read/delimited-identifier/read

@@ -1,5 +0,0 @@
-[ Fix
-    ( SimpleF
-        ( Symbol "aaaa bc" )
-    )
-]

golden/read/delimited-identifier/source.scm

@@ -1 +0,0 @@
-|aaaa bc|

golden/read/empty/read

@@ -1 +0,0 @@
-[]

golden/read/list-dot-flat/read

@@ -1,62 +0,0 @@
-[ MkAnn
-    { syntax = SynNone
-    , position = Just
-        ( SourcePos
-            { sourceName = "golden/read/list-dot-flat/source.scm"
-            , sourceLine = Pos 1
-            , sourceColumn = Pos 1
-            }
-        )
-    } :< CompoundF
-    ( DotListF
-        (
-            ( MkAnn
-                { syntax = SynNone
-                , position = Just
-                    ( SourcePos
-                        { sourceName = "golden/read/list-dot-flat/source.scm"
-                        , sourceLine = Pos 1
-                        , sourceColumn = Pos 2
-                        }
-                    )
-                } :< SimpleF
-                ( SimpleSymbol "가" )
-            ) :|
-            [ MkAnn
-                { syntax = SynNone
-                , position = Just
-                    ( SourcePos
-                        { sourceName = "golden/read/list-dot-flat/source.scm"
-                        , sourceLine = Pos 1
-                        , sourceColumn = Pos 5
-                        }
-                    )
-                } :< SimpleF
-                ( SimpleSymbol "나" )
-            , MkAnn
-                { syntax = SynNone
-                , position = Just
-                    ( SourcePos
-                        { sourceName = "golden/read/list-dot-flat/source.scm"
-                        , sourceLine = Pos 1
-                        , sourceColumn = Pos 8
-                        }
-                    )
-                } :< SimpleF
-                ( SimpleSymbol "다" )
-            ]
-        )
-        ( MkAnn
-            { syntax = SynNone
-            , position = Just
-                ( SourcePos
-                    { sourceName = "golden/read/list-dot-flat/source.scm"
-                    , sourceLine = Pos 1
-                    , sourceColumn = Pos 13
-                    }
-                )
-            } :< SimpleF
-            ( SimpleSymbol "라" )
-        )
-    )
-]

golden/read/list-dot-flat/source.scm

@@ -1 +0,0 @@
-(가 나 다 . 라)

golden/read/list-flat/read

@@ -1,91 +0,0 @@
-[ MkAnn
-    { syntax = SynNone
-    , position = Just
-        ( SourcePos
-            { sourceName = "golden/read/list-flat/source.scm"
-            , sourceLine = Pos 1
-            , sourceColumn = Pos 1
-            }
-        )
-    } :< CompoundF
-    ( ListF Ordinary
-        [ MkAnn
-            { syntax = SynNone
-            , position = Just
-                ( SourcePos
-                    { sourceName = "golden/read/list-flat/source.scm"
-                    , sourceLine = Pos 1
-                    , sourceColumn = Pos 2
-                    }
-                )
-            } :< SimpleF
-            ( SimpleSymbol "가" )
-        , MkAnn
-            { syntax = SynNone
-            , position = Just
-                ( SourcePos
-                    { sourceName = "golden/read/list-flat/source.scm"
-                    , sourceLine = Pos 1
-                    , sourceColumn = Pos 5
-                    }
-                )
-            } :< SimpleF
-            ( SimpleSymbol "나" )
-        , MkAnn
-            { syntax = SynNone
-            , position = Just
-                ( SourcePos
-                    { sourceName = "golden/read/list-flat/source.scm"
-                    , sourceLine = Pos 1
-                    , sourceColumn = Pos 8
-                    }
-                )
-            } :< SimpleF
-            ( SimpleSymbol "다" )
-        , MkAnn
-            { syntax = SynNone
-            , position = Just
-                ( SourcePos
-                    { sourceName = "golden/read/list-flat/source.scm"
-                    , sourceLine = Pos 1
-                    , sourceColumn = Pos 11
-                    }
-                )
-            } :< SimpleF
-            ( SimpleSymbol "라" )
-        , MkAnn
-            { syntax = SynNone
-            , position = Just
-                ( SourcePos
-                    { sourceName = "golden/read/list-flat/source.scm"
-                    , sourceLine = Pos 1
-                    , sourceColumn = Pos 14
-                    }
-                )
-            } :< SimpleF
-            ( SimpleNumber 1.0 )
-        , MkAnn
-            { syntax = SynNone
-            , position = Just
-                ( SourcePos
-                    { sourceName = "golden/read/list-flat/source.scm"
-                    , sourceLine = Pos 1
-                    , sourceColumn = Pos 16
-                    }
-                )
-            } :< SimpleF
-            ( SimpleNumber 2.0 )
-        , MkAnn
-            { syntax = SynNone
-            , position = Just
-                ( SourcePos
-                    { sourceName = "golden/read/list-flat/source.scm"
-                    , sourceLine = Pos 1
-                    , sourceColumn = Pos 18
-                    }
-                )
-            } :< SimpleF
-            ( SimpleNumber 3.0 )
-        ]
-    )
-]

golden/read/list-flat/source.scm

@@ -1 +0,0 @@
-(가 나 다 라 1 2 3)

golden/read/list/read

@@ -1,148 +0,0 @@
-[ MkAnn
-    { syntax = SynNone
-    , position = Just
-        ( SourcePos
-            { sourceName = "golden/read/list/source.scm"
-            , sourceLine = Pos 1
-            , sourceColumn = Pos 1
-            }
-        )
-    } :< CompoundF
-    ( DotListF
-        (
-            ( MkAnn
-                { syntax = SynNone
-                , position = Just
-                    ( SourcePos
-                        { sourceName = "golden/read/list/source.scm"
-                        , sourceLine = Pos 1
-                        , sourceColumn = Pos 2
-                        }
-                    )
-                } :< SimpleF
-                ( SimpleSymbol "a" )
-            ) :|
-            [ MkAnn
-                { syntax = SynNone
-                , position = Just
-                    ( SourcePos
-                        { sourceName = "golden/read/list/source.scm"
-                        , sourceLine = Pos 1
-                        , sourceColumn = Pos 4
-                        }
-                    )
-                } :< SimpleF
-                ( SimpleSymbol "b" )
-            , MkAnn
-                { syntax = SynNone
-                , position = Just
-                    ( SourcePos
-                        { sourceName = "golden/read/list/source.scm"
-                        , sourceLine = Pos 1
-                        , sourceColumn = Pos 6
-                        }
-                    )
-                } :< CompoundF
-                ( ListF Ordinary
-                    [ MkAnn
-                        { syntax = SynNone
-                        , position = Just
-                            ( SourcePos
-                                { sourceName = "golden/read/list/source.scm"
-                                , sourceLine = Pos 1
-                                , sourceColumn = Pos 7
-                                }
-                            )
-                        } :< SimpleF
-                        ( SimpleSymbol "c" )
-                    , MkAnn
-                        { syntax = SynNone
-                        , position = Just
-                            ( SourcePos
-                                { sourceName = "golden/read/list/source.scm"
-                                , sourceLine = Pos 1
-                                , sourceColumn = Pos 9
-                                }
-                            )
-                        } :< SimpleF
-                        ( SimpleSymbol "d" )
-                    ]
-                )
-            ]
-        )
-        ( MkAnn
-            { syntax = SynNone
-            , position = Just
-                ( SourcePos
-                    { sourceName = "golden/read/list/source.scm"
-                    , sourceLine = Pos 1
-                    , sourceColumn = Pos 14
-                    }
-                )
-            } :< CompoundF
-            ( ListF Ordinary
-                [ MkAnn
-                    { syntax = SynNone
-                    , position = Just
-                        ( SourcePos
-                            { sourceName = "golden/read/list/source.scm"
-                            , sourceLine = Pos 1
-                            , sourceColumn = Pos 15
-                            }
-                        )
-                    } :< SimpleF
-                    ( SimpleSymbol "가" )
-                , MkAnn
-                    { syntax = SynNone
-                    , position = Just
-                        ( SourcePos
-                            { sourceName = "golden/read/list/source.scm"
-                            , sourceLine = Pos 1
-                            , sourceColumn = Pos 18
-                            }
-                        )
-                    } :< CompoundF
-                    ( DotListF
-                        (
-                            ( MkAnn
-                                { syntax = SynNone
-                                , position = Just
-                                    ( SourcePos
-                                        { sourceName = "golden/read/list/source.scm"
-                                        , sourceLine = Pos 1
-                                        , sourceColumn = Pos 19
-                                        }
-                                    )
-                                } :< SimpleF
-                                ( SimpleSymbol "나" )
-                            ) :| []
-                        )
-                        ( MkAnn
-                            { syntax = SynNone
-                            , position = Just
-                                ( SourcePos
-                                    { sourceName = "golden/read/list/source.scm"
-                                    , sourceLine = Pos 1
-                                    , sourceColumn = Pos 24
-                                    }
-                                )
-                            } :< SimpleF
-                            ( SimpleSymbol "다" )
-                        )
-                    )
-                , MkAnn
-                    { syntax = SynNone
-                    , position = Just
-                        ( SourcePos
-                            { sourceName = "golden/read/list/source.scm"
-                            , sourceLine = Pos 1
-                            , sourceColumn = Pos 28
-                            }
-                        )
-                    } :< SimpleF
-                    ( SimpleSymbol "라" )
-                ]
-            )
-        )
-    )
-]

golden/read/list/source.scm

@@ -1 +0,0 @@
-(a b (c d) . (가 (나 . 다) 라))

golden/read/meta-expression/read

@@ -1,11 +0,0 @@
-[ MkAnn
-    { syntax = SynNone
-    , position = Just
-        ( SourcePos
-            { sourceName = "golden/read/meta-expression/source.scm"
-            , sourceLine = Pos 1
-            , sourceColumn = Pos 1
-            }
-        )
-    } :< MetaF "aHaskellVariable + abc * 2"
-]

golden/read/meta-expression/source.scm

@@ -1 +0,0 @@
-#{aHaskellVariable + abc * 2}

golden/read/meta-splice-expression-interior-brace/source.scm

@@ -1,2 +0,0 @@
-##{case 123 of { 123 -> blah
-               ; xyz -> flah }}

golden/read/meta-splice-expression/read

@@ -1,11 +0,0 @@
-[ MkAnn
-    { syntax = SynNone
-    , position = Just
-        ( SourcePos
-            { sourceName = "golden/read/meta-splice-expression/source.scm"
-            , sourceLine = Pos 1
-            , sourceColumn = Pos 1
-            }
-        )
-    } :< MetaSpliceF "takeWhile (\x -> even x) aHaskellList"
-]

golden/read/meta-splice-expression/source.scm

@@ -1 +0,0 @@
-##{takeWhile (\x -> even x) aHaskellList}

golden/read/meta-splice-variable/read

@@ -1,11 +0,0 @@
-[ MkAnn
-    { syntax = SynNone
-    , position = Just
-        ( SourcePos
-            { sourceName = "golden/read/meta-splice-variable/source.scm"
-            , sourceLine = Pos 1
-            , sourceColumn = Pos 1
-            }
-        )
-    } :< MetaSpliceF "aHaskellList"
-]

golden/read/meta-splice-variable/source.scm

@@ -1 +0,0 @@
-##{aHaskellList}

golden/read/meta-variable/read

@@ -1,11 +0,0 @@
-[ MkAnn
-    { syntax = SynNone
-    , position = Just
-        ( SourcePos
-            { sourceName = "golden/read/meta-variable/source.scm"
-            , sourceLine = Pos 1
-            , sourceColumn = Pos 1
-            }
-        )
-    } :< MetaF "aHaskellVariable"
-]

golden/read/meta-variable/source.scm

@@ -1 +0,0 @@
-#{aHaskellVariable}

golden/read/peculiar-identifier-dot/read

@@ -1,7 +0,0 @@
-[ SynNone :< SimpleF
-    ( SimpleSymbol ".." )
-, SynNone :< SimpleF
-    ( SimpleSymbol ".abc" )
-, SynNone :< SimpleF
-    ( SimpleSymbol "....abcc" )
-]

golden/read/peculiar-identifier-dot/source.scm

@@ -1 +0,0 @@
-.. .abc ....abcc

golden/read/peculiar-identifier-sign/read

@@ -1,23 +0,0 @@
-[ MkAnn
-    { syntax = SynNone
-    , position = Just
-        ( SourcePos
-            { sourceName = "golden/read/peculiar-identifier-sign/source.scm"
-            , sourceLine = Pos 1
-            , sourceColumn = Pos 1
-            }
-        )
-    } :< SimpleF
-    ( SimpleSymbol "+" )
-, MkAnn
-    { syntax = SynNone
-    , position = Just
-        ( SourcePos
-            { sourceName = "golden/read/peculiar-identifier-sign/source.scm"
-            , sourceLine = Pos 1
-            , sourceColumn = Pos 3
-            }
-        )
-    } :< SimpleF
-    ( SimpleSymbol "-" )
-]

golden/read/peculiar-identifier-sign/source.scm

@@ -1 +0,0 @@
-+ -

golden/read/string-line-continuation/read

@@ -1,5 +0,0 @@
-[ Fix
-    ( SimpleF
-        ( String "가나다라마바" )
-    )
-]