fix hash problem

This commit is contained in:
Folkert 2021-06-18 21:16:43 +02:00
parent d894a06290
commit a64f80dbe8
2 changed files with 6 additions and 16 deletions

View file

@ -371,10 +371,8 @@ impl<'a> BorrowInfState<'a> {
arg_layouts,
..
} => {
let top_level = TopLevelFunctionLayout {
arguments: arg_layouts,
result: *ret_layout,
};
let top_level = TopLevelFunctionLayout::new(self.arena, arg_layouts, *ret_layout);
// get the borrow signature of the applied function
let ps = self
.param_map
@ -611,10 +609,7 @@ impl<'a> BorrowInfState<'a> {
Stmt::Ret(z),
) = (v, b)
{
let top_level = TopLevelFunctionLayout {
arguments: arg_layouts,
result: *ret_layout,
};
let top_level = TopLevelFunctionLayout::new(self.arena, arg_layouts, *ret_layout);
if self.current_proc == *g && x == *z {
// anonymous functions (for which the ps may not be known)

View file

@ -687,10 +687,7 @@ impl<'a> Context<'a> {
arg_layouts,
..
} => {
let top_level = TopLevelFunctionLayout {
arguments: arg_layouts,
result: *ret_layout,
};
let top_level = TopLevelFunctionLayout::new(self.arena, arg_layouts, *ret_layout);
// get the borrow signature
let ps = self
@ -979,10 +976,8 @@ impl<'a> Context<'a> {
arg_layouts,
..
} => {
let top_level = TopLevelFunctionLayout {
arguments: arg_layouts,
result: *ret_layout,
};
let top_level =
TopLevelFunctionLayout::new(self.arena, arg_layouts, *ret_layout);
// get the borrow signature
let ps = self