Orkuncakilkaya
8cf4b3fed6
- the function that calls every reducer (and the action queue) is written in the program's own file: in the first action's file it belonged to that module, depended on every module with a reducer, and joined a game's modules into one 69-module cycle (examples/actions/modules and a ludic deps case hold it); the state instances, the queue and the reducers make no deps edges - ludicc --check / ludic build --check lower the program too and write nothing, so the code writer's refusals are in it: a bind to a function that is gone, an unknown name (and the checker now refuses fn <missing> itself); rejects bind_missing_fn, unknown_name, registry_count_key - def R count is refused: its constant would be PREFIX_COUNT, the registry's size - a file's module, package, trust and numbers-float are tables, and from the check on the lookups of functions, enums, records, globals and externs are too (tagged enums kept as a list): Maroon Lake's check-only build went from about 20 s to 7 s including lowering, its IR from about 2 minutes to under 10 s; duplicate declarations are found by table, not a pair of loops - threads.ludic's pool check gives each call a little work, so a busy machine cannot run them all on the caller before a worker wakes (it failed one run in three under load) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
76 lines
3.3 KiB
Text
76 lines
3.3 KiB
Text
# emit_vis.ludic — L3: module scope. A file belongs to the module its own `module NAME` line or
|
|
# its importer's names (frontend/parse.ludic, module_of); a file in no module is public. A
|
|
# reference from one module to another module's function, global, record or event needs that
|
|
# declaration `export`ed, and - when the referring module says `uses` - that module (or, for a
|
|
# package with no module line, the package) named there (frontend/modules.ludic), unless the
|
|
# referring module is a friend of it (a test harness). The engine's runtime needs no naming.
|
|
# LUDIC_VIS_REPORT=1 prints every violation as `vis: <file>: <module>.<name>` (a private name) or
|
|
# `uses: <file>: ...` (a module not in the uses list) and goes on, so a tool can add the exports
|
|
# and the uses a codebase needs before the rule is switched on for it.
|
|
var g_vis_report: int = -1
|
|
var g_vis_off: bool = false # a port's binding: checked where it is written (ports.ludic)
|
|
function vis_reporting() -> bool {
|
|
if g_vis_report < 0 {
|
|
g_vis_report = 0
|
|
if getenv("LUDIC_VIS_REPORT") != null { g_vis_report = 1 }
|
|
}
|
|
return g_vis_report == 1
|
|
}
|
|
# `what` is the name as written at the reference
|
|
# a generic function's instance is named for its type arguments (grow$int); a message names grow
|
|
function vis_plain(what: pointer) -> pointer {
|
|
var i = 0
|
|
while i < len(what) {
|
|
if what[i] == '$' { return what[0 .. i] }
|
|
i += 1
|
|
}
|
|
return what
|
|
}
|
|
function vis_say(m: pointer) -> void {
|
|
file_write(file_stderr(), m, len(m))
|
|
}
|
|
# does s start with p - without making the slice a comparison of s[0 .. n] would (asked for every
|
|
# reference)
|
|
function str_prefix(s: pointer, p: pointer) -> bool {
|
|
if s == null { return false }
|
|
let n = len(p)
|
|
if len(s) < n { return false }
|
|
var i = 0
|
|
while i < n {
|
|
if s[i] != p[i] { return false }
|
|
i += 1
|
|
}
|
|
return true
|
|
}
|
|
function vis_check(d: Node, what0: pointer) -> void {
|
|
if d == null { return }
|
|
port_check_bound(d)
|
|
# 0.S/0.R: a state's instance, the action queue and a reducer are the runtime's to supply and to
|
|
# call - the code that names them depends on no module for it
|
|
if d.kind == N_VAR and d.uns == 1 and str_prefix(d.s, "state$") and is_state_ty(d.ty) { return }
|
|
if d.kind == N_FN and (str_prefix(d.s, "ludic_reduce__") or is_action_builtin(d.s)) { return }
|
|
deps_edge(d, what0) # LUDIC_DEPS: the graph ludic deps reads (emit_deps.ludic)
|
|
if g_vis_off { return }
|
|
if d.file == null { return }
|
|
let what = vis_plain(what0)
|
|
var here = g_err_file
|
|
if here == null { return }
|
|
let from = module_of(here)
|
|
let uto = module_for_uses(d.file)
|
|
if not (uto == "") and not (from == uto) and not module_friend_of(from, uto) and not module_may_use(from, uto) {
|
|
if vis_reporting() {
|
|
vis_say(`uses: {d.file}:{itoa(d.line)}: {uto}.{what} used from {here} (module {from})\n`)
|
|
} else {
|
|
perr(`{from} uses {uto}.{what} ({d.file}:{itoa(d.line)}): add 'uses {uto}' to {from}'s module line, or take it through a port`)
|
|
}
|
|
}
|
|
let to = module_of(d.file)
|
|
if (to == "") or (from == to) { return }
|
|
if module_friend_of(from, to) { return }
|
|
if d.vis == 1 { return }
|
|
if vis_reporting() {
|
|
vis_say(`vis: {d.file}:{itoa(d.line)}: {to}.{what} used from {here}\n`)
|
|
return
|
|
}
|
|
perr(`{what} is private to module {to}; mark it 'export' where it is declared ({d.file})`)
|
|
}
|