diff options
author | Péter Diviánszky <divipp@gmail.com> | 2016-05-13 22:48:03 +0200 |
---|---|---|
committer | Péter Diviánszky <divipp@gmail.com> | 2016-05-13 22:48:17 +0200 |
commit | 8f2e602cada9141b653802cf1084b9bdfd6e0d06 (patch) | |
tree | c1351e9fcb0341af482f8da4a8859e2046445188 /testdata/typeclass.out | |
parent | 8ac42fa1bccb554de833ea7d8070cb5112e01aee (diff) |
refactoring & fix build
Diffstat (limited to 'testdata/typeclass.out')
-rw-r--r-- | testdata/typeclass.out | 82 |
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 |
106 | typeclass.lc 8:1-8:4 | 106 | 8:1-8:4 |
107 | Bool -> Bool | 107 | Bool -> Bool |
108 | typeclass.lc 8:12-8:17 | 108 | 8:12-8:17 |
109 | Bool | 109 | Bool |
110 | typeclass.lc 8:12-9:17 | 110 | 8:12-9:17 |
111 | Bool -> Bool | 111 | Bool -> Bool |
112 | typeclass.lc 9:13-9:17 | 112 | 9:13-9:17 |
113 | Bool | 113 | Bool |
114 | typeclass.lc 11:6-11:8 | 114 | 11:6-11:8 |
115 | Bool -> Bool -> Bool | 115 | Bool -> Bool -> Bool |
116 | typeclass.lc 11:13-11:14 | 116 | 11:13-11:14 |
117 | _b | 117 | _b |
118 | typeclass.lc 11:13-12:19 | 118 | 11:13-12:19 |
119 | Bool -> Bool | 119 | Bool -> Bool |
120 | typeclass.lc 12:14-12:19 | 120 | 12:14-12:19 |
121 | Bool | 121 | Bool |
122 | typeclass.lc 14:7-14:9 | 122 | 14:7-14:9 |
123 | Bool -> Bool -> Bool | 123 | Bool -> Bool -> Bool |
124 | typeclass.lc 14:14-14:15 | 124 | 14:14-14:15 |
125 | _c | 125 | _c |
126 | typeclass.lc 14:14-15:17 | 126 | 14:14-15:17 |
127 | Bool -> Bool | 127 | Bool -> Bool |
128 | typeclass.lc 15:13-15:17 | 128 | 15:13-15:17 |
129 | Bool | 129 | Bool |
130 | typeclass.lc 17:7-17:9 | 130 | 17:7-17:9 |
131 | Type -> Constraint | Type -> Constraint | Constraint | 131 | Type -> Constraint | Type -> Constraint | Constraint |
132 | typeclass.lc 17:7-18:27 | 132 | 17:7-18:27 |
133 | Type | 133 | Type |
134 | typeclass.lc 18:6-18:8 | 134 | 18:6-18:8 |
135 | forall a . Eq a => a -> a -> Bool | 135 | forall a . Eq a => a -> a -> Bool |
136 | typeclass.lc 18:13-18:14 | 136 | 18:13-18:14 |
137 | Type | 137 | Type |
138 | typeclass.lc 18:13-18:27 | 138 | 18:13-18:27 |
139 | Type | 139 | Type |
140 | typeclass.lc 18:18-18:19 | 140 | 18:18-18:19 |
141 | Type | 141 | Type |
142 | typeclass.lc 18:18-18:27 | 142 | 18:18-18:27 |
143 | Type | 143 | Type |
144 | typeclass.lc 18:23-18:27 | 144 | 18:23-18:27 |
145 | Type | Type | 145 | Type | Type |
146 | typeclass.lc 20:3-20:5 | 146 | 20:3-20:5 |
147 | forall a . Eq a => a -> a -> Bool | 147 | forall a . Eq a => a -> a -> Bool |
148 | typeclass.lc 20:10-20:13 | 148 | 20:10-20:13 |
149 | Bool -> Bool | 149 | Bool -> Bool |
150 | typeclass.lc 20:10-20:22 | 150 | 20:10-20:22 |
151 | Bool | 151 | Bool |
152 | typeclass.lc 20:15-20:16 | 152 | 20:15-20:16 |
153 | _f | 153 | _f |
154 | typeclass.lc 20:15-20:19 | 154 | 20:15-20:19 |
155 | _e -> Bool | 155 | _e -> Bool |
156 | typeclass.lc 20:15-20:21 | 156 | 20:15-20:21 |
157 | Bool | 157 | Bool |
158 | typeclass.lc 20:17-20:19 | 158 | 20:17-20:19 |
159 | forall a . Eq a => a -> a -> Bool | 159 | forall a . Eq a => a -> a -> Bool |
160 | typeclass.lc 20:20-20:21 | 160 | 20:20-20:21 |
161 | _c | 161 | _c |
162 | typeclass.lc 23:17-23:18 | 162 | 23:17-23:18 |
163 | Bool | 163 | Bool |
164 | typeclass.lc 23:17-24:23 | 164 | 23:17-24:23 |
165 | Bool -> Bool | 165 | Bool -> Bool |
166 | typeclass.lc 24:18-24:21 | 166 | 24:18-24:21 |
167 | Bool -> Bool | 167 | Bool -> Bool |
168 | typeclass.lc 24:18-24:23 | 168 | 24:18-24:23 |
169 | Bool | 169 | Bool |
170 | typeclass.lc 24:22-24:23 | 170 | 24:22-24:23 |
171 | _b | 171 | _b |
172 | typeclass.lc 26:6-26:9 | 172 | 26:6-26:9 |
173 | forall a b . [a] -> [b] -> Bool | 173 | forall a b . [a] -> [b] -> Bool |
174 | typeclass.lc 26:17-26:21 | 174 | 26:17-26:21 |
175 | Bool | 175 | Bool |
176 | typeclass.lc 26:17-28:22 | 176 | 26:17-28:22 |
177 | [_a] -> Bool | Bool | 177 | [_a] -> Bool | Bool |
178 | typeclass.lc 27:36-27:38 | 178 | 27:36-27:38 |
179 | [_j] | 179 | [_j] |
180 | typeclass.lc 27:36-28:22 | 180 | 27:36-28:22 |
181 | [_a] -> Bool | Bool | 181 | [_a] -> Bool | Bool |
182 | typeclass.lc 27:39-27:42 | 182 | 27:39-27:42 |
183 | _l | 183 | _l |
184 | typeclass.lc 27:43-27:45 | 184 | 27:43-27:45 |
185 | [_g] | 185 | [_g] |
186 | typeclass.lc 28:17-28:22 | 186 | 28:17-28:22 |
187 | Bool | Bool \ No newline at end of file | 187 | Bool | Bool \ No newline at end of file |