diff options
Diffstat (limited to 'testdata/language-features/recursion/mutualConst.out')
-rw-r--r-- | testdata/language-features/recursion/mutualConst.out | 66 |
1 files changed, 33 insertions, 33 deletions
diff --git a/testdata/language-features/recursion/mutualConst.out b/testdata/language-features/recursion/mutualConst.out index 62272011..8580bb8c 100644 --- a/testdata/language-features/recursion/mutualConst.out +++ b/testdata/language-features/recursion/mutualConst.out | |||
@@ -117,72 +117,72 @@ xy = primFix _ \a -> _rhs (False : snd a, True : fst a) | |||
117 | y :: [Bool] | 117 | y :: [Bool] |
118 | y = _rhs (True : fst xy) | 118 | y = _rhs (True : fst xy) |
119 | ------------ tooltips | 119 | ------------ tooltips |
120 | mutualConst.lc 4:1-4:4 | 120 | 4:1-4:4 |
121 | forall a b . (a, b) -> a | 121 | forall a b . (a, b) -> a |
122 | mutualConst.lc 4:14-4:15 | 122 | 4:14-4:15 |
123 | _k | _h | _d | 123 | _k | _h | _d |
124 | mutualConst.lc 5:1-5:4 | 124 | 5:1-5:4 |
125 | forall a b . (a, b) -> b | 125 | forall a b . (a, b) -> b |
126 | mutualConst.lc 5:14-5:15 | 126 | 5:14-5:15 |
127 | _f | _c | _c | 127 | _f | _c | _c |
128 | mutualConst.lc 7:1-7:3 | 128 | 7:1-7:3 |
129 | ([Bool], [Bool]) | 129 | ([Bool], [Bool]) |
130 | mutualConst.lc 7:6-7:44 | 130 | 7:6-7:44 |
131 | [Bool] -> ([Bool], [Bool]) | 131 | [Bool] -> ([Bool], [Bool]) |
132 | mutualConst.lc 7:6-7:53 | 132 | 7:6-7:53 |
133 | ([Bool], [Bool]) | 133 | ([Bool], [Bool]) |
134 | mutualConst.lc 7:15-7:34 | 134 | 7:15-7:34 |
135 | ([Bool], [Bool]) | 135 | ([Bool], [Bool]) |
136 | mutualConst.lc 7:16-7:21 | 136 | 7:16-7:21 |
137 | Bool | 137 | Bool |
138 | mutualConst.lc 7:16-7:22 | 138 | 7:16-7:22 |
139 | [Bool] -> [Bool] | 139 | [Bool] -> [Bool] |
140 | mutualConst.lc 7:16-7:24 | 140 | 7:16-7:24 |
141 | [Bool] | 141 | [Bool] |
142 | mutualConst.lc 7:21-7:22 | 142 | 7:21-7:22 |
143 | forall a . a -> [a] -> [a] | 143 | forall a . a -> [a] -> [a] |
144 | mutualConst.lc 7:23-7:24 | 144 | 7:23-7:24 |
145 | _c | 145 | _c |
146 | mutualConst.lc 7:26-7:30 | 146 | 7:26-7:30 |
147 | Bool | 147 | Bool |
148 | mutualConst.lc 7:26-7:31 | 148 | 7:26-7:31 |
149 | [Bool] -> [Bool] | 149 | [Bool] -> [Bool] |
150 | mutualConst.lc 7:26-7:33 | 150 | 7:26-7:33 |
151 | [Bool] | (([Bool])) | 151 | [Bool] | (([Bool])) |
152 | mutualConst.lc 7:30-7:31 | 152 | 7:30-7:31 |
153 | forall a . a -> [a] -> [a] | 153 | forall a . a -> [a] -> [a] |
154 | mutualConst.lc 7:32-7:33 | 154 | 7:32-7:33 |
155 | _e | 155 | _e |
156 | mutualConst.lc 7:37-7:40 | 156 | 7:37-7:40 |
157 | forall a b . (a, b) -> a | 157 | forall a b . (a, b) -> a |
158 | mutualConst.lc 7:37-7:43 | 158 | 7:37-7:43 |
159 | _b | 159 | _b |
160 | mutualConst.lc 7:41-7:43 | 160 | 7:41-7:43 |
161 | _d | 161 | _d |
162 | mutualConst.lc 7:46-7:49 | 162 | 7:46-7:49 |
163 | forall a b . (a, b) -> b | 163 | forall a b . (a, b) -> b |
164 | mutualConst.lc 7:46-7:52 | 164 | 7:46-7:52 |
165 | [Bool] | 165 | [Bool] |
166 | mutualConst.lc 7:50-7:52 | 166 | 7:50-7:52 |
167 | ([Bool], [Bool]) | 167 | ([Bool], [Bool]) |
168 | mutualConst.lc 9:2-9:3 | 168 | 9:2-9:3 |
169 | _k | _h | _d | [Bool] | 169 | _k | _h | _d | [Bool] |
170 | mutualConst.lc 9:2-9:6 | 170 | 9:2-9:6 |
171 | ([Bool], [Bool]) | ([Bool], [Bool]) | ([Bool], [Bool]) | 171 | ([Bool], [Bool]) | ([Bool], [Bool]) | ([Bool], [Bool]) |
172 | mutualConst.lc 9:5-9:6 | 172 | 9:5-9:6 |
173 | _f | _c | _c | [Bool] | 173 | _f | _c | _c | [Bool] |
174 | mutualConst.lc 9:10-9:12 | 174 | 9:10-9:12 |
175 | ([Bool], [Bool]) | 175 | ([Bool], [Bool]) |
176 | mutualConst.lc 11:1-11:5 | 176 | 11:1-11:5 |
177 | Bool | 177 | Bool |
178 | mutualConst.lc 11:8-12:34 | 178 | 11:8-12:34 |
179 | Bool | 179 | Bool |
180 | mutualConst.lc 11:13-11:14 | 180 | 11:13-11:14 |
181 | [Bool] | 181 | [Bool] |
182 | mutualConst.lc 12:30-12:34 | 182 | 12:30-12:34 |
183 | Bool | Bool | Bool | Bool | Bool | Bool | 183 | Bool | Bool | Bool | Bool | Bool | Bool |
184 | ------------ warnings | 184 | ------------ warnings |
185 | Uncovered pattern(s) at mutualConst.lc:11:13: | 185 | Uncovered pattern(s) at ./testdata/language-features/recursion/mutualConst.lc:11:13: |
186 | main = case x of | 186 | main = case x of |
187 | ^ | 187 | ^ |
188 | Missing case(s): | 188 | Missing case(s): |