From 07bd995d1db0036d09458a37b60bfdf7da32d1b2 Mon Sep 17 00:00:00 2001
From: Petra van den Bos
Date: Thu, 20 Jul 2023 14:17:25 +0200
Subject: [PATCH] layout fixes
---
src/col/vct/col/ast/lang/JavaParamImpl.scala | 2 +-
src/col/vct/col/ast/type/TUnionImpl.scala | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/col/vct/col/ast/lang/JavaParamImpl.scala b/src/col/vct/col/ast/lang/JavaParamImpl.scala
index 9f3b2e1b99..0bbc63523b 100644
--- 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
index af0f33e3e1..6aabe6796f 100644
--- 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)(_ <+> "|" <+> _)
}
\ No newline at end of file