marwood 1.0.0

Scheme R7RS Virtual Machine
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70

#[macro_use]
mod common;
use marwood::cell::Cell;
use marwood::lex;
use marwood::parse;
use marwood::vm::Vm;

#[test]
fn continuations_are_procedures() {
    evals![
      "(call/cc procedure?)" => "#t"
    ];
}

#[test]
fn continuations() {
    evals![
        "(call/cc (lambda (cc) (cc 10)))" => "10"
    ];

    evals![
        "(define animal (call/cc (lambda (cc) cc)))" => "#<void>",
        "(animal 'elephant)" => "#<void>",
        "animal" => "elephant"
    ];

    evals![
        "(call-with-current-continuation (lambda (cc) (+ 2 5)))" => "7",
        "(call-with-current-continuation (lambda (cc) (+ 2 5 (cc 3))))" => "3"
    ];

    evals![
        "(define add100 0)" => "#<void>",
        "(+ 100 (call/cc (lambda (cc) (set! add100 cc) 0)))" => "100",
        "(add100 16)" => "116",
        "(* 2 (add100 16))" => "116"
    ];
}

#[test]
fn hello_world() {
    evals![
        "(let ([x (call/cc (λ (k) k))])
         (x (λ (ignore) \"hello world\")))"

        => "\"hello world\""
    ];
    evals![
        "(((call/cc (λ (k) k))
            (λ (x) x)) \"hello world\")"

        => "\"hello world\""
    ];
}

#[test]
fn factorial_cps() {
    evals!["(define (factorial n)
            (define (factorial n k)
                (cond
                   [(zero? n) (k 1)]
                   [else 
                      (factorial (- n 1) 
                                 (λ (v) (k (* v n))))]))
            (factorial n (λ (v) v)))"
            => "#<void>",
        
            "(factorial 10)" 
            => "3628800"];
}