language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-08-01 10:52:18 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

More signature coalescing

Browse source
This commit is contained in:
Ayaz Hafiz 2022-10-25 12:44:48 -05:00
parent 2be70e6524
commit 2e07cc6c14
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
1 changed files with 0 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

4
crates/compiler/constrain/src/expr.rs
View file

@ -3551,7 +3551,6 @@ fn rec_defs_help(
hybrid_and_flex_info.vars.extend(new_infer_variables);
// TODO there is a signature_index below, can we coalesce?
let signature_index = constraints.push_type(signature.clone());
let annotation_expected = FromAnnotation(
@ -3642,7 +3641,6 @@ fn rec_defs_help(
vars.push(*fn_var);
let signature_index = constraints.push_type(signature);
let state_constraints = constraints.and_constraint(state.constraints);
let expected_index = constraints.push_expected_type(expected);
let cons = [
@ -3710,8 +3708,6 @@ fn rec_defs_help(
let ret_constraint =
attach_resolution_constraints(constraints, env, ret_constraint);
let signature_index = constraints.push_type(signature);
let cons = [
ret_constraint,
// Store type into AST vars. We use Store so errors aren't reported twice