switch to Haskell style syntax in pretty print

1 files changed, 40 insertions, 40 deletions

diff --git a/testdata/data.out b/testdata/data.out
index 1581a0c0..3d54c617 100644
--- a/testdata/data.out
+++ b/testdata/data.out
@@ -2,63 +2,63 @@ main is not found
 ------------ trace
 'Data0 :: Type
 Data0 :: 'Data0
-'Data0Case :: (a : 'Data0->Type) -> a Data0 -> (b:'Data0) -> a b
-match'Data0 :: (a : Type->Type) -> a 'Data0 -> (b:Type) -> a b -> a b
-'Data1 :: Type -> Type -> Type->Type
-Data1 :: {a} -> {b} -> {c} -> a -> b -> c -> 'Data1 a b c
-'Data1Case :: {a} -> {b} -> {c} -> (d : 'Data1 a b c -> Type) -> ((e:a) -> (f:b) -> (g:c) -> d (Data1 e f g)) -> (h : 'Data1 a b c) -> d h
-match'Data1 :: (a : Type->Type) -> ((b:Type) -> (c:Type) -> (d:Type) -> a ('Data1 b c d)) -> (e:Type) -> a e -> a e
+'Data0Case :: (a :: 'Data0 -> Type) -> a Data0 -> (b :: 'Data0) -> a b
+match'Data0 :: (a :: Type -> Type) -> a 'Data0 -> (b :: Type) -> a b -> a b
+'Data1 :: Type -> Type -> Type -> Type
+Data1 :: forall a b c . a -> b -> c -> 'Data1 a b c
+'Data1Case :: forall a b c . (d :: 'Data1 a b c -> Type) -> ((e :: a) -> (f :: b) -> (g :: c) -> d (Data1 e f g)) -> (h :: 'Data1 a b c) -> d h
+match'Data1 :: (a :: Type -> Type) -> ((b :: Type) -> (c :: Type) -> (d :: Type) -> a ('Data1 b c d)) -> (e :: Type) -> a e -> a e
 'Data2 :: Type
-Data21 :: 'Int->'Data2
-Data22 :: 'Int -> 'Int->'Data2
-Data23 :: 'Int->'Data2
+Data21 :: 'Int -> 'Data2
+Data22 :: 'Int -> 'Int -> 'Data2
+Data23 :: 'Int -> 'Data2
 Data24 :: 'Data2
-'Data2Case :: (a : 'Data2->Type) -> ((b:'Int) -> a (Data21 b)) -> ((c:'Int) -> (d:'Int) -> a (Data22 c d)) -> ((e:'Int) -> a (Data23 e)) -> a Data24 -> (f:'Data2) -> a f
-match'Data2 :: (a : Type->Type) -> a 'Data2 -> (b:Type) -> a b -> a b
-x :: 'Data2->'Int
-y :: 'Data2->'Int
-'Data5 :: Type -> Type -> Type->Type
-Data51 :: {a} -> {b} -> {c} -> a -> 'Data5 a b c
-Data52 :: {a} -> {b} -> {c} -> a -> b -> c -> 'Data5 a b c
-Data53 :: {a} -> {b} -> {c} -> 'Int -> a -> 'Float -> b -> c -> 'Data5 a b c
-'Data5Case :: {a} -> {b} -> {c} -> (d : 'Data5 a b c -> Type) -> ((e:a) -> d (Data51 e)) -> ((f:a) -> (g:b) -> (h:c) -> d (Data52 f g h)) -> ((i:'Int) -> (j:a) -> (k:'Float) -> (l:b) -> (m:c) -> d (Data53 i j k l m)) -> (n : 'Data5 a b c) -> d n
-match'Data5 :: (a : Type->Type) -> ((b:Type) -> (c:Type) -> (d:Type) -> a ('Data5 b c d)) -> (e:Type) -> a e -> a e
-a5 :: {a} -> {b} -> {c} -> 'Data5 a b c -> a
-b5 :: {a} -> {b} -> {c} -> 'Data5 a b c -> b
-c5 :: {a} -> {b} -> {c} -> 'Data5 a b c -> c
+'Data2Case :: (a :: 'Data2 -> Type) -> ((b :: 'Int) -> a (Data21 b)) -> ((c :: 'Int) -> (d :: 'Int) -> a (Data22 c d)) -> ((e :: 'Int) -> a (Data23 e)) -> a Data24 -> (f :: 'Data2) -> a f
+match'Data2 :: (a :: Type -> Type) -> a 'Data2 -> (b :: Type) -> a b -> a b
+x :: 'Data2 -> 'Int
+y :: 'Data2 -> 'Int
+'Data5 :: Type -> Type -> Type -> Type
+Data51 :: forall a b c . a -> 'Data5 a b c
+Data52 :: forall a b c . a -> b -> c -> 'Data5 a b c
+Data53 :: forall a b c . 'Int -> a -> 'Float -> b -> c -> 'Data5 a b c
+'Data5Case :: forall a b c . (d :: 'Data5 a b c -> Type) -> ((e :: a) -> d (Data51 e)) -> ((f :: a) -> (g :: b) -> (h :: c) -> d (Data52 f g h)) -> ((i :: 'Int) -> (j :: a) -> (k :: 'Float) -> (l :: b) -> (m :: c) -> d (Data53 i j k l m)) -> (n :: 'Data5 a b c) -> d n
+match'Data5 :: (a :: Type -> Type) -> ((b :: Type) -> (c :: Type) -> (d :: Type) -> a ('Data5 b c d)) -> (e :: Type) -> a e -> a e
+a5 :: forall a b c . 'Data5 a b c -> a
+b5 :: forall a b c . 'Data5 a b c -> b
+c5 :: forall a b c . 'Data5 a b c -> c
 ------------ tooltips
 testdata/data.lc 1:6-1:11  Type
 testdata/data.lc 1:6-1:19  Type
 testdata/data.lc 1:14-1:19  Data0
-testdata/data.lc 3:6-3:11  Type | Type -> Type -> Type->Type
-testdata/data.lc 3:6-3:13  Type -> Type->Type
-testdata/data.lc 3:6-3:15  Type->Type
+testdata/data.lc 3:6-3:11  Type | Type -> Type -> Type -> Type
+testdata/data.lc 3:6-3:13  Type -> Type -> Type
+testdata/data.lc 3:6-3:15  Type -> Type
 testdata/data.lc 3:6-3:17  Type
 testdata/data.lc 3:6-3:25  Type
 testdata/data.lc 3:6-3:31  Type
 testdata/data.lc 3:12-3:13  Type
 testdata/data.lc 3:14-3:15  Type
 testdata/data.lc 3:16-3:17  Type
-testdata/data.lc 3:20-3:25  Data1 g_ f_ e_ | Type | {a} -> {b} -> {c} -> a -> b -> c -> Data1 a b c
+testdata/data.lc 3:20-3:25  Data1 _g _f _e | Type | forall a b c . a -> b -> c -> Data1 a b c
 testdata/data.lc 3:26-3:27  Type
 testdata/data.lc 3:28-3:29  Type
 testdata/data.lc 3:30-3:31  Type
 testdata/data.lc 5:6-5:11  Type
 testdata/data.lc 5:6-6:39  Type
 testdata/data.lc 5:6-8:20  Type
-testdata/data.lc 5:14-5:20  Data2 | Int->Data2 | Type
+testdata/data.lc 5:14-5:20  Data2 | Int -> Data2 | Type
 testdata/data.lc 5:21-5:24  Type
-testdata/data.lc 6:14-6:20  Data2 | Int -> Int->Data2 | Type
-testdata/data.lc 6:23-6:24  Data2->Int
+testdata/data.lc 6:14-6:20  Data2 | Int -> Int -> Data2 | Type
+testdata/data.lc 6:23-6:24  Data2 -> Int
 testdata/data.lc 6:28-6:31  Type
-testdata/data.lc 6:33-6:34  Data2->Int
+testdata/data.lc 6:33-6:34  Data2 -> Int
 testdata/data.lc 6:36-6:39  Type
-testdata/data.lc 7:14-7:20  Data2 | Int->Data2 | Type
+testdata/data.lc 7:14-7:20  Data2 | Int -> Data2 | Type
 testdata/data.lc 7:28-7:31  Type
 testdata/data.lc 8:14-8:20  Data2
-testdata/data.lc 10:6-10:11  Type | Type -> Type -> Type->Type
-testdata/data.lc 10:6-10:14  Type -> Type->Type
-testdata/data.lc 10:6-10:17  Type->Type
+testdata/data.lc 10:6-10:11  Type | Type -> Type -> Type -> Type
+testdata/data.lc 10:6-10:14  Type -> Type -> Type
+testdata/data.lc 10:6-10:17  Type -> Type
 testdata/data.lc 10:6-10:20  Type
 testdata/data.lc 10:6-10:38  Type
 testdata/data.lc 10:6-11:54  Type
@@ -67,16 +67,16 @@ testdata/data.lc 10:6-12:48  Type
 testdata/data.lc 10:12-10:14  Type
 testdata/data.lc 10:15-10:17  Type
 testdata/data.lc 10:18-10:20  Type
-testdata/data.lc 10:23-10:29  Data5 e_ d_ c_ | Type | {a} -> {b} -> {c} -> a -> Data5 a b c
-testdata/data.lc 10:32-10:34  {a} -> {b} -> {c} -> Data5 a b c -> a
+testdata/data.lc 10:23-10:29  Data5 _e _d _c | Type | forall a b c . a -> Data5 a b c
+testdata/data.lc 10:32-10:34  forall a b c . Data5 a b c -> a
 testdata/data.lc 10:36-10:38  Type
-testdata/data.lc 11:23-11:29  Data5 h_ g_ f_ | Type | {a} -> {b} -> {c} -> a -> b -> c -> Data5 a b c
+testdata/data.lc 11:23-11:29  Data5 _h _g _f | Type | forall a b c . a -> b -> c -> Data5 a b c
 testdata/data.lc 11:36-11:38  Type
-testdata/data.lc 11:40-11:42  {a} -> {b} -> {c} -> Data5 a b c -> b
+testdata/data.lc 11:40-11:42  forall a b c . Data5 a b c -> b
 testdata/data.lc 11:44-11:46  Type
-testdata/data.lc 11:48-11:50  {a} -> {b} -> {c} -> Data5 a b c -> c
+testdata/data.lc 11:48-11:50  forall a b c . Data5 a b c -> c
 testdata/data.lc 11:52-11:54  Type
-testdata/data.lc 12:23-12:29  Data5 k_ j_ i_ | Type | {a} -> {b} -> {c} -> Int -> a -> Float -> b -> c -> Data5 a b c
+testdata/data.lc 12:23-12:29  Data5 _k _j _i | Type | forall a b c . Int -> a -> Float -> b -> c -> Data5 a b c
 testdata/data.lc 12:30-12:33  Type
 testdata/data.lc 12:34-12:36  Type
 testdata/data.lc 12:37-12:42  Type