This commit is contained in:
DieMyst 2023-10-25 18:50:02 +07:00
parent 01bb347ad8
commit 75bb3a834e

View File

@ -301,6 +301,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))
)
)