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

eliminate type

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

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

@ -667,7 +667,6 @@ pub fn constrain_pattern(
} => { } => {
// Suppose we are constraining the pattern \@Id who, where Id n := [Id U64 n] // Suppose we are constraining the pattern \@Id who, where Id n := [Id U64 n]
let (arg_pattern_var, loc_arg_pattern) = &**argument; let (arg_pattern_var, loc_arg_pattern) = &**argument;
let arg_pattern_type = Type::Variable(*arg_pattern_var);
let arg_pattern_type_index = constraints.push_variable(*arg_pattern_var); let arg_pattern_type_index = constraints.push_variable(*arg_pattern_var);
let opaque_type = { let opaque_type = {
@ -682,7 +681,7 @@ pub fn constrain_pattern(
.collect(), .collect(),
lambda_set_variables: lambda_set_variables.clone(), lambda_set_variables: lambda_set_variables.clone(),
infer_ext_in_output_types: vec![], infer_ext_in_output_types: vec![],
actual: Box::new(arg_pattern_type.clone()), actual: Box::new(Type::Variable(*arg_pattern_var)),
kind: AliasKind::Opaque, kind: AliasKind::Opaque,
}); });
constraints.push_type(types, typ) constraints.push_type(types, typ)