This commit is contained in:
DieMyst 2023-10-25 18:41:22 +07:00
parent 2570e65656
commit 01bb347ad8

View File

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