From b5b90b28069f63fd09055894c6889019bf54e285 Mon Sep 17 00:00:00 2001 From: nikololiahim Date: Sun, 30 Jan 2022 23:31:23 +0300 Subject: [PATCH] scalafmt --- .../org/polystat/odin/parser/xmir/XmirToAst.scala | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) diff --git a/parser/src/main/scala/org/polystat/odin/parser/xmir/XmirToAst.scala b/parser/src/main/scala/org/polystat/odin/parser/xmir/XmirToAst.scala index cc7113ff..e2c6adab 100644 --- a/parser/src/main/scala/org/polystat/odin/parser/xmir/XmirToAst.scala +++ b/parser/src/main/scala/org/polystat/odin/parser/xmir/XmirToAst.scala @@ -122,7 +122,7 @@ object XmirToAst { } private[this] def extractName( - attrMap: Map[String, String] + attrMap: Map[String, String] ): Option[EONamedBnd] = { (attrMap.get("bound-to"), attrMap.get("const")) match { case (Some("@"), _) => Some(EODecoration) @@ -137,14 +137,16 @@ object XmirToAst { private[this] def transformEoDot(dot: EODot[EOExprOnly]): EOExprOnly = { Fix(Fix.un(dot.src) match { case src: EODot[EOExprOnly] => dot.copy(src = transformEoDot(src)) - case EOSimpleApp("^") => EOSimpleAppWithLocator[EOExprOnly](dot.name, 1) - case EOSimpleApp("$") => EOSimpleAppWithLocator[EOExprOnly](dot.name, 0) - case EOSimpleAppWithLocator("^", loc) => EOSimpleAppWithLocator[EOExprOnly](dot.name, loc + 1) + case EOSimpleApp("^") => + EOSimpleAppWithLocator[EOExprOnly](dot.name, 1) + case EOSimpleApp("$") => + EOSimpleAppWithLocator[EOExprOnly](dot.name, 0) + case EOSimpleAppWithLocator("^", loc) => + EOSimpleAppWithLocator[EOExprOnly](dot.name, loc + 1) case _ => dot }) } - private[this] def combineErrors[A]( eithers: Seq[Either[String, A]] ): Either[String, Seq[A]] =