language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-27 13:59:08 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

from_layout

Browse source
This commit is contained in:
J.Teeuwissen 2023-01-09 18:19:21 +01:00
parent b28b32cdc4
commit c2e14864ab
No known key found for this signature in database
GPG key ID: DB5F7A1ED8D478AD
1 changed files with 11 additions and 15 deletions
Download patch file Download diff file Expand all files Collapse all files

22
crates/compiler/mono/src/borrow.rs
View file

@ -21,12 +21,16 @@ pub enum Ownership {
Borrowed, Borrowed,
} }
impl Ownership {
/// For reference-counted types (lists, (big) strings, recursive tags), owning a value /// For reference-counted types (lists, (big) strings, recursive tags), owning a value
/// means incrementing its reference count. Hence, we prefer borrowing for these types /// means incrementing its reference count. Hence, we prefer borrowing for these types
fn should_borrow_layout(layout: &Layout) -> bool { fn from_layout(layout: &Layout) -> Self {
layout.is_refcounted() match layout.is_refcounted() {
true => Ownership::Borrowed,
false => Ownership::Owned,
}
}
} }
pub fn infer_borrow<'a>( pub fn infer_borrow<'a>(
arena: &'a Bump, arena: &'a Bump,
procs: &MutMap<(Symbol, ProcLayout<'a>), Proc<'a>>, procs: &MutMap<(Symbol, ProcLayout<'a>), Proc<'a>>,
@ -226,11 +230,7 @@ impl<'a> ParamMap<'a> {
fn init_borrow_params(arena: &'a Bump, ps: &'a [Param<'a>]) -> &'a [Param<'a>] { fn init_borrow_params(arena: &'a Bump, ps: &'a [Param<'a>]) -> &'a [Param<'a>] {
Vec::from_iter_in( Vec::from_iter_in(
ps.iter().map(|p| Param { ps.iter().map(|p| Param {
ownership: if p.layout.is_refcounted() { ownership: Ownership::from_layout(&p.layout),
Ownership::Borrowed
} else {
Ownership::Owned
},
layout: p.layout, layout: p.layout,
symbol: p.symbol, symbol: p.symbol,
}), }),
@ -242,11 +242,7 @@ impl<'a> ParamMap<'a> {
fn init_borrow_args(arena: &'a Bump, ps: &'a [(Layout<'a>, Symbol)]) -> &'a [Param<'a>] { fn init_borrow_args(arena: &'a Bump, ps: &'a [(Layout<'a>, Symbol)]) -> &'a [Param<'a>] {
Vec::from_iter_in( Vec::from_iter_in(
ps.iter().map(|(layout, symbol)| Param { ps.iter().map(|(layout, symbol)| Param {
ownership: if should_borrow_layout(layout) { ownership: Ownership::from_layout(layout),
Ownership::Borrowed
} else {
Ownership::Owned
},
layout: *layout, layout: *layout,
symbol: *symbol, symbol: *symbol,
}), }),