try different fix

This commit is contained in:
DieMyst 2023-10-24 17:27:08 +07:00
parent 66bcd39abe
commit a991e1bf0a

View File

@ -292,8 +292,7 @@ case class ClosureTag(
override def renameExports(map: Map[String, String]): RawTag =
copy(func =
func.copy(
name = map.getOrElse(func.name, func.name),
arrow = func.arrow.copy(ret = func.arrow.ret.map(_.renameVars(map)))
name = map.getOrElse(func.name, func.name)
)
)
@ -301,6 +300,7 @@ case class ClosureTag(
copy(
func.copy(arrow =
func.arrow.copy(
ret = func.arrow.ret.map(_.map(f)),
body = func.arrow.body.map(_.mapValues(f))
)
)