summaryrefslogtreecommitdiff
path: root/testdata/loopIssue.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/loopIssue.out
parent8ac42fa1bccb554de833ea7d8070cb5112e01aee (diff)
refactoring & fix build
Diffstat (limited to 'testdata/loopIssue.out')
-rw-r--r--testdata/loopIssue.out100
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)
89repeatT :: [Bool] 89repeatT :: [Bool]
90repeatT = primFix _ \a -> _rhs (True : a) 90repeatT = primFix _ \a -> _rhs (True : a)
91------------ tooltips 91------------ tooltips
92loopIssue.lc 5:6-5:9 925:6-5:9
93 Type | Type | Type | Type | Type | Type 93 Type | Type | Type | Type | Type | Type
94loopIssue.lc 5:6-5:15 945:6-5:15
95 Type 95 Type
96loopIssue.lc 5:12-5:15 965:12-5:15
97 Inf -> Inf | Inf | Type | Type 97 Inf -> Inf | Inf | Type | Type
98loopIssue.lc 5:16-5:19 985:16-5:19
99 Type 99 Type
100loopIssue.lc 7:1-7:4 1007:1-7:4
101 Inf 101 Inf
102loopIssue.lc 7:7-7:10 1027:7-7:10
103 Inf -> Inf 103 Inf -> Inf
104loopIssue.lc 7:7-7:14 1047:7-7:14
105 Inf 105 Inf
106loopIssue.lc 7:11-7:14 1067:11-7:14
107 Inf 107 Inf
108loopIssue.lc 9:1-9:6 1089:1-9:6
109 Bool 109 Bool
110loopIssue.lc 9:9-10:18 1109:9-10:18
111 Bool 111 Bool
112loopIssue.lc 9:14-9:17 1129:14-9:17
113 Inf 113 Inf
114loopIssue.lc 10:14-10:18 11410:14-10:18
115 Bool 115 Bool
116loopIssue.lc 13:1-13:5 11613:1-13:5
117 Inf 117 Inf
118loopIssue.lc 13:8-13:11 11813:8-13:11
119 Inf 119 Inf
120loopIssue.lc 15:2-15:3 12015:2-15:3
121 Int -> Int -> Int 121 Int -> Int -> Int
122loopIssue.lc 15:7-15:17 12215:7-15:17
123 Int -> Int -> Int 123 Int -> Int -> Int
124loopIssue.lc 17:1-17:7 12417:1-17:7
125 Bool -> [Bool] 125 Bool -> [Bool]
126loopIssue.lc 17:12-17:24 12617:12-17:24
127 [Bool] -> [Bool] 127 [Bool] -> [Bool]
128loopIssue.lc 17:12-17:33 12817:12-17:33
129 [Bool] 129 [Bool]
130loopIssue.lc 17:13-17:14 13017:13-17:14
131 _b 131 _b
132loopIssue.lc 17:13-17:22 13217:13-17:22
133 Bool 133 Bool
134loopIssue.lc 17:18-17:22 13417:18-17:22
135 Type 135 Type
136loopIssue.lc 17:23-17:24 13617:23-17:24
137 forall a . a -> [a] -> [a] 137 forall a . a -> [a] -> [a]
138loopIssue.lc 17:25-17:31 13817:25-17:31
139 _c 139 _c
140loopIssue.lc 17:32-17:33 14017:32-17:33
141 Bool 141 Bool
142loopIssue.lc 19:1-19:8 14219:1-19:8
143 [Bool] 143 [Bool]
144loopIssue.lc 19:11-19:15 14419:11-19:15
145 Bool 145 Bool
146loopIssue.lc 19:11-19:16 14619:11-19:16
147 [Bool] -> [Bool] 147 [Bool] -> [Bool]
148loopIssue.lc 19:11-19:24 14819:11-19:24
149 [Bool] 149 [Bool]
150loopIssue.lc 19:15-19:16 15019:15-19:16
151 forall a . a -> [a] -> [a] 151 forall a . a -> [a] -> [a]
152loopIssue.lc 19:17-19:24 15219:17-19:24
153 [Bool] 153 [Bool]
154loopIssue.lc 22:1-22:7 15422:1-22:7
155 [Bool] 155 [Bool]
156loopIssue.lc 22:10-22:17 15622:10-22:17
157 [Bool] 157 [Bool]
158loopIssue.lc 26:8-26:10 15826:8-26:10
159 forall a . [a] -> Int -> a 159 forall a . [a] -> Int -> a
160loopIssue.lc 26:15-26:16 16026:15-26:16
161 _e 161 _e
162loopIssue.lc 26:15-27:28 16226:15-27:28
163 Bool -> _d | _c 163 Bool -> _d | _c
164loopIssue.lc 27:17-27:19 16427:17-27:19
165 [_h] 165 [_h]
166loopIssue.lc 27:20-27:22 16627:20-27:22
167 _k 167 _k
168loopIssue.lc 27:24-27:25 16827:24-27:25
169 _k 169 _k
170loopIssue.lc 27:24-27:26 17027:24-27:26
171 Int -> Int 171 Int -> Int
172loopIssue.lc 27:24-27:27 17227:24-27:27
173 Int 173 Int
174loopIssue.lc 27:25-27:26 17427:25-27:26
175 Int -> Int -> Int 175 Int -> Int -> Int
176loopIssue.lc 27:26-27:27 17627:26-27:27
177 _b 177 _b
178loopIssue.lc 29:1-29:5 17829:1-29:5
179 Bool 179 Bool
180loopIssue.lc 30:5-30:11 18030:5-30:11
181 [Bool] 181 [Bool]
182loopIssue.lc 30:5-30:14 18230:5-30:14
183 Int -> Bool 183 Int -> Bool
184loopIssue.lc 30:5-30:17 18430:5-30:17
185 Bool 185 Bool
186loopIssue.lc 30:12-30:14 18630:12-30:14
187 forall a . [a] -> Int -> a 187 forall a . [a] -> Int -> a
188loopIssue.lc 30:15-30:17 18830:15-30:17
189 _b 189 _b
190------------ warnings 190------------ warnings
191Uncovered pattern(s) at loopIssue.lc:26:8: 191Uncovered 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)
194Missing case(s): 194Missing case(s):