Brummel/AILang
1
0
Fork 0
Code Issues 29 Pull Requests Actions Packages Projects Releases Wiki Activity

iter env-unify.1: rustdoc fixup (re-anchor check_in_workspace doc, drop transient task tag)

Browse Source
This commit is contained in:
Brummel
2026-05-10 02:19:24 +02:00
parent d6870d7a62
commit 92b94afa2a
2 changed files with 17 additions and 18 deletions
Download Patch File Download Diff File Expand all files Collapse all files
crates/ailang-check/src/lib.rs
+13 -13
View File
@@ -1072,19 +1072,6 @@ pub fn build_module_globals(
Ok(out)
}
/// Checks the bodies of a single module in the context of the workspace.
/// Assumption: `module_globals` already contains the top-level symbol
/// tables for **all** modules of the workspace (including `m`) — built
/// by `build_module_globals`.
///
/// Returns **all** errors found in this module, in def declaration order:
///
/// - The type-def setup phase is fail-fast within the module (duplicate
/// type or ctor names corrupt the env, so we abort *this* module after
/// the first such error and let the outer loop continue with others).
/// - The body-check phase is multi-diagnose: each def is checked
/// independently against the assembled env; a failure is recorded and
/// the next def is attempted.
/// Build the workspace-flat `Env` shared by `check_in_workspace`
/// and `mono::build_workspace_env`. Populates every field whose
/// contents are derivable from `Workspace` alone — no
@@ -1171,6 +1158,19 @@ pub fn build_check_env(ws: &Workspace) -> Env {
env
}
/// Checks the bodies of a single module in the context of the workspace.
/// Assumption: `module_globals` already contains the top-level symbol
/// tables for **all** modules of the workspace (including `m`) — built
/// by `build_module_globals`.
///
/// Returns **all** errors found in this module, in def declaration order:
///
/// - The type-def setup phase is fail-fast within the module (duplicate
/// type or ctor names corrupt the env, so we abort *this* module after
/// the first such error and let the outer loop continue with others).
/// - The body-check phase is multi-diagnose: each def is checked
/// independently against the assembled env; a failure is recorded and
/// the next def is attempted.
fn check_in_workspace(
m: &Module,
ws: &Workspace,
crates/ailang-check/src/mono.rs
+4 -5
View File
@@ -355,12 +355,11 @@ pub(crate) fn mono_target_key(t: &MonoTarget) -> (String, String, String) {
)
}
/// Iter 22b.3 / 2026-05-10 unify: thin wrapper over
/// [`crate::build_check_env`]. The mono pass needs the same
/// workspace-flat `Env` shape as `check_in_workspace`, so both
/// Thin wrapper over [`crate::build_check_env`]. The mono pass needs
/// the same workspace-flat `Env` shape as `check_in_workspace`, so both
/// share one source of truth. Per-fn entry points
/// (`collect_mono_targets`, `collect_residuals_ordered`) clone the
/// env and apply per-fn overlay (current_module, globals from
/// (`collect_mono_targets`, `collect_residuals_ordered`) clone the env
/// and apply per-fn overlay (current_module, globals from
/// module_globals, imports from module_imports, rigid_vars).
pub fn build_workspace_env(ws: &Workspace) -> crate::Env {
crate::build_check_env(ws)