roc-lang/roc
1
1
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2024-09-22 08:17:40 +03:00
Code Issues Packages Projects Releases Wiki Activity

use empty array for empty DefTypes sequence

Browse Source
This commit is contained in:
Folkert 2022-03-05 21:51:20 +01:00
parent c7c9a90d65
commit 587c89e003
No known key found for this signature in database
GPG Key ID: 1F17F6FFD112B97C
1 changed files with 8 additions and 20 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

28
compiler/constrain/src/expr.rs
View File

@ -1194,13 +1194,7 @@ fn constrain_when_branch(
// must introduce the headers from the pattern before constraining the guard // must introduce the headers from the pattern before constraining the guard
let state_constraints = constraints.and_constraint(state.constraints); let state_constraints = constraints.and_constraint(state.constraints);
let inner = constraints.let_constraint( let inner = constraints.let_constraint([], [], [], guard_constraint, ret_constraint);
[],
[],
SendMap::default(),
guard_constraint,
ret_constraint,
);
constraints.let_constraint([], state.vars, state.headers, state_constraints, inner) constraints.let_constraint([], state.vars, state.headers, state_constraints, inner)
} else { } else {
@ -1546,13 +1540,7 @@ fn constrain_def(
); );
let cons = [ let cons = [
constraints.let_constraint( constraints.let_constraint([], [], [], Constraint::True, ret_constraint),
[],
[],
SendMap::default(),
Constraint::True,
ret_constraint,
),
// Store type into AST vars. We use Store so errors aren't reported twice // Store type into AST vars. We use Store so errors aren't reported twice
constraints.store(signature, expr_var, std::file!(), std::line!()), constraints.store(signature, expr_var, std::file!(), std::line!()),
]; ];
@ -1605,7 +1593,7 @@ fn constrain_def_make_constraint(
let def_con = constraints.let_constraint( let def_con = constraints.let_constraint(
[], [],
new_infer_variables, new_infer_variables,
SendMap::default(), // empty, because our functions have no arguments! [], // empty, because our functions have no arguments!
and_constraint, and_constraint,
expr_con, expr_con,
); );
@ -1783,8 +1771,8 @@ pub fn rec_defs_help(
// TODO investigate if this let can be safely removed // TODO investigate if this let can be safely removed
let def_con = constraints.let_constraint( let def_con = constraints.let_constraint(
[], [],
[], // empty because Roc function defs have no args [], // empty because Roc function defs have no args
SendMap::default(), // empty because Roc function defs have no args [], // empty because Roc function defs have no args
Constraint::True, // I think this is correct, once again because there are no args Constraint::True, // I think this is correct, once again because there are no args
expr_con, expr_con,
); );
@ -1974,7 +1962,7 @@ pub fn rec_defs_help(
rigid_info.constraints.push(constraints.let_constraint( rigid_info.constraints.push(constraints.let_constraint(
new_rigid_variables, new_rigid_variables,
def_pattern_state.vars, def_pattern_state.vars,
SendMap::default(), // no headers introduced (at this level) [], // no headers introduced (at this level)
def_con, def_con,
Constraint::True, Constraint::True,
)); ));
@ -1995,7 +1983,7 @@ pub fn rec_defs_help(
constraints.let_constraint( constraints.let_constraint(
[], [],
[], [],
SendMap::default(), [],
Constraint::True, Constraint::True,
ret_constraint, ret_constraint,
), ),
@ -2009,7 +1997,7 @@ pub fn rec_defs_help(
rigid_info.constraints.push(constraints.let_constraint( rigid_info.constraints.push(constraints.let_constraint(
new_rigid_variables, new_rigid_variables,
def_pattern_state.vars, def_pattern_state.vars,
SendMap::default(), // no headers introduced (at this level) [], // no headers introduced (at this level)
def_con, def_con,
Constraint::True, Constraint::True,
)); ));