fix: function aliases were leading to free uniques

This commit is contained in:
microproofs 2024-03-09 12:46:12 -05:00
parent bffa678178
commit b761d6a76d
1 changed files with 1 additions and 4 deletions

View File

@ -3880,10 +3880,7 @@ impl<'a> CodeGenerator<'a> {
Some(term) Some(term)
} else { } else {
let name = if (*func_name == name let name = if !module.is_empty() {
|| name == format!("{module}_{func_name}"))
&& !module.is_empty()
{
format!("{module}_{func_name}{variant_name}") format!("{module}_{func_name}{variant_name}")
} else { } else {
format!("{func_name}{variant_name}") format!("{func_name}{variant_name}")