mirror of
https://github.com/roc-lang/roc.git
synced 2025-09-29 06:44:46 +00:00
remove unused function
This commit is contained in:
parent
8b3b677439
commit
09ad286123
6 changed files with 5 additions and 65 deletions
|
@ -112,65 +112,6 @@ pub fn constrain_imported_values(
|
||||||
)
|
)
|
||||||
}
|
}
|
||||||
|
|
||||||
pub fn load_builtin_aliases<I>(
|
|
||||||
aliases: I,
|
|
||||||
body_con: Constraint,
|
|
||||||
var_store: &mut VarStore,
|
|
||||||
) -> Constraint
|
|
||||||
where
|
|
||||||
I: IntoIterator<Item = (Symbol, BuiltinAlias)>,
|
|
||||||
{
|
|
||||||
use Constraint::*;
|
|
||||||
|
|
||||||
for (symbol, builtin_alias) in aliases {
|
|
||||||
let mut free_vars = FreeVars::default();
|
|
||||||
|
|
||||||
let actual =
|
|
||||||
roc_types::solved_types::to_type(&builtin_alias.typ, &mut free_vars, var_store);
|
|
||||||
|
|
||||||
let mut vars = Vec::with_capacity(builtin_alias.vars.len());
|
|
||||||
|
|
||||||
for (loc_lowercase, index) in builtin_alias.vars.iter().zip(1..) {
|
|
||||||
let var = if let Some(result) = free_vars.unnamed_vars.get(&VarId::from_u32(index)) {
|
|
||||||
result
|
|
||||||
} else {
|
|
||||||
panic!(
|
|
||||||
"var_id {:?} was not instantiated in the body of {:?} : {:?} (is it phantom?)",
|
|
||||||
index, symbol, &builtin_alias
|
|
||||||
)
|
|
||||||
};
|
|
||||||
|
|
||||||
vars.push(Located::at(
|
|
||||||
loc_lowercase.region,
|
|
||||||
(loc_lowercase.value.clone(), *var),
|
|
||||||
));
|
|
||||||
}
|
|
||||||
|
|
||||||
let mut hidden_variables = MutSet::default();
|
|
||||||
hidden_variables.extend(actual.variables());
|
|
||||||
|
|
||||||
for loc_var in vars.iter() {
|
|
||||||
hidden_variables.remove(&loc_var.value.1);
|
|
||||||
}
|
|
||||||
|
|
||||||
let alias = Alias {
|
|
||||||
vars,
|
|
||||||
hidden_variables,
|
|
||||||
region: builtin_alias.region,
|
|
||||||
uniqueness: None,
|
|
||||||
typ: actual,
|
|
||||||
};
|
|
||||||
}
|
|
||||||
|
|
||||||
Let(Box::new(LetConstraint {
|
|
||||||
rigid_vars: Vec::new(),
|
|
||||||
flex_vars: Vec::new(),
|
|
||||||
def_types: SendMap::default(),
|
|
||||||
defs_constraint: True,
|
|
||||||
ret_constraint: body_con,
|
|
||||||
}))
|
|
||||||
}
|
|
||||||
|
|
||||||
pub fn constrain_imported_aliases(
|
pub fn constrain_imported_aliases(
|
||||||
aliases: MutMap<Symbol, Alias>,
|
aliases: MutMap<Symbol, Alias>,
|
||||||
body_con: Constraint,
|
body_con: Constraint,
|
||||||
|
|
|
@ -10,7 +10,7 @@ use roc_can::operator;
|
||||||
use roc_can::scope::Scope;
|
use roc_can::scope::Scope;
|
||||||
use roc_collections::all::{ImMap, ImSet, MutMap, SendMap, SendSet};
|
use roc_collections::all::{ImMap, ImSet, MutMap, SendMap, SendSet};
|
||||||
use roc_constrain::expr::constrain_expr;
|
use roc_constrain::expr::constrain_expr;
|
||||||
use roc_constrain::module::{constrain_imported_values, load_builtin_aliases, Import};
|
use roc_constrain::module::{constrain_imported_values, Import};
|
||||||
use roc_module::ident::Ident;
|
use roc_module::ident::Ident;
|
||||||
use roc_module::symbol::{IdentIds, Interns, ModuleId, ModuleIds, Symbol};
|
use roc_module::symbol::{IdentIds, Interns, ModuleId, ModuleIds, Symbol};
|
||||||
use roc_parse::ast::{self, Attempting};
|
use roc_parse::ast::{self, Attempting};
|
||||||
|
@ -19,7 +19,6 @@ use roc_parse::parser::{loc, Fail, Parser, State};
|
||||||
use roc_problem::can::Problem;
|
use roc_problem::can::Problem;
|
||||||
use roc_region::all::{Located, Region};
|
use roc_region::all::{Located, Region};
|
||||||
use roc_solve::solve;
|
use roc_solve::solve;
|
||||||
use roc_types::solved_types::BuiltinAlias;
|
|
||||||
use roc_types::subs::{Content, Subs, VarStore, Variable};
|
use roc_types::subs::{Content, Subs, VarStore, Variable};
|
||||||
use roc_types::types::Type;
|
use roc_types::types::Type;
|
||||||
use std::hash::Hash;
|
use std::hash::Hash;
|
||||||
|
|
|
@ -10,7 +10,7 @@ use roc_can::operator;
|
||||||
use roc_can::scope::Scope;
|
use roc_can::scope::Scope;
|
||||||
use roc_collections::all::{ImMap, ImSet, MutMap, SendMap, SendSet};
|
use roc_collections::all::{ImMap, ImSet, MutMap, SendMap, SendSet};
|
||||||
use roc_constrain::expr::constrain_expr;
|
use roc_constrain::expr::constrain_expr;
|
||||||
use roc_constrain::module::{constrain_imported_values, load_builtin_aliases, Import};
|
use roc_constrain::module::{constrain_imported_values, Import};
|
||||||
use roc_module::ident::Ident;
|
use roc_module::ident::Ident;
|
||||||
use roc_module::symbol::{IdentIds, Interns, ModuleId, ModuleIds, Symbol};
|
use roc_module::symbol::{IdentIds, Interns, ModuleId, ModuleIds, Symbol};
|
||||||
use roc_parse::ast::{self, Attempting};
|
use roc_parse::ast::{self, Attempting};
|
||||||
|
|
|
@ -9,7 +9,7 @@ use roc_can::operator;
|
||||||
use roc_can::scope::Scope;
|
use roc_can::scope::Scope;
|
||||||
use roc_collections::all::{ImMap, MutMap, SendMap, SendSet};
|
use roc_collections::all::{ImMap, MutMap, SendMap, SendSet};
|
||||||
use roc_constrain::expr::constrain_expr;
|
use roc_constrain::expr::constrain_expr;
|
||||||
use roc_constrain::module::{constrain_imported_values, load_builtin_aliases, Import};
|
use roc_constrain::module::{constrain_imported_values, Import};
|
||||||
use roc_module::symbol::{IdentIds, Interns, ModuleId, ModuleIds};
|
use roc_module::symbol::{IdentIds, Interns, ModuleId, ModuleIds};
|
||||||
use roc_parse::ast::{self, Attempting};
|
use roc_parse::ast::{self, Attempting};
|
||||||
use roc_parse::blankspace::space0_before;
|
use roc_parse::blankspace::space0_before;
|
||||||
|
|
|
@ -10,7 +10,7 @@ use roc_can::operator;
|
||||||
use roc_can::scope::Scope;
|
use roc_can::scope::Scope;
|
||||||
use roc_collections::all::{ImMap, ImSet, MutMap, SendMap, SendSet};
|
use roc_collections::all::{ImMap, ImSet, MutMap, SendMap, SendSet};
|
||||||
use roc_constrain::expr::constrain_expr;
|
use roc_constrain::expr::constrain_expr;
|
||||||
use roc_constrain::module::{constrain_imported_values, load_builtin_aliases, Import};
|
use roc_constrain::module::{constrain_imported_values, Import};
|
||||||
use roc_module::ident::Ident;
|
use roc_module::ident::Ident;
|
||||||
use roc_module::symbol::{IdentIds, Interns, ModuleId, ModuleIds, Symbol};
|
use roc_module::symbol::{IdentIds, Interns, ModuleId, ModuleIds, Symbol};
|
||||||
use roc_parse::ast::{self, Attempting};
|
use roc_parse::ast::{self, Attempting};
|
||||||
|
|
|
@ -10,7 +10,7 @@ use roc_can::operator;
|
||||||
use roc_can::scope::Scope;
|
use roc_can::scope::Scope;
|
||||||
use roc_collections::all::{ImMap, ImSet, MutMap, SendMap, SendSet};
|
use roc_collections::all::{ImMap, ImSet, MutMap, SendMap, SendSet};
|
||||||
use roc_constrain::expr::constrain_expr;
|
use roc_constrain::expr::constrain_expr;
|
||||||
use roc_constrain::module::{constrain_imported_values, load_builtin_aliases, Import};
|
use roc_constrain::module::{constrain_imported_values, Import};
|
||||||
use roc_module::ident::Ident;
|
use roc_module::ident::Ident;
|
||||||
use roc_module::symbol::{IdentIds, Interns, ModuleId, ModuleIds, Symbol};
|
use roc_module::symbol::{IdentIds, Interns, ModuleId, ModuleIds, Symbol};
|
||||||
use roc_parse::ast::{self, Attempting};
|
use roc_parse::ast::{self, Attempting};
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue