Module semantics

Expand description

Value model, environment, and type resolution — a port of the reference implementation’s semantics.ts.

Structs§

cmp_path: Canonical path order (§7.2): segment-wise, indices numerically, names and keys lexicographically, a prefix first.
compile_pattern
dot_spellable: dot-spellable (§3.11, §4.3): identifier-shaped and not a literal keyword
err
err_code
is_rec
js_num_str: ECMAScript Number::toString for finite doubles (shortest round trip)
json_str
key_of_vec
parse_path: A path string from a document: .name is a member, ["…"] a bracketed segment (a map key, or a member the dot cannot spell — the canonical walk, §7.5, decides which is legal where), [n] an index.
path_str
pattern_error
read_json
rec_members
rec_type
seg_text
sort_diags: §6.7: evaluation- and validation-time diagnostics sort by (path, id), path in canonical order; stable
subst_expr
subst_type
ty
value_eq
vec_combine
vec_of_key