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

use consts for owned/borrowed

Browse Source
This commit is contained in:
Folkert 2021-05-14 22:56:42 +02:00
parent 8d108634a2
commit 5440632dc5
1 changed files with 7 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
compiler/mono/src/borrow.rs
View File

@ -6,6 +6,9 @@ use roc_collections::all::{MutMap, MutSet};
use roc_module::low_level::LowLevel;
use roc_module::symbol::Symbol;
pub const OWNED: bool = false;
pub const BORROWED: bool = true;
fn should_borrow_layout(layout: &Layout) -> bool {
match layout {
Layout::Closure(_, _, _) => false,
@ -622,7 +625,7 @@ impl<'a> BorrowInfState<'a> {
pub fn foreign_borrow_signature(arena: &Bump, arity: usize) -> &[bool] {
// NOTE this means that Roc is responsible for cleaning up resources;
// the host cannot (currently) take ownership
let all = bumpalo::vec![in arena; true; arity];
let all = bumpalo::vec![in arena; BORROWED; arity];
all.into_bump_slice()
}
@ -630,11 +633,11 @@ pub fn lowlevel_borrow_signature(arena: &Bump, op: LowLevel) -> &[bool] {
use LowLevel::*;
// TODO is true or false more efficient for non-refcounted layouts?
let irrelevant = false;
let irrelevant = OWNED;
let function = irrelevant;
let closure_data = irrelevant;
let owned = false;
let borrowed = true;
let owned = OWNED;
let borrowed = BORROWED;
// Here we define the borrow signature of low-level operations
//