layout fixes

utwente-fmt · Jul 20, 2023 · 07bd995 · 07bd995
1 parent 048dc61
commit 07bd995
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/col/vct/col/ast/lang/JavaParamImpl.scala b/src/col/vct/col/ast/lang/JavaParamImpl.scala
@@ -4,6 +4,6 @@ import vct.col.ast.JavaParam
 import vct.col.print.{Ctx, Doc, Text}
 
 trait JavaParamImpl[G] { this: JavaParam[G] =>
-  override def layout(implicit ctx: Ctx): Doc = Text(t + " " + name)
+  override def layout(implicit ctx: Ctx): Doc = t.show <+> name
 
 }
diff --git a/src/col/vct/col/ast/type/TUnionImpl.scala b/src/col/vct/col/ast/type/TUnionImpl.scala
@@ -4,6 +4,6 @@ import vct.col.ast.TUnion
 import vct.col.print.{Ctx, Doc}
 
 trait TUnionImpl[G] { this: TUnion[G] =>
-  override def layout(implicit ctx: Ctx): Doc =  Doc.spread(types)
+  override def layout(implicit ctx: Ctx): Doc =  Doc.fold(types)(_ <+> "|" <+> _)
 
 }