···88888989 let namespace = extract_namespace(&file_path);
90909191- // Create workspace with prelude for inline type resolution
9292- let mut workspace = match mlf_lang::Workspace::with_prelude() {
9191+ // Create workspace with standard library for inline type resolution
9292+ let mut workspace = match mlf_lang::Workspace::with_std() {
9393 Ok(ws) => ws,
9494 Err(e) => {
9595- errors.push((file_path.display().to_string(), format!("Failed to load prelude: {:?}", e)));
9595+ errors.push((file_path.display().to_string(), format!("Failed to load standard library: {:?}", e)));
9696 continue;
9797 }
9898 };