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

Fix some typos

Browse source
This commit is contained in:
Ayaz Hafiz 2022-07-01 16:55:07 -04:00 • committed by ayazhafiz
parent 74a55664dd
commit cb2f85ed95
No known key found for this signature in database
GPG key ID: B443F7A3030C9AED
2 changed files with 6 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

10
crates/compiler/mono/src/ir.rs
View file

@ -458,7 +458,7 @@ impl<'a> Proc<'a> {
pub struct HostSpecializations<'a> {
/// Not a bumpalo vec because bumpalo is not thread safe
/// Separate array so we can search for membership quickly
/// If it's a value and not a lambda, the value is recorded as LambdaName::thunk.
/// If it's a value and not a lambda, the value is recorded as LambdaName::no_niche.
symbol_or_lambdas: std::vec::Vec<LambdaName<'a>>,
storage_subs: StorageSubs,
/// For each symbol, what types to specialize it for, points into the storage_subs
@ -542,7 +542,7 @@ impl<'a> HostSpecializations<'a> {
pub struct ExternalSpecializations<'a> {
/// Not a bumpalo vec because bumpalo is not thread safe
/// Separate array so we can search for membership quickly
/// If it's a value and not a lambda, the value is recorded as LambdaName::thunk.
/// If it's a value and not a lambda, the value is recorded as LambdaName::no_niche.
pub symbol_or_lambda: std::vec::Vec<LambdaName<'a>>,
storage_subs: StorageSubs,
/// For each symbol, what types to specialize it for, points into the storage_subs
@ -606,7 +606,7 @@ impl<'a> ExternalSpecializations<'a> {
#[derive(Clone, Debug)]
pub struct Suspended<'a> {
pub store: StorageSubs,
/// LambdaName::thunk if it's a value
/// LambdaName::no_niche if it's a value
pub symbol_or_lambdas: Vec<'a, LambdaName<'a>>,
pub layouts: Vec<'a, ProcLayout<'a>>,
pub variables: Vec<'a, Variable>,
@ -3008,6 +3008,8 @@ fn specialize_external<'a>(
};
// I'm not sure how to handle the closure case, does it ever occur?
debug_assert!(matches!(captured_symbols, CapturedSymbols::None));
let proc = Proc {
name: lambda_name,
args: &[],
@ -5655,7 +5657,7 @@ fn tag_union_to_function<'a>(
ext_var,
});
// Lambda does not capture anything, can't be multimorphic
// Lambda does not capture anything, can't have a captures niche
let lambda_name = LambdaName::no_niche(proc_symbol);
let inserted = procs.insert_anonymous(

3
crates/compiler/mono/src/layout.rs
View file

@ -3074,9 +3074,6 @@ fn dict_layout_from_key_value<'a>(
)))
}
pub trait FreshMultimorphicSymbol: FnMut() -> Symbol {}
impl<T> FreshMultimorphicSymbol for T where T: FnMut() -> Symbol {}
pub fn list_layout_from_elem<'a>(
env: &mut Env<'a, '_>,
element_var: Variable,