bynk_check/lib.rs
1//! Bynk's semantic-analysis layer — the crate between `bynk-syntax` and the
2//! emitter.
3//!
4//! Holds name resolution (`resolver`), type checking (`checker`), the registries
5//! the checker dispatches and the LSP reads (`kernel_methods`, `builtin_names`),
6//! the first-party embedded sources (`firstparty`), actor analysis (`actors`),
7//! and the **captured analysis tables** written during resolution/checking:
8//! the binding `index`, inlay `hints`, `expr_types`, and `locals`. These tables
9//! are produced here and *queried* by the IDE layer (`bynk-ide`, a later slice):
10//! captured tables live in `bynk-check`, queries live above it (ADR 0102, and
11//! the crate-decomposition track's check↔IDE seam).
12//!
13//! Extracted from `bynkc` as slice 3 of the crate-decomposition track. Behaviour
14//! is unchanged; `bynkc` depends on this crate and re-exports its modules so its
15//! public API and the emitter/project layers above are untouched.
16
17pub mod actors;
18pub mod builtin_names;
19pub mod checker;
20pub mod expr_types;
21pub mod firstparty;
22pub mod hints;
23pub mod index;
24pub mod kernel_methods;
25pub mod locals;
26pub mod requirements;
27pub mod resolver;
28
29pub use firstparty::Platform;