summaryrefslogtreecommitdiff
path: root/testdata/typeclass.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/typeclass.out
parente2ef3e4de33e15627ce21c7c506650b2f8123a1c (diff)
removing coloring from .out files
Diffstat (limited to 'testdata/typeclass.out')
-rw-r--r--testdata/typeclass.out111
1 files changed, 72 insertions, 39 deletions
diff --git a/testdata/typeclass.out b/testdata/typeclass.out
index 746fa7b9..cb227dbc 100644
--- a/testdata/typeclass.out
+++ b/testdata/typeclass.out
@@ -26,43 +26,76 @@ not = \(a :: _) -> 'BoolCase \_ -> _ :: _ (_rhs True) (_rhs False) a
26/= = \(a :: _) (b :: _) -> _rhs (not (a == b)) 26/= = \(a :: _) (b :: _) -> _rhs (not (a == b))
27main is not found 27main is not found
28------------ trace 28------------ trace
29not :: Bool -> Bool 29not :: Bool -> Bool
30&& :: Bool -> Bool -> Bool 30&& :: Bool -> Bool -> Bool
31|| :: Bool -> Bool -> Bool 31|| :: Bool -> Bool -> Bool
32'Eq :: Type -> Type 32'Eq :: Type -> Type
33== :: forall a . Eq a => a -> a -> Bool 33== :: forall a . Eq a => a -> a -> Bool
34/= :: forall a . Eq a => a -> a -> Bool 34/= :: forall a . Eq a => a -> a -> Bool
35------------ tooltips 35------------ tooltips
36testdata/typeclass.lc 8:1-8:4 Bool -> Bool 36testdata/typeclass.lc 8:1-8:4
37testdata/typeclass.lc 8:12-8:17 Bool 37 Bool -> Bool
38testdata/typeclass.lc 8:12-9:17 Bool -> Bool 38testdata/typeclass.lc 8:12-8:17
39testdata/typeclass.lc 9:13-9:17 Bool 39 Bool
40testdata/typeclass.lc 11:6-11:8 Bool -> Bool -> Bool 40testdata/typeclass.lc 8:12-9:17
41testdata/typeclass.lc 11:13-11:14 _b 41 Bool -> Bool
42testdata/typeclass.lc 11:13-12:19 Bool -> Bool 42testdata/typeclass.lc 9:13-9:17
43testdata/typeclass.lc 12:14-12:19 Bool 43 Bool
44testdata/typeclass.lc 14:7-14:9 Bool -> Bool -> Bool 44testdata/typeclass.lc 11:6-11:8
45testdata/typeclass.lc 14:14-14:15 _c 45 Bool -> Bool -> Bool
46testdata/typeclass.lc 14:14-15:17 Bool -> Bool 46testdata/typeclass.lc 11:13-11:14
47testdata/typeclass.lc 15:13-15:17 Bool 47 _b
48testdata/typeclass.lc 17:7-17:9 Type -> Type 48testdata/typeclass.lc 11:13-12:19
49testdata/typeclass.lc 17:7-18:27 Type 49 Bool -> Bool
50testdata/typeclass.lc 18:6-18:8 forall a . Eq a => a -> a -> Bool 50testdata/typeclass.lc 12:14-12:19
51testdata/typeclass.lc 18:13-18:14 Type 51 Bool
52testdata/typeclass.lc 18:13-18:27 Type 52testdata/typeclass.lc 14:7-14:9
53testdata/typeclass.lc 18:18-18:19 Type 53 Bool -> Bool -> Bool
54testdata/typeclass.lc 18:18-18:27 Type 54testdata/typeclass.lc 14:14-14:15
55testdata/typeclass.lc 18:23-18:27 Type 55 _c
56testdata/typeclass.lc 20:3-20:5 forall a . Eq a => a -> a -> Bool 56testdata/typeclass.lc 14:14-15:17
57testdata/typeclass.lc 20:10-20:13 Bool -> Bool 57 Bool -> Bool
58testdata/typeclass.lc 20:10-20:22 Bool 58testdata/typeclass.lc 15:13-15:17
59testdata/typeclass.lc 20:15-20:16 _f 59 Bool
60testdata/typeclass.lc 20:15-20:19 _e -> Bool 60testdata/typeclass.lc 17:7-17:9
61testdata/typeclass.lc 20:15-20:21 Bool 61 Type -> Type | Type -> Type
62testdata/typeclass.lc 20:17-20:19 forall a . Eq a => a -> a -> Bool 62testdata/typeclass.lc 17:7-18:27
63testdata/typeclass.lc 20:20-20:21 _c 63 Type
64testdata/typeclass.lc 23:17-23:18 Bool 64testdata/typeclass.lc 18:6-18:8
65testdata/typeclass.lc 23:17-24:23 Bool -> Bool | Eq _a => _a -> _a -> Bool | forall a . Eq a => a -> a -> Bool 65 forall a . Eq a => a -> a -> Bool
66testdata/typeclass.lc 24:18-24:21 Bool -> Bool 66testdata/typeclass.lc 18:13-18:14
67testdata/typeclass.lc 24:18-24:23 Bool 67 Type
68testdata/typeclass.lc 24:22-24:23 _b 68testdata/typeclass.lc 18:13-18:27
69 Type
70testdata/typeclass.lc 18:18-18:19
71 Type
72testdata/typeclass.lc 18:18-18:27
73 Type
74testdata/typeclass.lc 18:23-18:27
75 Type | Type
76testdata/typeclass.lc 20:3-20:5
77 forall a . Eq a => a -> a -> Bool
78testdata/typeclass.lc 20:10-20:13
79 Bool -> Bool
80testdata/typeclass.lc 20:10-20:22
81 Bool
82testdata/typeclass.lc 20:15-20:16
83 _f
84testdata/typeclass.lc 20:15-20:19
85 _e -> Bool
86testdata/typeclass.lc 20:15-20:21
87 Bool
88testdata/typeclass.lc 20:17-20:19
89 forall a . Eq a => a -> a -> Bool
90testdata/typeclass.lc 20:20-20:21
91 _c
92testdata/typeclass.lc 23:17-23:18
93 Bool
94testdata/typeclass.lc 23:17-24:23
95 Bool -> Bool
96testdata/typeclass.lc 24:18-24:21
97 Bool -> Bool
98testdata/typeclass.lc 24:18-24:23
99 Bool
100testdata/typeclass.lc 24:22-24:23
101 _b \ No newline at end of file
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-29 14:29:20 +0000