add parentheses to v-params if t-params present

effekt-lang · Oct 30, 2023 · 98e504b · 98e504b
1 parent b19cc2d
commit 98e504b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/effekt/shared/src/main/scala/effekt/symbols/TypePrinter.scala b/effekt/shared/src/main/scala/effekt/symbols/TypePrinter.scala
@@ -43,7 +43,7 @@ object TypePrinter extends ParenPrettyPrinter {
       val tps = if (tparams.isEmpty) emptyDoc else typeParams(tparams)
       val ps: Doc = (vparams, bparams) match {
         case (Nil, Nil)       => "()"
-        case (List(tpe), Nil) => toDoc(tpe)
+        case (List(tpe), Nil) => if (tparams.isEmpty) toDoc(tpe) else parens(toDoc(tpe))
         case (_, _) =>
           val vps = if (vparams.isEmpty) emptyDoc else parens(hsep(vparams.map(toDoc), comma))
           val bps = if (bparams.isEmpty) emptyDoc else hcat(bparams.map(toDoc).map(braces))