language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-10-03 16:44:33 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Rename Rank::outermost to Rank::toplevel

Browse source
This commit is contained in:
Richard Feldman 2019-12-21 19:47:11 -05:00
parent c68f18c6ca
commit 760de2f328
2 changed files with 7 additions and 13 deletions
Download patch file Download diff file Expand all files Collapse all files

10
src/solve.rs
View file

@ -75,7 +75,7 @@ pub fn run(
vars_by_symbol: vars_by_symbol.clone(),
mark: Mark::none().next(),
};
let rank = Rank::outermost();
let rank = Rank::toplevel();
solve(
vars_by_symbol,
@ -593,7 +593,7 @@ fn adjust_rank_content(
Structure(flat_type) => {
match flat_type {
Apply { args, .. } => {
let mut rank = Rank::outermost();
let mut rank = Rank::toplevel();
for var in args {
rank = rank.max(adjust_rank(subs, young_mark, visit_mark, group_rank, var));
@ -614,7 +614,7 @@ fn adjust_rank_content(
EmptyRecord => {
// from elm-compiler: THEORY: an empty record never needs to get generalized
Rank::outermost()
Rank::toplevel()
}
Record(fields, ext_var) => {
@ -631,9 +631,9 @@ fn adjust_rank_content(
}
Alias(_, _, args, _) => {
let mut rank = Rank::outermost();
let mut rank = Rank::toplevel();
// from elm-compiler: THEORY: anything in the real_var would be Rank::outermost()
// from elm-compiler: THEORY: anything in the real_var would be Rank::toplevel()
for (_, var) in args {
rank = rank.max(adjust_rank(subs, young_mark, visit_mark, group_rank, var));
}