language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-07-24 06:55:15 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Snapshot/restore pool if lambda sets are disjoint

Browse source
This commit is contained in:
Ayaz Hafiz 2022-12-12 18:06:50 -06:00
parent 0ef0638862
commit 79ee266f66
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
1 changed files with 4 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -1477,11 +1477,13 @@ fn separate_union_lambdas<M: MetaCollector>(
// v1 ~ v2
// => {} -[ foo ({} -[ bar Str ]-> {}),
// foo ({} -[ bar U64 ]-> {}) ] -> {}
let snapshot = env.subs.snapshot();
let subs_snapshot = env.subs.snapshot();
let pool_snapshot = pool.len();
let outcome = unify_pool(env, pool, var1, var2, mode);
if !outcome.mismatches.is_empty() {
env.subs.rollback_to(snapshot);
env.subs.rollback_to(subs_snapshot);
pool.truncate(pool_snapshot);
if env.is_inside_lambda_set {
// If the lambdas being compared are nested, mismatches mean that the
// transitively-outer lambdas should be treated as disjoint in