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

fix issue with rigids

Browse source
This commit is contained in:
Folkert 2020-11-11 22:51:28 +01:00
parent 0ba612ecdb
commit 22592eff80
1 changed files with 9 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

18
compiler/constrain/src/expr.rs
View file

@ -1120,7 +1120,7 @@ fn constrain_def(env: &Env, def: &Def, body_con: Constraint) -> Constraint {
..
},
Type::Function(arg_types, _, _),
) if false => {
) => {
let expected = annotation_expected;
let region = def.loc_expr.region;
@ -1172,19 +1172,19 @@ fn constrain_def(env: &Env, def: &Def, body_con: Constraint) -> Constraint {
}
{
// record the correct type in pattern_var
let pattern_type = Type::Variable(*pattern_var);
pattern_types.push(pattern_type.clone());
// NOTE: because we perform an equality with part of the signature
// this constraint must be to the def_pattern_state's constraints
def_pattern_state.vars.push(*pattern_var);
pattern_types.push(Type::Variable(*pattern_var));
state.vars.push(*pattern_var);
state.constraints.push(Constraint::Eq(
pattern_type.clone(),
let pattern_con = Eq(
Type::Variable(*pattern_var),
Expected::NoExpectation(loc_ann.clone()),
Category::Storage(std::file!(), std::line!()),
loc_pattern.region,
));
);
vars.push(*pattern_var);
def_pattern_state.constraints.push(pattern_con);
}
}