Skip to main content

sim_lib_lang_lua/
symbols.rs

1use sim_kernel::Symbol;
2
3/// Stable symbol identifying the Lua core language profile.
4pub fn lua_profile_symbol() -> Symbol {
5    Symbol::qualified("lang", "lua-core/v1")
6}
7
8/// Stable symbol for the reader codec the Lua surface decodes through.
9///
10/// The Lua profile reuses the shared algol reader rather than a bespoke one.
11pub fn lua_reader_symbol() -> Symbol {
12    Symbol::qualified("codec", "algol")
13}
14
15/// Stable symbol for the Lua lowering from surface forms to `Expr`.
16pub fn lua_lowering_symbol() -> Symbol {
17    Symbol::qualified("lua", "lowering-core")
18}
19
20/// Stable symbol for the Lua core control/mutation conformance test.
21pub fn lua_conformance_test_symbol() -> Symbol {
22    Symbol::qualified("test", "lua-core-control-mutation")
23}
24
25/// Stable symbol for the Lua coroutine-control fidelity badge.
26pub fn lua_control_fidelity_symbol() -> Symbol {
27    Symbol::qualified("standard/fidelity", "lua-control-coroutines")
28}
29
30/// Stable symbol for the Lua table-mutation fidelity badge.
31pub fn lua_mutation_fidelity_symbol() -> Symbol {
32    Symbol::qualified("standard/fidelity", "lua-mutation-tables")
33}
34
35/// Stable symbol for the Lua full-runtime fidelity badge (limited support).
36pub fn lua_full_runtime_fidelity_symbol() -> Symbol {
37    Symbol::qualified("standard/fidelity", "lua-full-runtime-limited")
38}