Update hkmc2/shared/src/main/scala/hkmc2/semantics/Elaborator.scala

Co-authored-by: Lionel Parreaux <lionel.parreaux@gmail.com>

Author: FlandiaYingman

hkmc2/shared/src/main/scala/hkmc2/semantics/Elaborator.scala

@@ -429,10 +429,10 @@ extends Importer:
                 case N => (N, ctx)
               // Add parameters to context
               val (pss, newCtx) = 
-                td.paramLists.foldLeft(Ls[ParamList](), newCtx1)({case ((pss, ctx), ps) => 
-                  val (qs, newCtx) = params(ps)(using ctx)
-                  (pss :+ ParamList(ParamListFlags.empty, qs), newCtx)
-                })
+                td.paramLists.foldLeft(Ls[ParamList](), newCtx1):
+                  case ((pss, ctx), ps) => 
+                    val (qs, newCtx) = params(ps)(using ctx)
+                    (pss :+ ParamList(ParamListFlags.empty, qs), newCtx)
               val b = rhs.map(term(_)(using newCtx))
               val r = FlowSymbol(s"‹result of ${sym}›", nextUid)
               val tdf = TermDefinition(k, sym, pss, td.signature.orElse(newSignatureTrees.get(id.name)).map(term), b, r)