summaryrefslogtreecommitdiff
path: root/testdata/zip01.out
diff options
context:
space:
mode:
authorPéter Diviánszky <divipp@gmail.com>2016-05-01 22:56:42 +0200
committerPéter Diviánszky <divipp@gmail.com>2016-05-01 22:56:42 +0200
commit128cf82881352cc1e9061db97fe3762315cfd0c9 (patch)
tree60f0efc4d587a58359b39edba470fd55a0d8c69a /testdata/zip01.out
parente2ef3e4de33e15627ce21c7c506650b2f8123a1c (diff)
removing coloring from .out files
Diffstat (limited to 'testdata/zip01.out')
-rw-r--r--testdata/zip01.out86
1 files changed, 57 insertions, 29 deletions
diff --git a/testdata/zip01.out b/testdata/zip01.out
index deb2cf14..21511345 100644
--- a/testdata/zip01.out
+++ b/testdata/zip01.out
@@ -13,33 +13,61 @@ zip2
13 . List g -> List h -> List (HList ('Cons g ('Cons h 'Nil))) 13 . List g -> List h -> List (HList ('Cons g ('Cons h 'Nil)))
14main is not found 14main is not found
15------------ trace 15------------ trace
16zip2 :: forall a b . List a -> List b -> List (a, b) 16zip2 :: forall a b . List a -> List b -> List (a, b)
17------------ tooltips 17------------ tooltips
18testdata/zip01.lc 1:9-1:12 Type 18testdata/zip01.lc 1:9-1:12
19testdata/zip01.lc 1:9-1:30 Type 19 Type
20testdata/zip01.lc 1:9-4:40 _a -> _a | forall a b . List a -> List b -> List (a, b) 20testdata/zip01.lc 1:9-1:30
21testdata/zip01.lc 1:10-1:11 _d 21 Type | Type
22testdata/zip01.lc 1:16-1:19 Type 22testdata/zip01.lc 1:9-4:40
23testdata/zip01.lc 1:16-1:30 Type 23 forall a b . List a -> List b -> List (a, b)
24testdata/zip01.lc 1:17-1:18 _c 24testdata/zip01.lc 1:10-1:11
25testdata/zip01.lc 1:23-1:30 Type 25 _d
26testdata/zip01.lc 1:24-1:29 Type 26testdata/zip01.lc 1:16-1:19
27testdata/zip01.lc 1:25-1:26 Type 27 Type
28testdata/zip01.lc 1:25-1:28 List Type 28testdata/zip01.lc 1:16-1:30
29testdata/zip01.lc 1:27-1:28 List Type | Type 29 Type
30testdata/zip01.lc 2:1-2:5 forall a b . List a -> List b -> List (a, b) 30testdata/zip01.lc 1:17-1:18
31testdata/zip01.lc 2:22-2:24 forall a . List a 31 _c
32testdata/zip01.lc 2:22-4:40 List (_d, _c) | List _a -> List (_a, _d) | List _b -> List (_c, _b) | List _b -> List _a -> List (_b, _a) 32testdata/zip01.lc 1:23-1:30
33testdata/zip01.lc 3:22-3:24 forall a . List a 33 Type | Type
34testdata/zip01.lc 3:22-4:40 List (_c, _f) | List _a -> List (_e, _a) | List _c -> List _b | _b -> List _b -> List _a 34testdata/zip01.lc 1:24-1:29
35testdata/zip01.lc 4:22-4:27 (_h, _d) 35 Type
36testdata/zip01.lc 4:22-4:29 List (_h, _d) -> List (_h, _d) 36testdata/zip01.lc 1:25-1:26
37testdata/zip01.lc 4:22-4:40 List (_g, _c) | List _c -> List _b | _b -> List _b -> List _a 37 Type
38testdata/zip01.lc 4:23-4:24 _k 38testdata/zip01.lc 1:25-1:28
39testdata/zip01.lc 4:25-4:26 ((_d)) | _g 39 List Type
40testdata/zip01.lc 4:28-4:29 forall a . a -> List a -> List a 40testdata/zip01.lc 1:27-1:28
41testdata/zip01.lc 4:30-4:34 forall a b . List a -> List b -> List (a, b) 41 Type | List Type
42testdata/zip01.lc 4:30-4:37 List _a -> List (_h, _a) 42testdata/zip01.lc 2:1-2:5
43testdata/zip01.lc 4:30-4:40 List (_g, _c) 43 forall a b . List a -> List b -> List (a, b)
44testdata/zip01.lc 4:35-4:37 List _i 44testdata/zip01.lc 2:22-2:24
45testdata/zip01.lc 4:38-4:40 List _c 45 forall a . List a
46testdata/zip01.lc 2:22-4:40
47 List _a -> List (_a, _d) | List (_d, _c)
48testdata/zip01.lc 3:22-3:24
49 forall a . List a
50testdata/zip01.lc 3:22-4:40
51 List _a -> List (_e, _a) | List (_c, _f)
52testdata/zip01.lc 4:22-4:27
53 (_h, _d)
54testdata/zip01.lc 4:22-4:29
55 List (_h, _d) -> List (_h, _d)
56testdata/zip01.lc 4:22-4:40
57 List (_g, _c)
58testdata/zip01.lc 4:23-4:24
59 _k
60testdata/zip01.lc 4:25-4:26
61 _g | ((_d))
62testdata/zip01.lc 4:28-4:29
63 forall a . a -> List a -> List a
64testdata/zip01.lc 4:30-4:34
65 forall a b . List a -> List b -> List (a, b)
66testdata/zip01.lc 4:30-4:37
67 List _a -> List (_h, _a)
68testdata/zip01.lc 4:30-4:40
69 List (_g, _c)
70testdata/zip01.lc 4:35-4:37
71 List _i
72testdata/zip01.lc 4:38-4:40
73 List _c \ No newline at end of file
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-29 14:26:20 +0000