summaryrefslogtreecommitdiff
path: root/testdata/typeclass.out
diff options
context:
space:
mode:
authorPéter Diviánszky <divipp@gmail.com>2016-05-13 22:48:03 +0200
committerPéter Diviánszky <divipp@gmail.com>2016-05-13 22:48:17 +0200
commit8f2e602cada9141b653802cf1084b9bdfd6e0d06 (patch)
treec1351e9fcb0341af482f8da4a8859e2046445188 /testdata/typeclass.out
parent8ac42fa1bccb554de833ea7d8070cb5112e01aee (diff)
refactoring & fix build
Diffstat (limited to 'testdata/typeclass.out')
-rw-r--r--testdata/typeclass.out82
1 files changed, 41 insertions, 41 deletions
diff --git a/testdata/typeclass.out b/testdata/typeclass.out
index bd28d0cf..cd6d059d 100644
--- a/testdata/typeclass.out
+++ b/testdata/typeclass.out
@@ -103,85 +103,85 @@ not = \a -> case'Bool (\_ -> 'Bool) (_rhs True) (_rhs False) a
103|| :: Bool -> Bool -> Bool 103|| :: Bool -> Bool -> Bool
104|| = \a b -> case'Bool (\_ -> 'Bool) (_rhs b) (_rhs True) a 104|| = \a b -> case'Bool (\_ -> 'Bool) (_rhs b) (_rhs True) a
105------------ tooltips 105------------ tooltips
106typeclass.lc 8:1-8:4 1068:1-8:4
107 Bool -> Bool 107 Bool -> Bool
108typeclass.lc 8:12-8:17 1088:12-8:17
109 Bool 109 Bool
110typeclass.lc 8:12-9:17 1108:12-9:17
111 Bool -> Bool 111 Bool -> Bool
112typeclass.lc 9:13-9:17 1129:13-9:17
113 Bool 113 Bool
114typeclass.lc 11:6-11:8 11411:6-11:8
115 Bool -> Bool -> Bool 115 Bool -> Bool -> Bool
116typeclass.lc 11:13-11:14 11611:13-11:14
117 _b 117 _b
118typeclass.lc 11:13-12:19 11811:13-12:19
119 Bool -> Bool 119 Bool -> Bool
120typeclass.lc 12:14-12:19 12012:14-12:19
121 Bool 121 Bool
122typeclass.lc 14:7-14:9 12214:7-14:9
123 Bool -> Bool -> Bool 123 Bool -> Bool -> Bool
124typeclass.lc 14:14-14:15 12414:14-14:15
125 _c 125 _c
126typeclass.lc 14:14-15:17 12614:14-15:17
127 Bool -> Bool 127 Bool -> Bool
128typeclass.lc 15:13-15:17 12815:13-15:17
129 Bool 129 Bool
130typeclass.lc 17:7-17:9 13017:7-17:9
131 Type -> Constraint | Type -> Constraint | Constraint 131 Type -> Constraint | Type -> Constraint | Constraint
132typeclass.lc 17:7-18:27 13217:7-18:27
133 Type 133 Type
134typeclass.lc 18:6-18:8 13418:6-18:8
135 forall a . Eq a => a -> a -> Bool 135 forall a . Eq a => a -> a -> Bool
136typeclass.lc 18:13-18:14 13618:13-18:14
137 Type 137 Type
138typeclass.lc 18:13-18:27 13818:13-18:27
139 Type 139 Type
140typeclass.lc 18:18-18:19 14018:18-18:19
141 Type 141 Type
142typeclass.lc 18:18-18:27 14218:18-18:27
143 Type 143 Type
144typeclass.lc 18:23-18:27 14418:23-18:27
145 Type | Type 145 Type | Type
146typeclass.lc 20:3-20:5 14620:3-20:5
147 forall a . Eq a => a -> a -> Bool 147 forall a . Eq a => a -> a -> Bool
148typeclass.lc 20:10-20:13 14820:10-20:13
149 Bool -> Bool 149 Bool -> Bool
150typeclass.lc 20:10-20:22 15020:10-20:22
151 Bool 151 Bool
152typeclass.lc 20:15-20:16 15220:15-20:16
153 _f 153 _f
154typeclass.lc 20:15-20:19 15420:15-20:19
155 _e -> Bool 155 _e -> Bool
156typeclass.lc 20:15-20:21 15620:15-20:21
157 Bool 157 Bool
158typeclass.lc 20:17-20:19 15820:17-20:19
159 forall a . Eq a => a -> a -> Bool 159 forall a . Eq a => a -> a -> Bool
160typeclass.lc 20:20-20:21 16020:20-20:21
161 _c 161 _c
162typeclass.lc 23:17-23:18 16223:17-23:18
163 Bool 163 Bool
164typeclass.lc 23:17-24:23 16423:17-24:23
165 Bool -> Bool 165 Bool -> Bool
166typeclass.lc 24:18-24:21 16624:18-24:21
167 Bool -> Bool 167 Bool -> Bool
168typeclass.lc 24:18-24:23 16824:18-24:23
169 Bool 169 Bool
170typeclass.lc 24:22-24:23 17024:22-24:23
171 _b 171 _b
172typeclass.lc 26:6-26:9 17226:6-26:9
173 forall a b . [a] -> [b] -> Bool 173 forall a b . [a] -> [b] -> Bool
174typeclass.lc 26:17-26:21 17426:17-26:21
175 Bool 175 Bool
176typeclass.lc 26:17-28:22 17626:17-28:22
177 [_a] -> Bool | Bool 177 [_a] -> Bool | Bool
178typeclass.lc 27:36-27:38 17827:36-27:38
179 [_j] 179 [_j]
180typeclass.lc 27:36-28:22 18027:36-28:22
181 [_a] -> Bool | Bool 181 [_a] -> Bool | Bool
182typeclass.lc 27:39-27:42 18227:39-27:42
183 _l 183 _l
184typeclass.lc 27:43-27:45 18427:43-27:45
185 [_g] 185 [_g]
186typeclass.lc 28:17-28:22 18628:17-28:22
187 Bool | Bool \ No newline at end of file 187 Bool | Bool \ No newline at end of file