From 90e336391673ac1cf9ff582e98e35faf89a8f09d Mon Sep 17 00:00:00 2001
From: Péter Diviánszky <divipp@gmail.com>
Date: Sun, 1 May 2016 19:13:34 +0200
Subject: improve pretty print layout & show desugared source code in .out
 files

---
 testdata/typesig.reject.out | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'testdata/typesig.reject.out')

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
-- 
cgit v1.2.3