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

test: fix env-pin globals assertion (builtins seed operators workspace-flat)

Browse Source
This commit is contained in:
Brummel
2026-05-10 02:14:38 +02:00
parent 42a7ed7673
commit cd08f53315
1 changed files with 10 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
crates/ailang-check/tests/env_construction_pin.rs
+10 -1
View File
@@ -206,7 +206,16 @@ fn build_check_env_matches_inline_seeding() {
// Per-call overlay fields must NOT be seeded by the helper.
assert_eq!(env_helper.current_module, "", "current_module is overlay");
assert!(env_helper.globals.is_empty(), "globals is overlay");
// env.globals — partially workspace-flat (builtins operators
// installed by `builtins::install`) and partially overlay
// (per-module fns seeded by callers). The helper carries only
// the workspace-flat half; key-set must match the inline
// reproduction at this point.
assert_eq!(
env_helper.globals.keys().collect::<Vec<_>>(),
env_inline.globals.keys().collect::<Vec<_>>(),
"env.globals key-set differs (workspace-flat half from builtins)"
);
assert!(env_helper.imports.is_empty(), "imports is overlay");
assert!(env_helper.rigid_vars.is_empty(), "rigid_vars is overlay");
}