cljrs-runtime 0.2.6

clojurust runtime: environment, builtins, tree-walking interpreter, and tiered evaluation
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
104
105
106
107
108
109
110
111
112
113
114
115

//! `GlobalEnv::core_shadowed_names` — what a namespace binds that the IR
//! lowerer must not treat as `clojure.core` (issue #337).

use std::sync::Arc;

use cljrs_reader::Parser;
use cljrs_runtime::env::env::{Env, GlobalEnv};
use cljrs_value::Value;

fn make_env() -> (Arc<GlobalEnv>, Env) {
    let globals = cljrs_runtime::Runtime::builder()
        .execution_mode(cljrs_runtime::ExecutionMode::TreeWalk)
        .build()
        .expect("runtime")
        .into_globals();
    let env = Env::new(globals.clone(), "user");
    (globals, env)
}

fn eval_all(env: &mut Env, src: &str) -> Value {
    let mut parser = Parser::new(src.to_string(), "<test>".to_string());
    let forms = parser.parse_all().expect("parse error");
    let mut result = Value::Nil;
    for form in forms {
        result = cljrs_runtime::interp::eval::eval(&form, env).expect("eval error");
    }
    result
}

#[test]
fn a_plain_namespace_shadows_nothing() {
    let (globals, mut env) = make_env();
    eval_all(&mut env, "(ns shadow.plain)");
    let shadows = globals.core_shadowed_names("shadow.plain");
    assert!(!shadows.contains("inc"), "{shadows:?}");
    assert!(!shadows.contains("count"), "{shadows:?}");
}

#[test]
fn a_local_def_shadows_the_core_name() {
    let (globals, mut env) = make_env();
    eval_all(&mut env, "(ns shadow.def) (defn inc [n] (+ n 7))");
    let shadows = globals.core_shadowed_names("shadow.def");
    assert!(shadows.contains("inc"), "{shadows:?}");
    assert!(!shadows.contains("dec"), "{shadows:?}");
}

#[test]
fn clojure_core_does_not_shadow_itself() {
    let (globals, _env) = make_env();
    let shadows = globals.core_shadowed_names("clojure.core");
    assert!(!shadows.contains("inc"), "{shadows:?}");
    assert!(!shadows.contains("count"), "{shadows:?}");
}

#[test]
fn refer_clojure_exclude_shadows_the_excluded_name() {
    let (globals, mut env) = make_env();
    eval_all(
        &mut env,
        "(ns shadow.exclude (:refer-clojure :exclude [inc]))",
    );
    let shadows = globals.core_shadowed_names("shadow.exclude");
    // Nothing binds `inc` here at all — so it is certainly not core's.
    assert!(shadows.contains("inc"), "{shadows:?}");
    assert!(!shadows.contains("dec"), "{shadows:?}");
}

#[test]
fn refer_clojure_only_shadows_everything_it_leaves_out() {
    let (globals, mut env) = make_env();
    eval_all(
        &mut env,
        "(ns shadow.only (:refer-clojure :only [inc dec]))",
    );
    let shadows = globals.core_shadowed_names("shadow.only");
    // The two names the clause keeps are core's; every other core name is not
    // referred here at all, so this is the one filter that makes the shadow
    // set roughly the size of `clojure.core`.
    assert!(!shadows.contains("inc"), "{shadows:?}");
    assert!(!shadows.contains("dec"), "{shadows:?}");
    assert!(shadows.contains("count"), "{shadows:?}");
    assert!(shadows.contains("first"), "{shadows:?}");
    assert!(
        shadows.len() > 100,
        "expected most of core, got {shadows:?}"
    );
}

#[test]
fn refer_clojure_rename_shadows_both_names() {
    let (globals, mut env) = make_env();
    eval_all(
        &mut env,
        "(ns shadow.rename (:refer-clojure :rename {inc bump}))",
    );
    let shadows = globals.core_shadowed_names("shadow.rename");
    // `inc` is no longer referred, and `bump` names a var whose name is `inc`.
    assert!(shadows.contains("inc"), "{shadows:?}");
    assert!(shadows.contains("bump"), "{shadows:?}");
    assert!(!shadows.contains("count"), "{shadows:?}");
}

#[test]
fn a_refer_from_another_namespace_shadows_the_core_name() {
    let (globals, mut env) = make_env();
    eval_all(&mut env, "(ns shadow.src) (defn count [c] :mine)");
    eval_all(&mut env, "(ns shadow.dst)");
    // What `(:require [shadow.src :refer [count]])` installs, without needing
    // the namespace to live on a source path.
    globals.refer_named("shadow.dst", "shadow.src", &[Arc::from("count")]);
    let shadows = globals.core_shadowed_names("shadow.dst");
    assert!(shadows.contains("count"), "{shadows:?}");
    assert!(!shadows.contains("first"), "{shadows:?}");
}