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

inline subs operations more aggressively

Browse source
This commit is contained in:
Folkert 2022-03-20 00:34:59 +01:00
parent 3f07afe3b5
commit f4cb2ec254
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C
3 changed files with 87 additions and 23 deletions
Download patch file Download diff file Expand all files Collapse all files

20
compiler/types/src/subs.rs
View file

@ -1406,8 +1406,8 @@ impl Subs {
/// Unions two keys without the possibility of failure.
pub fn union(&mut self, left: Variable, right: Variable, desc: Descriptor) {
let l_root = self.utable.get_root_key(left);
let r_root = self.utable.get_root_key(right);
let l_root = self.utable.inlined_get_root_key(left);
let r_root = self.utable.inlined_get_root_key(right);
// NOTE this swapping is intentional! most of our unifying commands are based on the elm
// source, but unify_roots is from `ena`, not the elm source. Turns out that they have
@ -1451,23 +1451,25 @@ impl Subs {
&self.utable.probe_value_ref(key).value.content
}
#[inline(always)]
pub fn get_root_key(&mut self, key: Variable) -> Variable {
self.utable.get_root_key(key)
self.utable.inlined_get_root_key(key)
}
#[inline(always)]
pub fn get_root_key_without_compacting(&self, key: Variable) -> Variable {
self.utable.get_root_key_without_compacting(key)
}
#[inline(always)]
pub fn set(&mut self, key: Variable, r_value: Descriptor) {
let l_key = self.utable.get_root_key(key);
let l_key = self.utable.inlined_get_root_key(key);
self.utable.update_value(l_key, |node| node.value = r_value);
}
pub fn set_rank(&mut self, key: Variable, rank: Rank) {
let l_key = self.utable.get_root_key(key);
let l_key = self.utable.inlined_get_root_key(key);
self.utable.update_value(l_key, |node| {
node.value.rank = rank;
@ -1475,7 +1477,7 @@ impl Subs {
}
pub fn set_mark(&mut self, key: Variable, mark: Mark) {
let l_key = self.utable.get_root_key(key);
let l_key = self.utable.inlined_get_root_key(key);
self.utable.update_value(l_key, |node| {
node.value.mark = mark;
@ -1483,7 +1485,7 @@ impl Subs {
}
pub fn set_rank_mark(&mut self, key: Variable, rank: Rank, mark: Mark) {
let l_key = self.utable.get_root_key(key);
let l_key = self.utable.inlined_get_root_key(key);
self.utable.update_value(l_key, |node| {
node.value.rank = rank;
@ -1492,7 +1494,7 @@ impl Subs {
}
pub fn set_content(&mut self, key: Variable, content: Content) {
let l_key = self.utable.get_root_key(key);
let l_key = self.utable.inlined_get_root_key(key);
self.utable.update_value(l_key, |node| {
node.value.content = content;
@ -1508,7 +1510,7 @@ impl Subs {
#[inline(always)]
pub fn get_rank_set_mark(&mut self, key: Variable, mark: Mark) -> Rank {
let l_key = self.utable.get_root_key(key);
let l_key = self.utable.inlined_get_root_key(key);
let mut rank = Rank::NONE;