language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-30 15:21:12 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Only add builtins if they're referenced

Browse source
This commit is contained in:
Richard Feldman 2020-04-25 09:32:03 -04:00
parent afbe871e6d
commit d2a9d24626
1 changed files with 16 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

18
compiler/can/src/builtins.rs
View file

@ -1,6 +1,7 @@
use crate::def::Def; use crate::def::Def;
use crate::expr::Expr; use crate::expr::Expr;
use crate::expr::Recursive; use crate::expr::Recursive;
use crate::procedure::References;
use roc_collections::all::SendMap; use roc_collections::all::SendMap;
use roc_module::ident::TagName; use roc_module::ident::TagName;
use roc_module::symbol::Symbol; use roc_module::symbol::Symbol;
@ -25,8 +26,21 @@ use roc_types::subs::{VarStore, Variable};
/// delegates to the compiler-internal List.getUnsafe function to do the actual /// delegates to the compiler-internal List.getUnsafe function to do the actual
/// lookup (if the bounds check passed). That internal function is hardcoded in code gen, /// lookup (if the bounds check passed). That internal function is hardcoded in code gen,
/// which works fine because it doesn't involve any open tag unions. /// which works fine because it doesn't involve any open tag unions.
pub fn builtin_defs(var_store: &VarStore) -> Vec<Def> { pub fn builtin_defs(var_store: &VarStore, refs: &References) -> Vec<Def> {
vec![/*list_get(var_store),*/ list_first(var_store)] let is_used = |symbol| refs.calls.contains(&symbol) || refs.lookups.contains(&symbol);
//
let mut builtins = Vec::with_capacity(20);
if is_used(Symbol::LIST_GET) {
builtins.push(list_get(var_store));
}
if is_used(Symbol::LIST_FIRST) {
builtins.push(list_first(var_store));
}
builtins
} }
/// List.get : List elem, Int -> Result elem [ OutOfBounds ]* /// List.get : List elem, Int -> Result elem [ OutOfBounds ]*