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

Merge pull request #3501 from rtfeldman/derive-tag-union-encoding-gen

Browse source 
Derive tag union encoding gen
This commit is contained in:
Folkert de Vries 2022-07-15 15:57:41 +02:00 • committed by GitHub
commit 460b822caa
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
11 changed files with 1381 additions and 516 deletions
Download patch file Download diff file Expand all files Collapse all files

5
crates/compiler/solve/src/solve.rs
View file

@ -1417,10 +1417,9 @@ fn solve(
subs.commit_snapshot(snapshot);
introduce(subs, rank, pools, &vars);
if !must_implement_ability.is_empty() {
internal_error!("Didn't expect ability vars to land here");
}
deferred_obligations
.add(must_implement_ability, AbilityImplError::IncompleteAbility);
deferred_uls_to_resolve.union(lambda_sets_to_specialize);
// Case 1: unify error types, but don't check exhaustiveness.