language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-27 13:59:08 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Merge remote-tracking branch 'remote/main' into effectful-builtins

Browse source
This commit is contained in:
Luke Boswell 2024-11-13 10:39:08 +11:00
commit 29012f7d7e
No known key found for this signature in database
GPG key ID: F6DB3C9DB47377B0
252 changed files with 3809 additions and 5756 deletions
Download patch file Download diff file Expand all files Collapse all files

6
crates/compiler/load_internal/src/file.rs
View file

@ -1462,6 +1462,8 @@ pub fn load<'a>(
) -> Result<LoadResult<'a>, LoadingProblem<'a>> {
enum Threads {
Single,
#[allow(dead_code)]
Many(usize),
}
@ -3250,7 +3252,7 @@ fn finish_specialization<'a>(
.collect();
let module_id = state.root_id;
let uses_prebuilt_platform = match platform_data {
let needs_prebuilt_host = match platform_data {
Some(data) => data.is_prebuilt,
// If there's no platform data (e.g. because we're building a module)
// then there's no prebuilt platform either!
@ -3273,7 +3275,7 @@ fn finish_specialization<'a>(
timings: state.timings,
toplevel_expects,
glue_layouts: GlueLayouts { getters: vec![] },
uses_prebuilt_platform,
needs_prebuilt_host,
})
}