roc-lang/roc
1
1
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2024-09-20 07:17:50 +03:00
Code Issues Packages Projects Releases Wiki Activity

remove as Fx from platform types

Browse Source
This commit is contained in:
Folkert 2023-08-08 16:37:47 +02:00
parent f23120078a
commit 3d86ccf167
No known key found for this signature in database
GPG Key ID: 1F17F6FFD112B97C
5 changed files with 15 additions and 21 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
crates/cli_testing_examples/benchmarks/platform/main.roc
View File

@ -5,5 +5,5 @@ platform "benchmarks"
imports [Task.{ Task }]
provides [mainForHost]
mainForHost : Task {} [] as Fx
mainForHost : Task {} []
mainForHost = main

28
crates/compiler/mono/src/ir.rs
View File

@ -3099,10 +3099,18 @@ fn specialize_host_specializations<'a>(
let mut aliases = BumpMap::default();
for (id, _, raw_function_layout) in hels {
for (var, id) in hels {
let symbol = env.unique_symbol();
let lambda_name = LambdaName::no_niche(symbol);
let mut layout_env =
layout::Env::from_components(layout_cache, env.subs, env.arena, env.target_info);
let lambda_set = env.subs.get_lambda_set(var);
let raw_function_layout =
RawFunctionLayout::from_var(&mut layout_env, lambda_set.ambient_function)
.value()
.unwrap();
let (key, (top_level, proc)) = generate_host_exposed_function(
env,
procs,
@ -10004,7 +10012,7 @@ impl LambdaSetId {
fn find_lambda_sets<'a>(
env: &mut crate::layout::Env<'a, '_>,
initial: Variable,
) -> Vec<'a, (LambdaSetId, Variable, RawFunctionLayout<'a>)> {
) -> MutMap<Variable, LambdaSetId> {
let mut stack = bumpalo::collections::Vec::new_in(env.arena);
// ignore the lambda set of top-level functions
@ -10020,21 +10028,7 @@ fn find_lambda_sets<'a>(
}
}
let lambda_set_variables = find_lambda_sets_help(env.subs, stack);
let mut answer =
bumpalo::collections::Vec::with_capacity_in(lambda_set_variables.len(), env.arena);
for (variable, lambda_set_id) in lambda_set_variables {
let lambda_set = env.subs.get_lambda_set(variable);
let raw_function_layout = RawFunctionLayout::from_var(env, lambda_set.ambient_function)
.value()
.unwrap();
let key = (lambda_set_id, variable, raw_function_layout);
answer.push(key);
}
answer
find_lambda_sets_help(env.subs, stack)
}
pub fn find_lambda_sets_help(

2
examples/cli/cli-platform/main.roc
View File

@ -5,5 +5,5 @@ platform "cli"
imports [Task.{ Task }]
provides [mainForHost]
mainForHost : Task {} [] as Fx
mainForHost : Task {} []
mainForHost = main

2
examples/cli/effects-platform/main.roc
View File

@ -5,5 +5,5 @@ platform "effects"
imports [pf.Effect]
provides [mainForHost]
mainForHost : Effect.Effect {} as Fx
mainForHost : Effect.Effect {}
mainForHost = main

2
examples/cli/false-interpreter/platform/main.roc
View File

@ -5,5 +5,5 @@ platform "false-interpreter"
imports [Task.{ Task }]
provides [mainForHost]
mainForHost : Str -> Task {} [] as Fx
mainForHost : Str -> Task {} []
mainForHost = \file -> main file