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

Use variable instead of type

Browse source
This commit is contained in:
Ayaz Hafiz 2022-11-09 11:31:26 -06:00
parent 721c4cb1e6
commit 689fc10308
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
1 changed files with 1 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

6
crates/compiler/constrain/src/pattern.rs
View file

@ -725,11 +725,7 @@ pub fn constrain_pattern(
// This must **always** be a presence constraint, that is enforcing
// `[A k1, B k1] += typeof (A s)`, because we are in a destructure position and not
// all constructors are covered in this branch!
let arg_pattern_type = {
// TODO(types-soa) this is just a variable
let typ = types.from_old_type(&arg_pattern_type);
constraints.push_type(types, typ)
};
let arg_pattern_type = constraints.push_variable(*arg_pattern_var);
let specialized_type_index = {
let typ = types.from_old_type(&(**specialized_def_type));
constraints.push_type(types, typ)