Orkuncakilkaya
42deb76c28
--emit-schema FILE writes the compiler's resolved view once the program type-checks: every
record (fields, types, defaults as written, docs, places, attributes), every registry with its
entries in their final order after the open-registry merge (key, constant, index, file:line:col
of the entry and of each field value, and which file contributed which keys), every const, and
the zero-argument functions a fn value can name. Deterministic, schema_version 1; the runtime is
left out. `ludic schema [file] [-o FILE]` wraps it.
--check --diagnostics=json prints every error as one JSON array on stdout: the checker's and the
module rules' all, a parse or lowering error as the last. Tokens and nodes now carry a column.
Fields take several @attributes; @Ref(Registry), @OneOf(PREFIX_), @Range(lo, hi), @Unit("..."),
@Asset("..."), @Color on a field and @AppendOnly / @ByKey on a registry change nothing but go into
the schema, and @Ref naming no registry is an error (every one reported). Fixtures:
examples/lang/attributes.ludic, examples/rejected/ref_unknown.ludic, cases in ludic-dev test.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
82 lines
3.5 KiB
Text
82 lines
3.5 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 {
|
|
let um = `{from} uses {uto}.{what} ({d.file}:{itoa(d.line)}): add 'uses {uto}' to {from}'s module line, or take it through a port`
|
|
if g_diag_json { diag_add(here, g_err_line, 0, "error", um) } else { perr(um) }
|
|
}
|
|
}
|
|
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
|
|
}
|
|
let pm = `{what} is private to module {to}; mark it 'export' where it is declared ({d.file})`
|
|
if g_diag_json {
|
|
diag_add(here, g_err_line, 0, "error", pm)
|
|
return
|
|
}
|
|
perr(pm)
|
|
}
|