language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-10-01 07:41:12 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Fix bug storing linker data for generated procs

Browse source
This commit is contained in:
Brian Carroll 2021-12-24 13:09:28 +00:00
parent 0fbe49dce9
commit a0afb64cb0
1 changed files with 10 additions and 11 deletions
Download patch file Download diff file Expand all files Collapse all files

21
compiler/mono/src/code_gen_help.rs
View file

@ -41,6 +41,7 @@ impl From<&ModifyRc> for HelperOp {
} }
} }
#[derive(Debug)]
struct SpecializedProc<'a> { struct SpecializedProc<'a> {
op: HelperOp, op: HelperOp,
layout: Layout<'a>, layout: Layout<'a>,
@ -285,8 +286,6 @@ impl<'a> CodeGenHelp<'a> {
) -> Symbol { ) -> Symbol {
use HelperOp::*; use HelperOp::*;
let mut new_procs_info = Vec::new_in(self.arena);
let found = self let found = self
.specialized_procs .specialized_procs
.iter() .iter()
@ -297,7 +296,7 @@ impl<'a> CodeGenHelp<'a> {
} }
let (proc_symbol, proc_layout) = self.create_proc_symbol(ident_ids, ctx, &layout); let (proc_symbol, proc_layout) = self.create_proc_symbol(ident_ids, ctx, &layout);
new_procs_info.push((proc_symbol, proc_layout)); ctx.new_linker_data.push((proc_symbol, proc_layout));
// Generate the body of the Proc // Generate the body of the Proc
let (ret_layout, body) = match ctx.op { let (ret_layout, body) = match ctx.op {
@ -342,7 +341,7 @@ impl<'a> CodeGenHelp<'a> {
ident_ids: &mut IdentIds, ident_ids: &mut IdentIds,
ctx: &mut Context<'a>, ctx: &mut Context<'a>,
layout: &Layout<'a>, layout: &Layout<'a>,
) -> (Symbol, Option<ProcLayout<'a>>) { ) -> (Symbol, ProcLayout<'a>) {
let layout_name = layout_debug_name(layout); let layout_name = layout_debug_name(layout);
let debug_name = format!( let debug_name = format!(
"#help{:?}_{}_{}", "#help{:?}_{}_{}",
@ -353,19 +352,19 @@ impl<'a> CodeGenHelp<'a> {
let proc_symbol: Symbol = self.create_symbol(ident_ids, &debug_name); let proc_symbol: Symbol = self.create_symbol(ident_ids, &debug_name);
let proc_layout = match ctx.op { let proc_layout = match ctx.op {
HelperOp::Inc => Some(ProcLayout { HelperOp::Inc => ProcLayout {
arguments: self.arena.alloc([*layout, self.layout_isize]), arguments: self.arena.alloc([*layout, self.layout_isize]),
result: LAYOUT_UNIT, result: LAYOUT_UNIT,
}), },
HelperOp::Dec => Some(ProcLayout { HelperOp::Dec => ProcLayout {
arguments: self.arena.alloc([*layout]), arguments: self.arena.alloc([*layout]),
result: LAYOUT_UNIT, result: LAYOUT_UNIT,
}), },
HelperOp::DecRef => None, HelperOp::DecRef => unreachable!("No generated Proc for DecRef"),
HelperOp::Eq => Some(ProcLayout { HelperOp::Eq => ProcLayout {
arguments: self.arena.alloc([*layout, *layout]), arguments: self.arena.alloc([*layout, *layout]),
result: LAYOUT_BOOL, result: LAYOUT_BOOL,
}), },
}; };
(proc_symbol, proc_layout) (proc_symbol, proc_layout)