summaryrefslogtreecommitdiff
path: root/testdata/data.out
diff options
context:
space:
mode:
authorPéter Diviánszky <divipp@gmail.com>2016-04-30 00:47:07 +0200
committerPéter Diviánszky <divipp@gmail.com>2016-04-30 00:47:07 +0200
commit1fd867e5beea5b4197f300e2e964c0f6b0035830 (patch)
tree61102cad73ffc7efdbf4ebf589f8ebd7720b3f82 /testdata/data.out
parentb08f6a129c452526b7c2667dcd629028d66ebf0a (diff)
fix pretty print syntax
Diffstat (limited to 'testdata/data.out')
-rw-r--r--testdata/data.out16
1 files changed, 8 insertions, 8 deletions
diff --git a/testdata/data.out b/testdata/data.out
index ac7874a8..3a093bbe 100644
--- a/testdata/data.out
+++ b/testdata/data.out
@@ -2,27 +2,27 @@ main is not found
2------------ trace 2------------ trace
3'Data0 :: Type 3'Data0 :: Type
4Data0 :: 'Data0 4Data0 :: 'Data0
5'Data0Case :: (a :: 'Data0 -> Type) -> a Data0 -> (b :: 'Data0) -> a b 5'Data0Case :: forall (a :: 'Data0 -> Type) -> a Data0 -> forall (b :: 'Data0) -> a b
6match'Data0 :: (a :: Type -> Type) -> a 'Data0 -> (b :: Type) -> a b -> a b 6match'Data0 :: forall (a :: Type -> Type) -> a 'Data0 -> forall b -> a b -> a b
7'Data1 :: Type -> Type -> Type -> Type 7'Data1 :: Type -> Type -> Type -> Type
8Data1 :: forall a b c . a -> b -> c -> 'Data1 a b c 8Data1 :: forall a b c . a -> b -> c -> 'Data1 a b c
9'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 9'Data1Case :: forall a b c . forall (d :: 'Data1 a b c -> Type) -> (forall (e :: a) (f :: b) (g :: c) -> d (Data1 e f g)) -> forall (h :: 'Data1 a b c) -> d h
10match'Data1 :: (a :: Type -> Type) -> ((b :: Type) -> (c :: Type) -> (d :: Type) -> a ('Data1 b c d)) -> (e :: Type) -> a e -> a e 10match'Data1 :: forall (a :: Type -> Type) -> (forall b c d -> a ('Data1 b c d)) -> forall e -> a e -> a e
11'Data2 :: Type 11'Data2 :: Type
12Data21 :: 'Int -> 'Data2 12Data21 :: 'Int -> 'Data2
13Data22 :: 'Int -> 'Int -> 'Data2 13Data22 :: 'Int -> 'Int -> 'Data2
14Data23 :: 'Int -> 'Data2 14Data23 :: 'Int -> 'Data2
15Data24 :: 'Data2 15Data24 :: 'Data2
16'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 16'Data2Case :: forall (a :: 'Data2 -> Type) -> (forall (b :: 'Int) -> a (Data21 b)) -> (forall (c :: 'Int) (d :: 'Int) -> a (Data22 c d)) -> (forall (e :: 'Int) -> a (Data23 e)) -> a Data24 -> forall (f :: 'Data2) -> a f
17match'Data2 :: (a :: Type -> Type) -> a 'Data2 -> (b :: Type) -> a b -> a b 17match'Data2 :: forall (a :: Type -> Type) -> a 'Data2 -> forall b -> a b -> a b
18x :: 'Data2 -> 'Int 18x :: 'Data2 -> 'Int
19y :: 'Data2 -> 'Int 19y :: 'Data2 -> 'Int
20'Data5 :: Type -> Type -> Type -> Type 20'Data5 :: Type -> Type -> Type -> Type
21Data51 :: forall a b c . a -> 'Data5 a b c 21Data51 :: forall a b c . a -> 'Data5 a b c
22Data52 :: forall a b c . a -> b -> c -> 'Data5 a b c 22Data52 :: forall a b c . a -> b -> c -> 'Data5 a b c
23Data53 :: forall a b c . 'Int -> a -> 'Float -> b -> c -> 'Data5 a b c 23Data53 :: forall a b c . 'Int -> a -> 'Float -> b -> c -> 'Data5 a b c
24'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 24'Data5Case :: forall a b c . forall (d :: 'Data5 a b c -> Type) -> (forall (e :: a) -> d (Data51 e)) -> (forall (f :: a) (g :: b) (h :: c) -> d (Data52 f g h)) -> (forall (i :: 'Int) (j :: a) (k :: 'Float) (l :: b) (m :: c) -> d (Data53 i j k l m)) -> forall (n :: 'Data5 a b c) -> d n
25match'Data5 :: (a :: Type -> Type) -> ((b :: Type) -> (c :: Type) -> (d :: Type) -> a ('Data5 b c d)) -> (e :: Type) -> a e -> a e 25match'Data5 :: forall (a :: Type -> Type) -> (forall b c d -> a ('Data5 b c d)) -> forall e -> a e -> a e
26a5 :: forall a b c . 'Data5 a b c -> a 26a5 :: forall a b c . 'Data5 a b c -> a
27b5 :: forall a b c . 'Data5 a b c -> b 27b5 :: forall a b c . 'Data5 a b c -> b
28c5 :: forall a b c . 'Data5 a b c -> c 28c5 :: forall a b c . 'Data5 a b c -> c
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-29 16:35:18 +0000