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/language-features/recursion | |
parent | 8ac42fa1bccb554de833ea7d8070cb5112e01aee (diff) |
refactoring & fix build
Diffstat (limited to 'testdata/language-features/recursion')
6 files changed, 87 insertions, 87 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): |
diff --git a/testdata/language-features/recursion/mutualFunc.out b/testdata/language-features/recursion/mutualFunc.out index 91217651..3f951467 100644 --- a/testdata/language-features/recursion/mutualFunc.out +++ b/testdata/language-features/recursion/mutualFunc.out | |||
@@ -67,41 +67,41 @@ g = \a -> case'Bool (\_ -> 'Bool) (_rhs (f a)) (_rhs True) a | |||
67 | main :: Bool | 67 | main :: Bool |
68 | main = _rhs True | 68 | main = _rhs True |
69 | ------------ tooltips | 69 | ------------ tooltips |
70 | mutualFunc.lc 4:1-4:2 | 70 | 4:1-4:2 |
71 | _f | _c | _c | _f | _c | _c | Bool -> Bool | 71 | _f | _c | _c | _f | _c | _c | Bool -> Bool |
72 | mutualFunc.lc 4:1-7:2 | 72 | 4:1-7:2 |
73 | _b | _e | (_e, _d) | (Bool -> Bool, Bool -> Bool) | (Bool -> Bool | 73 | _b | _e | (_e, _d) | (Bool -> Bool, Bool -> Bool) | (Bool -> Bool |
74 | , Bool -> Bool) | (Bool -> Bool, Bool -> Bool) | (Bool -> Bool | 74 | , Bool -> Bool) | (Bool -> Bool, Bool -> Bool) | (Bool -> Bool |
75 | , Bool -> Bool) | (Bool -> Bool, Bool -> Bool) | 75 | , Bool -> Bool) | (Bool -> Bool, Bool -> Bool) |
76 | mutualFunc.lc 4:10-4:11 | 76 | 4:10-4:11 |
77 | Bool -> _a | 77 | Bool -> _a |
78 | mutualFunc.lc 4:10-4:17 | 78 | 4:10-4:17 |
79 | _a | 79 | _a |
80 | mutualFunc.lc 4:10-5:17 | 80 | 4:10-5:17 |
81 | Bool -> _a | ((Bool -> _a)) | 81 | Bool -> _a | ((Bool -> _a)) |
82 | mutualFunc.lc 4:10-8:10 | 82 | 4:10-8:10 |
83 | (Bool -> Bool, Bool -> _a) | 83 | (Bool -> Bool, Bool -> _a) |
84 | mutualFunc.lc 4:12-4:17 | 84 | 4:12-4:17 |
85 | Bool | 85 | Bool |
86 | mutualFunc.lc 5:11-5:12 | 86 | 5:11-5:12 |
87 | _i | 87 | _i |
88 | mutualFunc.lc 5:13-5:17 | 88 | 5:13-5:17 |
89 | Bool | 89 | Bool |
90 | mutualFunc.lc 7:1-7:2 | 90 | 7:1-7:2 |
91 | _k | _h | _d | _k | _h | _d | Bool -> Bool | 91 | _k | _h | _d | _k | _h | _d | Bool -> Bool |
92 | mutualFunc.lc 7:10-7:14 | 92 | 7:10-7:14 |
93 | Bool | 93 | Bool |
94 | mutualFunc.lc 7:10-8:10 | 94 | 7:10-8:10 |
95 | Bool -> Bool | 95 | Bool -> Bool |
96 | mutualFunc.lc 8:7-8:8 | 96 | 8:7-8:8 |
97 | _h | 97 | _h |
98 | mutualFunc.lc 8:9-8:10 | 98 | 8:9-8:10 |
99 | _f | 99 | _f |
100 | mutualFunc.lc 10:1-10:5 | 100 | 10:1-10:5 |
101 | Bool | 101 | Bool |
102 | mutualFunc.lc 10:8-10:9 | 102 | 10:8-10:9 |
103 | Bool -> Bool | 103 | Bool -> Bool |
104 | mutualFunc.lc 10:8-10:14 | 104 | 10:8-10:14 |
105 | Bool | 105 | Bool |
106 | mutualFunc.lc 10:10-10:14 | 106 | 10:10-10:14 |
107 | Bool \ No newline at end of file | 107 | Bool \ No newline at end of file |
diff --git a/testdata/language-features/recursion/mutualRec.out b/testdata/language-features/recursion/mutualRec.out index aada1a7d..e802e888 100644 --- a/testdata/language-features/recursion/mutualRec.out +++ b/testdata/language-features/recursion/mutualRec.out | |||
@@ -89,45 +89,45 @@ x = _rhs (False : y) | |||
89 | y :: [Bool] | 89 | y :: [Bool] |
90 | y = _rhs (True : x) | 90 | y = _rhs (True : x) |
91 | ------------ tooltips | 91 | ------------ tooltips |
92 | mutualRec.lc 4:1-4:2 | 92 | 4:1-4:2 |
93 | _f | _c | _c | _f | _c | _c | [Bool] | 93 | _f | _c | _c | _f | _c | _c | [Bool] |
94 | mutualRec.lc 4:1-5:2 | 94 | 4:1-5:2 |
95 | _b | _e | (_e, _d) | ([Bool], [Bool]) | ([Bool], [Bool]) | ([Bool] | 95 | _b | _e | (_e, _d) | ([Bool], [Bool]) | ([Bool], [Bool]) | ([Bool] |
96 | , [Bool]) | ([Bool], [Bool]) | ([Bool], [Bool]) | 96 | , [Bool]) | ([Bool], [Bool]) | ([Bool], [Bool]) |
97 | mutualRec.lc 4:5-4:10 | 97 | 4:5-4:10 |
98 | Bool | 98 | Bool |
99 | mutualRec.lc 4:5-4:11 | 99 | 4:5-4:11 |
100 | [Bool] -> [Bool] | 100 | [Bool] -> [Bool] |
101 | mutualRec.lc 4:5-4:13 | 101 | 4:5-4:13 |
102 | [Bool] | (([Bool])) | 102 | [Bool] | (([Bool])) |
103 | mutualRec.lc 4:5-5:12 | 103 | 4:5-5:12 |
104 | ([Bool], [Bool]) | 104 | ([Bool], [Bool]) |
105 | mutualRec.lc 4:10-4:11 | 105 | 4:10-4:11 |
106 | forall a . a -> [a] -> [a] | 106 | forall a . a -> [a] -> [a] |
107 | mutualRec.lc 4:12-4:13 | 107 | 4:12-4:13 |
108 | _e | 108 | _e |
109 | mutualRec.lc 5:1-5:2 | 109 | 5:1-5:2 |
110 | _k | _h | _d | _k | _h | _d | [Bool] | 110 | _k | _h | _d | _k | _h | _d | [Bool] |
111 | mutualRec.lc 5:5-5:9 | 111 | 5:5-5:9 |
112 | Bool | 112 | Bool |
113 | mutualRec.lc 5:5-5:10 | 113 | 5:5-5:10 |
114 | [Bool] -> [Bool] | 114 | [Bool] -> [Bool] |
115 | mutualRec.lc 5:5-5:12 | 115 | 5:5-5:12 |
116 | [Bool] | 116 | [Bool] |
117 | mutualRec.lc 5:9-5:10 | 117 | 5:9-5:10 |
118 | forall a . a -> [a] -> [a] | 118 | forall a . a -> [a] -> [a] |
119 | mutualRec.lc 5:11-5:12 | 119 | 5:11-5:12 |
120 | _d | 120 | _d |
121 | mutualRec.lc 7:1-7:5 | 121 | 7:1-7:5 |
122 | Bool | 122 | Bool |
123 | mutualRec.lc 7:8-8:34 | 123 | 7:8-8:34 |
124 | Bool | 124 | Bool |
125 | mutualRec.lc 7:13-7:14 | 125 | 7:13-7:14 |
126 | [Bool] | 126 | [Bool] |
127 | mutualRec.lc 8:30-8:34 | 127 | 8:30-8:34 |
128 | Bool | Bool | Bool | Bool | Bool | Bool | 128 | Bool | Bool | Bool | Bool | Bool | Bool |
129 | ------------ warnings | 129 | ------------ warnings |
130 | Uncovered pattern(s) at mutualRec.lc:7:13: | 130 | Uncovered pattern(s) at ./testdata/language-features/recursion/mutualRec.lc:7:13: |
131 | main = case x of | 131 | main = case x of |
132 | ^ | 132 | ^ |
133 | Missing case(s): | 133 | Missing case(s): |
diff --git a/testdata/language-features/recursion/simplerec01.out b/testdata/language-features/recursion/simplerec01.out index 892eebfc..aa6fa74b 100644 --- a/testdata/language-features/recursion/simplerec01.out +++ b/testdata/language-features/recursion/simplerec01.out | |||
@@ -20,13 +20,13 @@ fun | |||
20 | (_rhs 'a') | 20 | (_rhs 'a') |
21 | ((a == c) (fromInt a d 0) f) | 21 | ((a == c) (fromInt a d 0) f) |
22 | ------------ tooltips | 22 | ------------ tooltips |
23 | simplerec01.lc 1:1-1:4 | 23 | 1:1-1:4 |
24 | forall a . (Num a, Eq a, Num a) => a -> Char | 24 | forall a . (Num a, Eq a, Num a) => a -> Char |
25 | simplerec01.lc 1:9-1:12 | 25 | 1:9-1:12 |
26 | Char | 26 | Char |
27 | simplerec01.lc 1:9-2:14 | 27 | 1:9-2:14 |
28 | Bool -> Char | 28 | Bool -> Char |
29 | simplerec01.lc 2:9-2:12 | 29 | 2:9-2:12 |
30 | _e | 30 | _e |
31 | simplerec01.lc 2:13-2:14 | 31 | 2:13-2:14 |
32 | _b \ No newline at end of file | 32 | _b \ No newline at end of file |
diff --git a/testdata/language-features/recursion/simplerec02.out b/testdata/language-features/recursion/simplerec02.out index 21d25b22..ce6b7316 100644 --- a/testdata/language-features/recursion/simplerec02.out +++ b/testdata/language-features/recursion/simplerec02.out | |||
@@ -19,15 +19,15 @@ value | |||
19 | value :: () | 19 | value :: () |
20 | value = _rhs () | 20 | value = _rhs () |
21 | ------------ tooltips | 21 | ------------ tooltips |
22 | simplerec02.lc 1:1-1:6 | 22 | 1:1-1:6 |
23 | () | 23 | () |
24 | simplerec02.lc 1:21-1:24 | 24 | 1:21-1:24 |
25 | Char | 25 | Char |
26 | simplerec02.lc 1:21-2:26 | 26 | 1:21-2:26 |
27 | Bool -> Char | 27 | Bool -> Char |
28 | simplerec02.lc 2:21-2:24 | 28 | 2:21-2:24 |
29 | _e | 29 | _e |
30 | simplerec02.lc 2:25-2:26 | 30 | 2:25-2:26 |
31 | _b | 31 | _b |
32 | simplerec02.lc 3:12-3:14 | 32 | 3:12-3:14 |
33 | () \ No newline at end of file | 33 | () \ No newline at end of file |
diff --git a/testdata/language-features/recursion/simplerec03.out b/testdata/language-features/recursion/simplerec03.out index eb7bf3cc..593f6f14 100644 --- a/testdata/language-features/recursion/simplerec03.out +++ b/testdata/language-features/recursion/simplerec03.out | |||
@@ -19,15 +19,15 @@ value | |||
19 | value :: () | 19 | value :: () |
20 | value = _rhs () | 20 | value = _rhs () |
21 | ------------ tooltips | 21 | ------------ tooltips |
22 | simplerec03.lc 1:1-1:6 | 22 | 1:1-1:6 |
23 | () | 23 | () |
24 | simplerec03.lc 1:9-1:11 | 24 | 1:9-1:11 |
25 | () | 25 | () |
26 | simplerec03.lc 3:13-3:16 | 26 | 3:13-3:16 |
27 | Char | 27 | Char |
28 | simplerec03.lc 3:13-4:18 | 28 | 3:13-4:18 |
29 | Bool -> Char | 29 | Bool -> Char |
30 | simplerec03.lc 4:13-4:16 | 30 | 4:13-4:16 |
31 | _e | 31 | _e |
32 | simplerec03.lc 4:17-4:18 | 32 | 4:17-4:18 |
33 | _b \ No newline at end of file | 33 | _b \ No newline at end of file |