scalafmt

rescala-lang · Jan 14, 2025 · b57bd42 · b57bd42
1 parent 1d50410
commit b57bd42
Show file tree

Hide file tree

Showing 4 changed files with 13 additions and 7 deletions.
diff --git a/...Examples/Misc JVM/src/main/scala/ex2021encfixtodo/sync/DataManagerConnectionManager.scala b/...Examples/Misc JVM/src/main/scala/ex2021encfixtodo/sync/DataManagerConnectionManager.scala
@@ -71,7 +71,10 @@ class DataManagerConnectionManager[State: { JsonValueCodec, Lattice, Bottom, Has
   }
 
   override def connectToReplica(remoteReplicaId: String, uri: URI): Unit = {
-    dataManager.addLatentConnection(niotcp.connect(niotcp.defaultSocketChannel(new InetSocketAddress(uri.getHost, uri.getPort))))
+    dataManager.addLatentConnection(niotcp.connect(niotcp.defaultSocketChannel(new InetSocketAddress(
+      uri.getHost,
+      uri.getPort
+    ))))
   }
 
   override def stop(): Unit = {

diff --git a/Modules/RDTs/.jvm/src/test/scala/SimplePaxosSuite.scala b/Modules/RDTs/.jvm/src/test/scala/SimplePaxosSuite.scala
@@ -46,8 +46,8 @@ class SimplePaxosSpec[A: Arbitrary](
 
   class PWrite(id: LocalUid, value: A) extends Write(id, value) {
     override def postCondition(
-                                state: Map[LocalUid, Paxos[A]],
-                                result: Try[Map[LocalUid, Paxos[A]]]
+        state: Map[LocalUid, Paxos[A]],
+        result: Try[Map[LocalUid, Paxos[A]]]
     ): Prop =
       val res            = result.get
       val doubleProposal = res(id).accepts.groupBy(_.proposal).find(_._2.size > 1)

diff --git a/Modules/RDTs/src/test/scala/test/rdts/baseproperties/OrderTest.scala b/Modules/RDTs/src/test/scala/test/rdts/baseproperties/OrderTest.scala
@@ -18,8 +18,10 @@ class DotsOrderTest extends OrderTests[Dots](using Dots.partialOrder)(total = fa
 
 // the specification of these tests is nice, but the generators are essentially useless, as it is extremely unlikely
 // that they will produce any kind of comparable values
-abstract class OrderTests[A: {Arbitrary, Lattice}](using pa: PartialOrdering[A])(total: Boolean, agreesWithEquals: Boolean)
-    extends munit.ScalaCheckSuite {
+abstract class OrderTests[A: { Arbitrary, Lattice }](using pa: PartialOrdering[A])(
+    total: Boolean,
+    agreesWithEquals: Boolean
+) extends munit.ScalaCheckSuite {
 
   extension [A](using pa: PartialOrdering[A])(a: A)
     def <(b: A)     = pa.lt(a, b)

diff --git a/Modules/Replication/jvm/src/main/scala/lofi_acl/sync/ConnectionManager.scala b/Modules/Replication/jvm/src/main/scala/lofi_acl/sync/ConnectionManager.scala
@@ -73,7 +73,7 @@ class ConnectionManager[MSG](
         connectionFuture.onComplete {
           case Failure(exception) =>
             running = false
-            if false then  Console.err.println("Stopping listener")
+            if false then Console.err.println("Stopping listener")
           case Success((socket, peerIdentity)) =>
             if peerIdentity == localPublicId
             then // We don't want to connect to ourselves.
@@ -136,7 +136,8 @@ class ConnectionManager[MSG](
         if expectedUser == peerId
         then connectionEstablished(socket, peerId, establishedByRemote = false)
         else {
-          if false then  Console.err.println(s"Expecting $expectedUser at $host:$port but connected to $peerId. Closing socket.")
+          if false then
+            Console.err.println(s"Expecting $expectedUser at $host:$port but connected to $peerId. Closing socket.")
           try {
             socket.close()
           } catch