summaryrefslogtreecommitdiff
path: root/testdata/language-features/recursion/mutualConst.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/language-features/recursion/mutualConst.out
parent8ac42fa1bccb554de833ea7d8070cb5112e01aee (diff)
refactoring & fix build
Diffstat (limited to 'testdata/language-features/recursion/mutualConst.out')
-rw-r--r--testdata/language-features/recursion/mutualConst.out66
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)
117y :: [Bool] 117y :: [Bool]
118y = _rhs (True : fst xy) 118y = _rhs (True : fst xy)
119------------ tooltips 119------------ tooltips
120mutualConst.lc 4:1-4:4 1204:1-4:4
121 forall a b . (a, b) -> a 121 forall a b . (a, b) -> a
122mutualConst.lc 4:14-4:15 1224:14-4:15
123 _k | _h | _d 123 _k | _h | _d
124mutualConst.lc 5:1-5:4 1245:1-5:4
125 forall a b . (a, b) -> b 125 forall a b . (a, b) -> b
126mutualConst.lc 5:14-5:15 1265:14-5:15
127 _f | _c | _c 127 _f | _c | _c
128mutualConst.lc 7:1-7:3 1287:1-7:3
129 ([Bool], [Bool]) 129 ([Bool], [Bool])
130mutualConst.lc 7:6-7:44 1307:6-7:44
131 [Bool] -> ([Bool], [Bool]) 131 [Bool] -> ([Bool], [Bool])
132mutualConst.lc 7:6-7:53 1327:6-7:53
133 ([Bool], [Bool]) 133 ([Bool], [Bool])
134mutualConst.lc 7:15-7:34 1347:15-7:34
135 ([Bool], [Bool]) 135 ([Bool], [Bool])
136mutualConst.lc 7:16-7:21 1367:16-7:21
137 Bool 137 Bool
138mutualConst.lc 7:16-7:22 1387:16-7:22
139 [Bool] -> [Bool] 139 [Bool] -> [Bool]
140mutualConst.lc 7:16-7:24 1407:16-7:24
141 [Bool] 141 [Bool]
142mutualConst.lc 7:21-7:22 1427:21-7:22
143 forall a . a -> [a] -> [a] 143 forall a . a -> [a] -> [a]
144mutualConst.lc 7:23-7:24 1447:23-7:24
145 _c 145 _c
146mutualConst.lc 7:26-7:30 1467:26-7:30
147 Bool 147 Bool
148mutualConst.lc 7:26-7:31 1487:26-7:31
149 [Bool] -> [Bool] 149 [Bool] -> [Bool]
150mutualConst.lc 7:26-7:33 1507:26-7:33
151 [Bool] | (([Bool])) 151 [Bool] | (([Bool]))
152mutualConst.lc 7:30-7:31 1527:30-7:31
153 forall a . a -> [a] -> [a] 153 forall a . a -> [a] -> [a]
154mutualConst.lc 7:32-7:33 1547:32-7:33
155 _e 155 _e
156mutualConst.lc 7:37-7:40 1567:37-7:40
157 forall a b . (a, b) -> a 157 forall a b . (a, b) -> a
158mutualConst.lc 7:37-7:43 1587:37-7:43
159 _b 159 _b
160mutualConst.lc 7:41-7:43 1607:41-7:43
161 _d 161 _d
162mutualConst.lc 7:46-7:49 1627:46-7:49
163 forall a b . (a, b) -> b 163 forall a b . (a, b) -> b
164mutualConst.lc 7:46-7:52 1647:46-7:52
165 [Bool] 165 [Bool]
166mutualConst.lc 7:50-7:52 1667:50-7:52
167 ([Bool], [Bool]) 167 ([Bool], [Bool])
168mutualConst.lc 9:2-9:3 1689:2-9:3
169 _k | _h | _d | [Bool] 169 _k | _h | _d | [Bool]
170mutualConst.lc 9:2-9:6 1709:2-9:6
171 ([Bool], [Bool]) | ([Bool], [Bool]) | ([Bool], [Bool]) 171 ([Bool], [Bool]) | ([Bool], [Bool]) | ([Bool], [Bool])
172mutualConst.lc 9:5-9:6 1729:5-9:6
173 _f | _c | _c | [Bool] 173 _f | _c | _c | [Bool]
174mutualConst.lc 9:10-9:12 1749:10-9:12
175 ([Bool], [Bool]) 175 ([Bool], [Bool])
176mutualConst.lc 11:1-11:5 17611:1-11:5
177 Bool 177 Bool
178mutualConst.lc 11:8-12:34 17811:8-12:34
179 Bool 179 Bool
180mutualConst.lc 11:13-11:14 18011:13-11:14
181 [Bool] 181 [Bool]
182mutualConst.lc 12:30-12:34 18212:30-12:34
183 Bool | Bool | Bool | Bool | Bool | Bool 183 Bool | Bool | Bool | Bool | Bool | Bool
184------------ warnings 184------------ warnings
185Uncovered pattern(s) at mutualConst.lc:11:13: 185Uncovered pattern(s) at ./testdata/language-features/recursion/mutualConst.lc:11:13:
186main = case x of 186main = case x of
187 ^ 187 ^
188Missing case(s): 188Missing case(s):