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/loopIssue.out | |
parent | 8ac42fa1bccb554de833ea7d8070cb5112e01aee (diff) |
refactoring & fix build
Diffstat (limited to 'testdata/loopIssue.out')
-rw-r--r-- | testdata/loopIssue.out | 100 |
1 files changed, 50 insertions, 50 deletions
diff --git a/testdata/loopIssue.out b/testdata/loopIssue.out index 62e4cf1f..e5c03d9c 100644 --- a/testdata/loopIssue.out +++ b/testdata/loopIssue.out | |||
@@ -89,106 +89,106 @@ repeat = primFix _ \a b -> _rhs (typeAnn b : a b) | |||
89 | repeatT :: [Bool] | 89 | repeatT :: [Bool] |
90 | repeatT = primFix _ \a -> _rhs (True : a) | 90 | repeatT = primFix _ \a -> _rhs (True : a) |
91 | ------------ tooltips | 91 | ------------ tooltips |
92 | loopIssue.lc 5:6-5:9 | 92 | 5:6-5:9 |
93 | Type | Type | Type | Type | Type | Type | 93 | Type | Type | Type | Type | Type | Type |
94 | loopIssue.lc 5:6-5:15 | 94 | 5:6-5:15 |
95 | Type | 95 | Type |
96 | loopIssue.lc 5:12-5:15 | 96 | 5:12-5:15 |
97 | Inf -> Inf | Inf | Type | Type | 97 | Inf -> Inf | Inf | Type | Type |
98 | loopIssue.lc 5:16-5:19 | 98 | 5:16-5:19 |
99 | Type | 99 | Type |
100 | loopIssue.lc 7:1-7:4 | 100 | 7:1-7:4 |
101 | Inf | 101 | Inf |
102 | loopIssue.lc 7:7-7:10 | 102 | 7:7-7:10 |
103 | Inf -> Inf | 103 | Inf -> Inf |
104 | loopIssue.lc 7:7-7:14 | 104 | 7:7-7:14 |
105 | Inf | 105 | Inf |
106 | loopIssue.lc 7:11-7:14 | 106 | 7:11-7:14 |
107 | Inf | 107 | Inf |
108 | loopIssue.lc 9:1-9:6 | 108 | 9:1-9:6 |
109 | Bool | 109 | Bool |
110 | loopIssue.lc 9:9-10:18 | 110 | 9:9-10:18 |
111 | Bool | 111 | Bool |
112 | loopIssue.lc 9:14-9:17 | 112 | 9:14-9:17 |
113 | Inf | 113 | Inf |
114 | loopIssue.lc 10:14-10:18 | 114 | 10:14-10:18 |
115 | Bool | 115 | Bool |
116 | loopIssue.lc 13:1-13:5 | 116 | 13:1-13:5 |
117 | Inf | 117 | Inf |
118 | loopIssue.lc 13:8-13:11 | 118 | 13:8-13:11 |
119 | Inf | 119 | Inf |
120 | loopIssue.lc 15:2-15:3 | 120 | 15:2-15:3 |
121 | Int -> Int -> Int | 121 | Int -> Int -> Int |
122 | loopIssue.lc 15:7-15:17 | 122 | 15:7-15:17 |
123 | Int -> Int -> Int | 123 | Int -> Int -> Int |
124 | loopIssue.lc 17:1-17:7 | 124 | 17:1-17:7 |
125 | Bool -> [Bool] | 125 | Bool -> [Bool] |
126 | loopIssue.lc 17:12-17:24 | 126 | 17:12-17:24 |
127 | [Bool] -> [Bool] | 127 | [Bool] -> [Bool] |
128 | loopIssue.lc 17:12-17:33 | 128 | 17:12-17:33 |
129 | [Bool] | 129 | [Bool] |
130 | loopIssue.lc 17:13-17:14 | 130 | 17:13-17:14 |
131 | _b | 131 | _b |
132 | loopIssue.lc 17:13-17:22 | 132 | 17:13-17:22 |
133 | Bool | 133 | Bool |
134 | loopIssue.lc 17:18-17:22 | 134 | 17:18-17:22 |
135 | Type | 135 | Type |
136 | loopIssue.lc 17:23-17:24 | 136 | 17:23-17:24 |
137 | forall a . a -> [a] -> [a] | 137 | forall a . a -> [a] -> [a] |
138 | loopIssue.lc 17:25-17:31 | 138 | 17:25-17:31 |
139 | _c | 139 | _c |
140 | loopIssue.lc 17:32-17:33 | 140 | 17:32-17:33 |
141 | Bool | 141 | Bool |
142 | loopIssue.lc 19:1-19:8 | 142 | 19:1-19:8 |
143 | [Bool] | 143 | [Bool] |
144 | loopIssue.lc 19:11-19:15 | 144 | 19:11-19:15 |
145 | Bool | 145 | Bool |
146 | loopIssue.lc 19:11-19:16 | 146 | 19:11-19:16 |
147 | [Bool] -> [Bool] | 147 | [Bool] -> [Bool] |
148 | loopIssue.lc 19:11-19:24 | 148 | 19:11-19:24 |
149 | [Bool] | 149 | [Bool] |
150 | loopIssue.lc 19:15-19:16 | 150 | 19:15-19:16 |
151 | forall a . a -> [a] -> [a] | 151 | forall a . a -> [a] -> [a] |
152 | loopIssue.lc 19:17-19:24 | 152 | 19:17-19:24 |
153 | [Bool] | 153 | [Bool] |
154 | loopIssue.lc 22:1-22:7 | 154 | 22:1-22:7 |
155 | [Bool] | 155 | [Bool] |
156 | loopIssue.lc 22:10-22:17 | 156 | 22:10-22:17 |
157 | [Bool] | 157 | [Bool] |
158 | loopIssue.lc 26:8-26:10 | 158 | 26:8-26:10 |
159 | forall a . [a] -> Int -> a | 159 | forall a . [a] -> Int -> a |
160 | loopIssue.lc 26:15-26:16 | 160 | 26:15-26:16 |
161 | _e | 161 | _e |
162 | loopIssue.lc 26:15-27:28 | 162 | 26:15-27:28 |
163 | Bool -> _d | _c | 163 | Bool -> _d | _c |
164 | loopIssue.lc 27:17-27:19 | 164 | 27:17-27:19 |
165 | [_h] | 165 | [_h] |
166 | loopIssue.lc 27:20-27:22 | 166 | 27:20-27:22 |
167 | _k | 167 | _k |
168 | loopIssue.lc 27:24-27:25 | 168 | 27:24-27:25 |
169 | _k | 169 | _k |
170 | loopIssue.lc 27:24-27:26 | 170 | 27:24-27:26 |
171 | Int -> Int | 171 | Int -> Int |
172 | loopIssue.lc 27:24-27:27 | 172 | 27:24-27:27 |
173 | Int | 173 | Int |
174 | loopIssue.lc 27:25-27:26 | 174 | 27:25-27:26 |
175 | Int -> Int -> Int | 175 | Int -> Int -> Int |
176 | loopIssue.lc 27:26-27:27 | 176 | 27:26-27:27 |
177 | _b | 177 | _b |
178 | loopIssue.lc 29:1-29:5 | 178 | 29:1-29:5 |
179 | Bool | 179 | Bool |
180 | loopIssue.lc 30:5-30:11 | 180 | 30:5-30:11 |
181 | [Bool] | 181 | [Bool] |
182 | loopIssue.lc 30:5-30:14 | 182 | 30:5-30:14 |
183 | Int -> Bool | 183 | Int -> Bool |
184 | loopIssue.lc 30:5-30:17 | 184 | 30:5-30:17 |
185 | Bool | 185 | Bool |
186 | loopIssue.lc 30:12-30:14 | 186 | 30:12-30:14 |
187 | forall a . [a] -> Int -> a | 187 | forall a . [a] -> Int -> a |
188 | loopIssue.lc 30:15-30:17 | 188 | 30:15-30:17 |
189 | _b | 189 | _b |
190 | ------------ warnings | 190 | ------------ warnings |
191 | Uncovered pattern(s) at loopIssue.lc:26:8: | 191 | Uncovered pattern(s) at ./testdata/loopIssue.lc:26:8: |
192 | (x: _) !! 0 = x | 192 | (x: _) !! 0 = x |
193 | (_ : xs) !! n = xs !! (n-1) | 193 | (_ : xs) !! n = xs !! (n-1) |
194 | Missing case(s): | 194 | Missing case(s): |