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

cleanup

Browse source
This commit is contained in:
Folkert 2020-11-13 01:59:09 +01:00
parent 8db74298a2
commit 815b942f29
3 changed files with 4 additions and 26 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -1533,30 +1533,6 @@ pub fn rec_defs_help(
vars.push(*fn_var);
// let expr_con = constrain_expr(
// &Env {
// rigids: ftv,
// home: env.home,
// },
// def.loc_expr.region,
// &def.loc_expr.value,
// annotation_expected.clone(),
// );
//
// // ensure expected type unifies with annotated type
// let storage_con = Eq(
// expr_type,
// annotation_expected.clone(),
// Category::Storage(std::file!(), std::line!()),
// def.loc_expr.region,
// );
//
// def_pattern_state.vars.push(expr_var);
// // Open question: where should this constraint live?
// // rigid_info.vars.push(expr_var);
// rigid_info.constraints.push(storage_con);
// TODO investigate if this let can be safely removed
let def_con = exists(
vars,
And(vec![