switch to ansi-wl-pprint

10 files changed, 27 insertions, 27 deletions

diff --git a/testdata/language-features/adt/adt01.out b/testdata/language-features/adt/adt01.out
index 65af037c..f832724c 100644
--- a/testdata/language-features/adt/adt01.out
+++ b/testdata/language-features/adt/adt01.out
@@ -1 +1 @@
-True
\ No newline at end of file
+True
\ No newline at end of file
diff --git a/testdata/language-features/adt/adt02.out b/testdata/language-features/adt/adt02.out
index 65af037c..f832724c 100644
--- a/testdata/language-features/adt/adt02.out
+++ b/testdata/language-features/adt/adt02.out
@@ -1 +1 @@
-True
\ No newline at end of file
+True
\ No newline at end of file
diff --git a/testdata/language-features/adt/adt02.reject.out b/testdata/language-features/adt/adt02.reject.out
index 48ca3cb9..ab363b68 100644
--- a/testdata/language-features/adt/adt02.reject.out
+++ b/testdata/language-features/adt/adt02.reject.out
@@ -1,20 +1,20 @@
 type error: can not unify
-'Bool
+'Bool
 with
-'Int
+'Int
 
 in proj
 
 ------------ trace
-'Data3 :: Type
-Data3 :: 'Bool -> 'Char -> 'Bool->'Data3
-Data31 :: 'Int -> 'String -> 'Int->'Data3
-'Data3Case :: (a : 'Data3->Type) -> ((b:'Bool) -> (c:'Char) -> (d:'Bool) -> a (Data3 b c d)) -> ((e:'Int) -> (f:'String) -> (g:'Int) -> a (Data31 e f g)) -> (h:'Data3) -> a h
-match'Data3 :: (a : Type->Type) -> a 'Data3 -> (b:Type) -> a b -> a b
+'Data3 :: Type
+Data3 :: 'Bool -> 'Char -> 'Bool->'Data3
+Data31 :: 'Int -> 'String -> 'Int->'Data3
+'Data3Case :: (a : 'Data3->Type) -> ((b:'Bool) -> (c:'Char) -> (d:'Bool) -> a (Data3 b c d)) -> ((e:'Int) -> (f:'String) -> (g:'Int) -> a (Data31 e f g)) -> (h:'Data3) -> a h
+match'Data3 :: (a : Type->Type) -> a 'Data3 -> (b:Type) -> a b -> a b
 !type error: can not unify
-'Bool
+'Bool
 with
-'Int
+'Int
 
 in proj
 
diff --git a/testdata/language-features/adt/adt03.reject.out b/testdata/language-features/adt/adt03.reject.out
index 0091dc83..70c0c4e7 100644
--- a/testdata/language-features/adt/adt03.reject.out
+++ b/testdata/language-features/adt/adt03.reject.out
@@ -2,7 +2,7 @@ can't find: a in testdata/language-features/adt/adt03.reject.lc:2:20:
 data Data3 = Data3 a b c
                    ^
 ------------ trace
-'Data3 :: Type
+'Data3 :: Type
 !can't find: a in testdata/language-features/adt/adt03.reject.lc:2:20:
 data Data3 = Data3 a b c
                    ^
diff --git a/testdata/language-features/adt/adt04.reject.out b/testdata/language-features/adt/adt04.reject.out
index bae22981..85b91c2c 100644
--- a/testdata/language-features/adt/adt04.reject.out
+++ b/testdata/language-features/adt/adt04.reject.out
@@ -2,7 +2,7 @@ can't find: a in testdata/language-features/adt/adt04.reject.lc:2:27:
 data Data3 = Data3 { x :: a , y :: b , z :: c }
                           ^
 ------------ trace
-'Data3 :: Type
+'Data3 :: Type
 !can't find: a in testdata/language-features/adt/adt04.reject.lc:2:27:
 data Data3 = Data3 { x :: a , y :: b , z :: c }
                           ^
diff --git a/testdata/language-features/adt/adt05.out b/testdata/language-features/adt/adt05.out
index 97b40b5c..bedb86f2 100644
--- a/testdata/language-features/adt/adt05.out
+++ b/testdata/language-features/adt/adt05.out
@@ -1 +1 @@
-main
\ No newline at end of file
+main
\ No newline at end of file
diff --git a/testdata/language-features/adt/gadt01.out b/testdata/language-features/adt/gadt01.out
index 65af037c..f832724c 100644
--- a/testdata/language-features/adt/gadt01.out
+++ b/testdata/language-features/adt/gadt01.out
@@ -1 +1 @@
-True
\ No newline at end of file
+True
\ No newline at end of file
diff --git a/testdata/language-features/adt/gadt01.reject.out b/testdata/language-features/adt/gadt01.reject.out
index a993010b..39a78fe6 100644
--- a/testdata/language-features/adt/gadt01.reject.out
+++ b/testdata/language-features/adt/gadt01.reject.out
@@ -1,6 +1,6 @@
 illegal data definition (parameters are not uniform)
 ------------ trace
-'M3 :: Type -> 'String->Type
+'M3 :: Type -> 'String->Type
 !illegal data definition (parameters are not uniform)
 ------------ tooltips
 testdata/language-features/adt/gadt01.reject.lc 5:6-5:8  Type -> String->Type
diff --git a/testdata/language-features/adt/gadt03.reject.out b/testdata/language-features/adt/gadt03.reject.out
index cb6cd714..da32d15b 100644
--- a/testdata/language-features/adt/gadt03.reject.out
+++ b/testdata/language-features/adt/gadt03.reject.out
@@ -1,10 +1,10 @@
 illegal data definition (parameters are not uniform)
 ------------ trace
-'M2 :: Type -> 'String->Type
-Value2 :: {a} -> a -> {b:'String} -> 'M2 a b
-'M2Case :: {a} -> (b : (c:'String) -> 'M2 a c -> Type) -> ((d:a) -> {e:'String} -> b e (Value2 d e)) -> {f:'String} -> (g : 'M2 a f) -> b f g
-match'M2 :: (a : Type->Type) -> ((b:Type) -> (c:'String) -> a ('M2 b c)) -> (d:Type) -> a d -> a d
-'M3 :: Type -> 'String->Type
+'M2 :: Type -> 'String->Type
+Value2 :: {a} -> a -> {b:'String} -> 'M2 a b
+'M2Case :: {a} -> (b : (c:'String) -> 'M2 a c -> Type) -> ((d:a) -> {e:'String} -> b e (Value2 d e)) -> {f:'String} -> (g : 'M2 a f) -> b f g
+match'M2 :: (a : Type->Type) -> ((b:Type) -> (c:'String) -> a ('M2 b c)) -> (d:Type) -> a d -> a d
+'M3 :: Type -> 'String->Type
 !illegal data definition (parameters are not uniform)
 ------------ tooltips
 testdata/language-features/adt/gadt03.reject.lc 2:6-2:8  Type | Type -> String->Type
diff --git a/testdata/language-features/adt/gadt04.reject.out b/testdata/language-features/adt/gadt04.reject.out
index 1871c4aa..a1aa694f 100644
--- a/testdata/language-features/adt/gadt04.reject.out
+++ b/testdata/language-features/adt/gadt04.reject.out
@@ -5,12 +5,12 @@ already defined Value at testdata/language-features/adt/gadt04.reject.lc:6:3:
   Value :: a -> forall m . M a m
   ^^^^^
 ------------ trace
-'M :: Type -> 'String->Type
-Value :: {a} -> a -> {b:'String} -> 'M a b
-'MCase :: (a : (b:Type) -> (c:'String) -> 'M b c -> Type) -> ({d} -> (e:d) -> {f:'String} -> a d f (Value d e f)) -> {g} -> {h:'String} -> (i : 'M g h) -> a g h i
-match'M :: (a : Type->Type) -> ((b:Type) -> (c:'String) -> a ('M b c)) -> (d:Type) -> a d -> a d
-'M2 :: Type -> 'String->Type
-Value :: {a} -> a -> {b:'String} -> 'M2 a b
+'M :: Type -> 'String->Type
+Value :: {a} -> a -> {b:'String} -> 'M a b
+'MCase :: (a : (b:Type) -> (c:'String) -> 'M b c -> Type) -> ({d} -> (e:d) -> {f:'String} -> a d f (Value d e f)) -> {g} -> {h:'String} -> (i : 'M g h) -> a g h i
+match'M :: (a : Type->Type) -> ((b:Type) -> (c:'String) -> a ('M b c)) -> (d:Type) -> a d -> a d
+'M2 :: Type -> 'String->Type
+Value :: {a} -> a -> {b:'String} -> 'M2 a b
 !already defined Value at testdata/language-features/adt/gadt04.reject.lc:6:3:
   Value :: a -> forall m . M2 a m
   ^^^^^