use get_lambda_set helper

This commit is contained in:
Folkert 2023-04-28 22:01:57 +02:00
parent 4a1ade65fe
commit 4d681821bf
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C

View file

@ -9543,18 +9543,13 @@ fn find_lambda_sets<'a>(
bumpalo::collections::Vec::with_capacity_in(lambda_set_variables.len(), env.arena);
for (variable, lambda_set_id) in lambda_set_variables {
match env.subs.get_content_without_compacting(variable) {
Content::LambdaSet(lambda_set) => {
let raw_function_layout =
RawFunctionLayout::from_var(env, lambda_set.ambient_function)
.value()
.unwrap();
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, raw_function_layout);
answer.push(key);
}
_ => unreachable!(),
}
let key = (lambda_set_id, raw_function_layout);
answer.push(key);
}
answer