language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-29 14:54:47 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 7

update comment

Browse source
This commit is contained in:
Folkert 2021-02-24 21:36:16 +01:00
parent 75ee81db88
commit 7304154452
1 changed files with 7 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

12
compiler/mono/src/ir.rs
View file

@ -5720,11 +5720,13 @@ fn call_by_pointer<'a>(
let is_specialized = procs.specialized.keys().any(|(s, _)| *s == symbol);
if env.is_imported_symbol(symbol) || procs.partial_procs.contains_key(&symbol) || is_specialized
{
// TODO we should be able to call by name in this wrapper for "normal" functions
// but closures, specifically top-level values that are closures (by unification)
// cause issues. The caller (which is here) doesn't know whether the called is a closure
// so we're safe rather than sorry for now. Hopefully we can figure out how to call by name
// more in the future
// anything that is not a thunk can be called by-value in the wrapper
// (the above condition guarantees we're dealing with a top-level symbol)
//
// But thunks cannot be called by-value, since they are not really functions to all parts
// of the system (notably RC insertion). So we still call those by-pointer.
// Luckily such values were top-level originally (in the user code), and can therefore
// not be closures
let is_thunk =
procs.module_thunks.contains(&symbol) || procs.imported_module_thunks.contains(&symbol);