summaryrefslogtreecommitdiff
path: root/testdata/data.out
diff options
context:
space:
mode:
authorPéter Diviánszky <divipp@gmail.com>2016-05-01 16:51:22 +0200
committerPéter Diviánszky <divipp@gmail.com>2016-05-01 16:51:22 +0200
commit1a7544763729938e7009ead1e375e9bbf413afb0 (patch)
tree62af78c28cd91597fe40391d4020cb47f697334a /testdata/data.out
parent11b4a98c3fc7014cdef123fea4081d58e8edbaa2 (diff)
better namespace handling in pretty print
Diffstat (limited to 'testdata/data.out')
-rw-r--r--testdata/data.out44
1 files changed, 22 insertions, 22 deletions
diff --git a/testdata/data.out b/testdata/data.out
index 3a093bbe..bf9da023 100644
--- a/testdata/data.out
+++ b/testdata/data.out
@@ -1,31 +1,31 @@
1main is not found 1main is not found
2------------ trace 2------------ trace
3'Data0 :: Type 3'Data0 :: Type
4Data0 :: 'Data0 4Data0 :: Data0
5'Data0Case :: forall (a :: 'Data0 -> Type) -> a Data0 -> forall (b :: 'Data0) -> a b 5'Data0Case :: forall (a :: Data0 -> Type) -> a 'Data0 -> forall (b :: Data0) -> a b
6match'Data0 :: forall (a :: Type -> Type) -> a 'Data0 -> forall b -> 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 . 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 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 :: forall (a :: Type -> Type) -> (forall b c d -> a ('Data1 b c d)) -> forall e -> 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 :: 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 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 :: forall (a :: Type -> Type) -> a 'Data2 -> forall b -> 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 . 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 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 :: forall (a :: Type -> Type) -> (forall b c d -> a ('Data5 b c d)) -> forall e -> 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
29------------ tooltips 29------------ tooltips
30testdata/data.lc 1:6-1:11 Type 30testdata/data.lc 1:6-1:11 Type
31testdata/data.lc 1:6-1:19 Type 31testdata/data.lc 1:6-1:19 Type
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-29 16:35:01 +0000