language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-08-04 04:08:19 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 7

Mono IR checker: check wanted function pointer layout

Browse source
This commit is contained in:
Ayaz Hafiz 2023-07-06 15:44:09 -05:00
parent e1c88c6101
commit 13c45151a4
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
1 changed files with 25 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

31
crates/compiler/mono/src/debug/checker.rs
View file

@ -511,14 +511,33 @@ impl<'a, 'r> Ctx<'a, 'r> {
}
&Expr::FunctionPointer { lambda_name } => {
let lambda_symbol = lambda_name.name();
if !self.procs.iter().any(|((name, proc), _)| {
let proc = self.procs.iter().find(|((name, proc), _)| {
*name == lambda_symbol && proc.niche == lambda_name.niche()
}) {
self.problem(ProblemKind::PtrToUndefinedProc {
symbol: lambda_symbol,
});
});
match proc {
None => {
self.problem(ProblemKind::PtrToUndefinedProc {
symbol: lambda_symbol,
});
Some(target_layout)
}
Some(((_, proc_layout), _)) => {
let ProcLayout {
arguments, result, ..
} = proc_layout;
let fn_ptr =
self.interner
.insert_direct_no_semantic(LayoutRepr::FunctionPointer(
FunctionPointer {
args: arguments,
ret: *result,
},
));
Some(fn_ptr)
}
}
Some(target_layout)
}
&Expr::Reset {
symbol,