scalafmt

polystat · Jan 30, 2022 · b5b90b2 · b5b90b2
1 parent f0b7440
commit b5b90b2
Showing 1 changed file with 7 additions and 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
@@ -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]] =