monkey-compiler 2.0.1

a compiler for monkeylang
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
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103

use super::Repl;

#[test]
fn repl_resolves_builtins() {
    // Regression: the REPL used to seed its persistent state with a bare
    // SymbolTable::new(), so every builtin failed with "Undefined variable".
    let mut repl = Repl::new();
    let result = repl
        .eval_line("len([1, 2, 3]);")
        .expect("builtin call should succeed");
    assert_eq!(result, "3");
}

#[test]
fn repl_keeps_builtins_resolvable_across_lines() {
    // The symbol table round-trips through new_with_state on every line, so a
    // builtin that resolves on line 1 must still resolve after other lines run.
    let mut repl = Repl::new();
    repl.eval_line("let xs = [1, 2];")
        .expect("let binding should succeed");
    let result = repl
        .eval_line("len(xs);")
        .expect("builtin must survive a committed line");
    assert_eq!(result, "2");
}

#[test]
fn repl_keeps_state_across_successful_lines() {
    let mut repl = Repl::new();
    repl.eval_line("let answer = 21 * 2;")
        .expect("let binding should succeed");
    let result = repl
        .eval_line("answer;")
        .expect("persisted global should resolve");
    assert_eq!(result, "42");
}

#[test]
fn repl_allows_shadowing_a_builtin() {
    // Guards the fix's shape: re-registering builtins on every line would be a
    // tempting alternative, but it would clobber a user binding that shadows one.
    let mut repl = Repl::new();
    repl.eval_line("let len = 5;")
        .expect("shadowing a builtin should succeed");
    let result = repl
        .eval_line("len;")
        .expect("user binding must win over the builtin");
    assert_eq!(result, "5");
}

#[test]
fn repl_reports_undefined_variables() {
    let mut repl = Repl::new();
    let error = repl
        .eval_line("nope;")
        .expect_err("unknown name should fail");
    assert!(
        error.to_lowercase().contains("undefined variable 'nope'"),
        "expected an undefined-variable error, got: {:?}",
        error
    );
}

#[test]
fn repl_survives_a_parse_error() {
    let mut repl = Repl::new();
    repl.eval_line("let =")
        .expect_err("malformed let should fail");
    let result = repl
        .eval_line("1 + 1;")
        .expect("REPL should still evaluate after a parse error");
    assert_eq!(result, "2");
}

#[test]
fn repl_reports_runtime_errors_and_keeps_running() {
    let mut repl = Repl::new();
    let error = repl
        .eval_line("1 + \"a\";")
        .expect_err("mixed operand types should fail");
    assert_eq!(error, "unsupported binary operation for 1 and a");

    let result = repl
        .eval_line("1 + 1;")
        .expect("REPL should still evaluate after a runtime error");
    assert_eq!(result, "2");
}

#[test]
fn repl_does_not_commit_bindings_from_a_failed_line() {
    let mut repl = Repl::new();
    repl.eval_line("let leaked = 1; 1 + \"a\";")
        .expect_err("line should fail at runtime");

    let error = repl
        .eval_line("leaked;")
        .expect_err("failed line must not commit its symbol table");
    assert!(
        error.to_lowercase().contains("undefined variable 'leaked'"),
        "expected an undefined-variable error, got: {:?}",
        error
    );
}