From a991e1bf0af8b1883bfe0e1a5f46a4cd19e5a28d Mon Sep 17 00:00:00 2001 From: DieMyst Date: Tue, 24 Oct 2023 17:27:08 +0700 Subject: [PATCH] try different fix --- model/raw/src/main/scala/aqua/raw/ops/RawTag.scala | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/model/raw/src/main/scala/aqua/raw/ops/RawTag.scala b/model/raw/src/main/scala/aqua/raw/ops/RawTag.scala index 96f64cfd..a035ccdc 100644 --- a/model/raw/src/main/scala/aqua/raw/ops/RawTag.scala +++ b/model/raw/src/main/scala/aqua/raw/ops/RawTag.scala @@ -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)) ) )