sim-lib-lang-cl 0.1.0

SIM workspace package for sim lib lang cl.
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

use sim_kernel::{Cx, Result, Symbol};
use sim_lib_standard_core::{
    LanguageProfile, OrganUse, ProfileRegistry, fidelity_badge, install_language_profile,
};

use crate::{
    cl_binding_fidelity_symbol, cl_clos_mop_fidelity_symbol, cl_conformance_test_symbol,
    cl_control_fidelity_symbol, cl_dispatch_fidelity_symbol, cl_lite_profile_symbol,
    cl_lowering_symbol, cl_mutation_fidelity_symbol, cl_namespace_fidelity_symbol,
    cl_reader_symbol,
};

/// Builds the CL-lite [`LanguageProfile`]: reader, lowering, eval policy, the
/// five backing organs (binding, control, dispatch, namespace, mutation),
/// numeric tower, required mutation capability, conformance test, and per-organ
/// fidelity badges.
///
/// The CLOS/MOP badge is level 0 and `full-clos-mop` is listed as an unsupported
/// form: the profile presents a limited CLOS surface. See the crate [README]
/// for the language-profile role.
///
/// [README]: https://docs.rs/crate/sim-lib-lang-cl
pub fn cl_lite_profile() -> LanguageProfile {
    let profile = cl_lite_profile_symbol();
    let test = cl_conformance_test_symbol();
    LanguageProfile::new(profile.clone())
        .with_reader(cl_reader_symbol())
        .with_lowering(cl_lowering_symbol())
        .with_eval_policy(Symbol::qualified("eval", "common-lisp-lite"))
        .with_organ(OrganUse::new(sim_lib_binding::binding_organ_symbol()))
        .with_organ(OrganUse::new(sim_lib_control::control_organ_symbol()))
        .with_organ(OrganUse::new(sim_lib_dispatch::dispatch_organ_symbol()))
        .with_organ(OrganUse::new(sim_lib_namespace::namespace_organ_symbol()))
        .with_organ(OrganUse::new(sim_lib_mutation::mutation_organ_symbol()))
        .with_numeric_tower(Symbol::qualified("numbers", "common-lisp-lite"))
        .requiring(sim_lib_mutation::standard_mutate_capability())
        .with_unsupported_form(Symbol::qualified("cl", "full-clos-mop"))
        .with_conformance_test(test.clone())
        .with_fidelity_badge(fidelity_badge(
            &profile,
            cl_binding_fidelity_symbol(),
            1,
            &test,
        ))
        .with_fidelity_badge(fidelity_badge(
            &profile,
            cl_control_fidelity_symbol(),
            1,
            &test,
        ))
        .with_fidelity_badge(fidelity_badge(
            &profile,
            cl_dispatch_fidelity_symbol(),
            1,
            &test,
        ))
        .with_fidelity_badge(fidelity_badge(
            &profile,
            cl_namespace_fidelity_symbol(),
            1,
            &test,
        ))
        .with_fidelity_badge(fidelity_badge(
            &profile,
            cl_mutation_fidelity_symbol(),
            1,
            &test,
        ))
        .with_fidelity_badge(fidelity_badge(
            &profile,
            cl_clos_mop_fidelity_symbol(),
            0,
            &test,
        ))
}

/// Installs the CL-lite profile into a [`ProfileRegistry`], publishing the
/// backing organ claims for binding, control, dispatch, namespace, and mutation.
///
/// # Examples
///
/// ```
/// use std::sync::Arc;
/// use sim_kernel::{Cx, DefaultFactory, NoopEvalPolicy};
/// use sim_lib_standard_core::ProfileRegistry;
/// use sim_lib_lang_cl::install_cl_lite_profile;
///
/// let mut cx = Cx::new(Arc::new(NoopEvalPolicy), Arc::new(DefaultFactory));
/// let mut registry = ProfileRegistry::new();
/// let profile = install_cl_lite_profile(&mut cx, &mut registry).unwrap();
/// assert!(registry.profile(&profile.symbol).is_some());
/// ```
pub fn install_cl_lite_profile(
    cx: &mut Cx,
    registry: &mut ProfileRegistry,
) -> Result<LanguageProfile> {
    install_language_profile(
        cx,
        registry,
        cl_lite_profile(),
        &[
            sim_lib_binding::publish_binding_organ_claims_for_lib,
            sim_lib_control::publish_control_organ_claims_for_lib,
            sim_lib_dispatch::publish_dispatch_organ_claims_for_lib,
            sim_lib_namespace::publish_namespace_organ_claims_for_lib,
            sim_lib_mutation::publish_mutation_organ_claims_for_lib,
        ],
    )
}