improve pretty print layout & show desugared source code in .out files

1 files changed, 4 insertions, 2 deletions

diff --git a/testdata/typesig.reject.out b/testdata/typesig.reject.out
index 909ee06d..aa062c93 100644
--- a/testdata/typesig.reject.out
+++ b/testdata/typesig.reject.out
@@ -1,11 +1,13 @@
-focus checkMetas: \(a :: Type) -> (\(b :: Type) -> primFix a b) \(a := Type) -> \(c :: Type) -> <<HERE>>
+focus checkMetas: \(a :: Type) -> (\(b :: Type) -> primFix a b)
+  \(a := Type) -> \(c :: Type) -> <<HERE>>
 \(d :: Type ~ _a) (e :: _a ~ X) -> typeAnn _a (labend X)
 ------------ trace
 'X :: Type
 X :: X
 'XCase :: forall (a :: X -> Type) -> a 'X -> forall (b :: X) -> a b
 match'X :: forall (a :: Type -> Type) -> a X -> forall b -> a b -> a b
-!focus checkMetas: \(a :: Type) -> (\(b :: Type) -> primFix a b) \(a := Type) -> \(c :: Type) -> <<HERE>>
+!focus checkMetas: \(a :: Type) -> (\(b :: Type) -> primFix a b)
+  \(a := Type) -> \(c :: Type) -> <<HERE>>
 \(d :: Type ~ _a) (e :: _a ~ X) -> typeAnn _a (labend X)
 ------------ tooltips
 testdata/typesig.reject.lc 4:6-4:7  Type