1 module Test where
3 foo :: Double -> Int
4 foo x | x == 1 = 1
5 foo x | x == 2 = 2
6 foo x | x == 3 = 3
7 foo x | x == 4 = 4
8 foo x | x == 5 = 5
9 foo x | x == 6 = 6
10 foo x | x == 7 = 7
11 foo x | x == 8 = 8
12 foo x | x == 9 = 9
13 foo x | x == 10 = 10
14 foo x | x == 11 = 11
15 foo x | x == 12 = 12
16 foo x | x == 13 = 13
17 foo x | x == 14 = 14
18 foo x | x == 15 = 15
19 foo x | x == 16 = 16
20 foo x | x == 17 = 17
21 foo x | x == 18 = 18
22 foo x | x == 19 = 19
23 foo x | x == 20 = 20
24 foo x | x == 21 = 21
25 foo x | x == 22 = 22
26 foo x | x == 23 = 23
27 foo x | x == 24 = 24
28 foo x | x == 25 = 25
29 foo x | x == 26 = 26
30 foo x | x == 27 = 27
31 foo x | x == 28 = 28
32 foo x | x == 29 = 29
33 foo x | x == 30 = 30
34 foo x | x == 31 = 31
35 foo x | x == 32 = 32
36 foo x | x == 33 = 33
37 foo x | x == 34 = 34
38 foo x | x == 35 = 35
39 foo x | x == 36 = 36
40 foo x | x == 37 = 37
41 foo x | x == 38 = 38
42 foo x | x == 39 = 39
43 foo x | x == 40 = 40
44 foo x | x == 41 = 41
45 foo x | x == 42 = 42
46 foo x | x == 43 = 43
47 foo x | x == 44 = 44
48 foo x | x == 45 = 45
49 foo x | x == 46 = 46
50 foo x | x == 47 = 47
51 foo x | x == 48 = 48
52 foo x | x == 49 = 49
53 foo x | x == 50 = 50
54 foo x | x == 51 = 51
55 foo x | x == 52 = 52
56 foo x | x == 53 = 53
57 foo x | x == 54 = 54
58 foo x | x == 55 = 55
59 foo x | x == 56 = 56
60 foo x | x == 57 = 57
61 foo x | x == 58 = 58
62 foo x | x == 59 = 59
63 foo x | x == 60 = 60
64 foo x | x == 61 = 61
65 foo x | x == 62 = 62
66 foo x | x == 63 = 63
67 foo x | x == 64 = 64
68 foo x | x == 65 = 65
69 foo x | x == 66 = 66
70 foo x | x == 67 = 67
71 foo x | x == 68 = 68
72 foo x | x == 69 = 69
73 foo x | x == 70 = 70
74 foo x | x == 71 = 71
75 foo x | x == 72 = 72
76 foo x | x == 73 = 73
77 foo x | x == 74 = 74
78 foo x | x == 75 = 75
79 foo x | x == 76 = 76
80 foo x | x == 77 = 77
81 foo x | x == 78 = 78
82 foo x | x == 79 = 79
83 foo x | x == 80 = 80
84 foo x | x == 81 = 81
85 foo x | x == 82 = 82
86 foo x | x == 83 = 83
87 foo x | x == 84 = 84
88 foo x | x == 85 = 85
89 foo x | x == 86 = 86
90 foo x | x == 87 = 87
91 foo x | x == 88 = 88
92 foo x | x == 89 = 89
93 foo x | x == 90 = 90
94 foo x | x == 91 = 91
95 foo x | x == 92 = 92
96 foo x | x == 93 = 93
97 foo x | x == 94 = 94
98 foo x | x == 95 = 95
99 foo x | x == 96 = 96
100 foo x | x == 97 = 97
101 foo x | x == 98 = 98
102 foo x | x == 99 = 99
103 foo x | x == 100 = 100
104 foo x | x == 101 = 101
105 foo x | x == 102 = 102
106 foo x | x == 103 = 103
107 foo x | x == 104 = 104
108 foo x | x == 105 = 105
109 foo x | x == 106 = 106
110 foo x | x == 107 = 107
111 foo x | x == 108 = 108
112 foo x | x == 109 = 109
113 foo x | x == 110 = 110
114 foo x | x == 111 = 111
115 foo x | x == 112 = 112
116 foo x | x == 113 = 113
117 foo x | x == 114 = 114
118 foo x | x == 115 = 115
119 foo x | x == 116 = 116
120 foo x | x == 117 = 117
121 foo x | x == 118 = 118
122 foo x | x == 119 = 119
123 foo x | x == 120 = 120
124 foo x | x == 121 = 121
125 foo x | x == 122 = 122
126 foo x | x == 123 = 123
127 foo x | x == 124 = 124
128 foo x | x == 125 = 125
129 foo x | x == 126 = 126
130 foo x | x == 127 = 127
131 foo x | x == 128 = 128
132 foo x | x == 129 = 129
133 foo x | x == 130 = 130
134 foo x | x == 131 = 131
135 foo x | x == 132 = 132
136 foo x | x == 133 = 133
137 foo x | x == 134 = 134
138 foo x | x == 135 = 135
139 foo x | x == 136 = 136
140 foo x | x == 137 = 137
141 foo x | x == 138 = 138
142 foo x | x == 139 = 139
143 foo x | x == 140 = 140
144 foo x | x == 141 = 141
145 foo x | x == 142 = 142
146 foo x | x == 143 = 143
147 foo x | x == 144 = 144
148 foo x | x == 145 = 145
149 foo x | x == 146 = 146
150 foo x | x == 147 = 147
151 foo x | x == 148 = 148
152 foo x | x == 149 = 149
153 foo x | x == 150 = 150
154 foo x | x == 151 = 151
155 foo x | x == 152 = 152
156 foo x | x == 153 = 153
157 foo x | x == 154 = 154
158 foo x | x == 155 = 155
159 foo x | x == 156 = 156
160 foo x | x == 157 = 157
161 foo x | x == 158 = 158
162 foo x | x == 159 = 159
163 foo x | x == 160 = 160
164 foo x | x == 161 = 161
165 foo x | x == 162 = 162
166 foo x | x == 163 = 163
167 foo x | x == 164 = 164
168 foo x | x == 165 = 165
169 foo x | x == 166 = 166
170 foo x | x == 167 = 167
171 foo x | x == 168 = 168
172 foo x | x == 169 = 169
173 foo x | x == 170 = 170
174 foo x | x == 171 = 171
175 foo x | x == 172 = 172
176 foo x | x == 173 = 173
177 foo x | x == 174 = 174
178 foo x | x == 175 = 175
179 foo x | x == 176 = 176
180 foo x | x == 177 = 177
181 foo x | x == 178 = 178
182 foo x | x == 179 = 179
183 foo x | x == 180 = 180
184 foo x | x == 181 = 181
185 foo x | x == 182 = 182
186 foo x | x == 183 = 183
187 foo x | x == 184 = 184
188 foo x | x == 185 = 185
189 foo x | x == 186 = 186
190 foo x | x == 187 = 187
191 foo x | x == 188 = 188
192 foo x | x == 189 = 189
193 foo x | x == 190 = 190
194 foo x | x == 191 = 191
195 foo x | x == 192 = 192
196 foo x | x == 193 = 193
197 foo x | x == 194 = 194
198 foo x | x == 195 = 195
199 foo x | x == 196 = 196
200 foo x | x == 197 = 197
201 foo x | x == 198 = 198
202 foo x | x == 199 = 199
203 foo x | x == 200 = 200
204 foo x | x == 201 = 201
205 foo x | x == 202 = 202
206 foo x | x == 203 = 203
207 foo x | x == 204 = 204
208 foo x | x == 205 = 205
209 foo x | x == 206 = 206
210 foo x | x == 207 = 207
211 foo x | x == 208 = 208
212 foo x | x == 209 = 209
213 foo x | x == 210 = 210
214 foo x | x == 211 = 211
215 foo x | x == 212 = 212
216 foo x | x == 213 = 213
217 foo x | x == 214 = 214
218 foo x | x == 215 = 215
219 foo x | x == 216 = 216
220 foo x | x == 217 = 217
221 foo x | x == 218 = 218
222 foo x | x == 219 = 219
223 foo x | x == 220 = 220
224 foo x | x == 221 = 221
225 foo x | x == 222 = 222
226 foo x | x == 223 = 223
227 foo x | x == 224 = 224
228 foo x | x == 225 = 225
229 foo x | x == 226 = 226
230 foo x | x == 227 = 227
231 foo x | x == 228 = 228
232 foo x | x == 229 = 229
233 foo x | x == 230 = 230
234 foo x | x == 231 = 231
235 foo x | x == 232 = 232
236 foo x | x == 233 = 233
237 foo x | x == 234 = 234
238 foo x | x == 235 = 235
239 foo x | x == 236 = 236
240 foo x | x == 237 = 237
241 foo x | x == 238 = 238
242 foo x | x == 239 = 239
243 foo x | x == 240 = 240
244 foo x | x == 241 = 241
245 foo x | x == 242 = 242
246 foo x | x == 243 = 243
247 foo x | x == 244 = 244
248 foo x | x == 245 = 245
249 foo x | x == 246 = 246
250 foo x | x == 247 = 247
251 foo x | x == 248 = 248
252 foo x | x == 249 = 249
253 foo x | x == 250 = 250
254 foo x | x == 251 = 251
255 foo x | x == 252 = 252
256 foo x | x == 253 = 253
257 foo x | x == 254 = 254
258 foo x | x == 255 = 255
259 foo x | x == 256 = 256
260 foo x | x == 257 = 257
261 foo x | x == 258 = 258
262 foo x | x == 259 = 259
263 foo x | x == 260 = 260
264 foo x | x == 261 = 261
265 foo x | x == 262 = 262
266 foo x | x == 263 = 263
267 foo x | x == 264 = 264
268 foo x | x == 265 = 265
269 foo x | x == 266 = 266
270 foo x | x == 267 = 267
271 foo x | x == 268 = 268
272 foo x | x == 269 = 269
273 foo x | x == 270 = 270
274 foo x | x == 271 = 271
275 foo x | x == 272 = 272
276 foo x | x == 273 = 273
277 foo x | x == 274 = 274
278 foo x | x == 275 = 275
279 foo x | x == 276 = 276
280 foo x | x == 277 = 277
281 foo x | x == 278 = 278
282 foo x | x == 279 = 279
283 foo x | x == 280 = 280
284 foo x | x == 281 = 281
285 foo x | x == 282 = 282
286 foo x | x == 283 = 283
287 foo x | x == 284 = 284
288 foo x | x == 285 = 285
289 foo x | x == 286 = 286
290 foo x | x == 287 = 287
291 foo x | x == 288 = 288
292 foo x | x == 289 = 289
293 foo x | x == 290 = 290
294 foo x | x == 291 = 291
295 foo x | x == 292 = 292
296 foo x | x == 293 = 293
297 foo x | x == 294 = 294
298 foo x | x == 295 = 295
299 foo x | x == 296 = 296
300 foo x | x == 297 = 297
301 foo x | x == 298 = 298
302 foo x | x == 299 = 299
303 foo x | x == 300 = 300
304 foo x | x == 301 = 301
305 foo x | x == 302 = 302
306 foo x | x == 303 = 303
307 foo x | x == 304 = 304
308 foo x | x == 305 = 305
309 foo x | x == 306 = 306
310 foo x | x == 307 = 307
311 foo x | x == 308 = 308
312 foo x | x == 309 = 309
313 foo x | x == 310 = 310
314 foo x | x == 311 = 311
315 foo x | x == 312 = 312
316 foo x | x == 313 = 313
317 foo x | x == 314 = 314
318 foo x | x == 315 = 315
319 foo x | x == 316 = 316
320 foo x | x == 317 = 317
321 foo x | x == 318 = 318
322 foo x | x == 319 = 319
323 foo x | x == 320 = 320
324 foo x | x == 321 = 321
325 foo x | x == 322 = 322
326 foo x | x == 323 = 323
327 foo x | x == 324 = 324
328 foo x | x == 325 = 325
329 foo x | x == 326 = 326
330 foo x | x == 327 = 327
331 foo x | x == 328 = 328
332 foo x | x == 329 = 329
333 foo x | x == 330 = 330
334 foo x | x == 331 = 331
335 foo x | x == 332 = 332
336 foo x | x == 333 = 333
337 foo x | x == 334 = 334
338 foo x | x == 335 = 335
339 foo x | x == 336 = 336
340 foo x | x == 337 = 337
341 foo x | x == 338 = 338
342 foo x | x == 339 = 339
343 foo x | x == 340 = 340
344 foo x | x == 341 = 341
345 foo x | x == 342 = 342
346 foo x | x == 343 = 343
347 foo x | x == 344 = 344
348 foo x | x == 345 = 345
349 foo x | x == 346 = 346
350 foo x | x == 347 = 347
351 foo x | x == 348 = 348
352 foo x | x == 349 = 349
353 foo x | x == 350 = 350
354 foo x | x == 351 = 351
355 foo x | x == 352 = 352
356 foo x | x == 353 = 353
357 foo x | x == 354 = 354
358 foo x | x == 355 = 355
359 foo x | x == 356 = 356
360 foo x | x == 357 = 357
361 foo x | x == 358 = 358
362 foo x | x == 359 = 359
363 foo x | x == 360 = 360
364 foo x | x == 361 = 361
365 foo x | x == 362 = 362
366 foo x | x == 363 = 363
367 foo x | x == 364 = 364
368 foo x | x == 365 = 365
369 foo x | x == 366 = 366
370 foo x | x == 367 = 367
371 foo x | x == 368 = 368
372 foo x | x == 369 = 369
373 foo x | x == 370 = 370
374 foo x | x == 371 = 371
375 foo x | x == 372 = 372
376 foo x | x == 373 = 373
377 foo x | x == 374 = 374
378 foo x | x == 375 = 375
379 foo x | x == 376 = 376
380 foo x | x == 377 = 377
381 foo x | x == 378 = 378
382 foo x | x == 379 = 379
383 foo x | x == 380 = 380
384 foo x | x == 381 = 381
385 foo x | x == 382 = 382
386 foo x | x == 383 = 383
387 foo x | x == 384 = 384
388 foo x | x == 385 = 385
389 foo x | x == 386 = 386
390 foo x | x == 387 = 387
391 foo x | x == 388 = 388
392 foo x | x == 389 = 389
393 foo x | x == 390 = 390
394 foo x | x == 391 = 391
395 foo x | x == 392 = 392
396 foo x | x == 393 = 393
397 foo x | x == 394 = 394
398 foo x | x == 395 = 395
399 foo x | x == 396 = 396
400 foo x | x == 397 = 397
401 foo x | x == 398 = 398
402 foo x | x == 399 = 399
403 foo x | x == 400 = 400
404 foo x | x == 401 = 401
405 foo x | x == 402 = 402
406 foo x | x == 403 = 403
407 foo x | x == 404 = 404
408 foo x | x == 405 = 405
409 foo x | x == 406 = 406
410 foo x | x == 407 = 407
411 foo x | x == 408 = 408
412 foo x | x == 409 = 409
413 foo x | x == 410 = 410
414 foo x | x == 411 = 411
415 foo x | x == 412 = 412
416 foo x | x == 413 = 413
417 foo x | x == 414 = 414
418 foo x | x == 415 = 415
419 foo x | x == 416 = 416
420 foo x | x == 417 = 417
421 foo x | x == 418 = 418
422 foo x | x == 419 = 419
423 foo x | x == 420 = 420
424 foo x | x == 421 = 421
425 foo x | x == 422 = 422
426 foo x | x == 423 = 423
427 foo x | x == 424 = 424
428 foo x | x == 425 = 425
429 foo x | x == 426 = 426
430 foo x | x == 427 = 427
431 foo x | x == 428 = 428
432 foo x | x == 429 = 429
433 foo x | x == 430 = 430
434 foo x | x == 431 = 431
435 foo x | x == 432 = 432
436 foo x | x == 433 = 433
437 foo x | x == 434 = 434
438 foo x | x == 435 = 435
439 foo x | x == 436 = 436
440 foo x | x == 437 = 437
441 foo x | x == 438 = 438
442 foo x | x == 439 = 439
443 foo x | x == 440 = 440
444 foo x | x == 441 = 441
445 foo x | x == 442 = 442
446 foo x | x == 443 = 443
447 foo x | x == 444 = 444
448 foo x | x == 445 = 445
449 foo x | x == 446 = 446
450 foo x | x == 447 = 447
451 foo x | x == 448 = 448
452 foo x | x == 449 = 449
453 foo x | x == 450 = 450
454 foo x | x == 451 = 451
455 foo x | x == 452 = 452
456 foo x | x == 453 = 453
457 foo x | x == 454 = 454
458 foo x | x == 455 = 455
459 foo x | x == 456 = 456
460 foo x | x == 457 = 457
461 foo x | x == 458 = 458
462 foo x | x == 459 = 459
463 foo x | x == 460 = 460
464 foo x | x == 461 = 461
465 foo x | x == 462 = 462
466 foo x | x == 463 = 463
467 foo x | x == 464 = 464
468 foo x | x == 465 = 465
469 foo x | x == 466 = 466
470 foo x | x == 467 = 467
471 foo x | x == 468 = 468
472 foo x | x == 469 = 469
473 foo x | x == 470 = 470
474 foo x | x == 471 = 471
475 foo x | x == 472 = 472
476 foo x | x == 473 = 473
477 foo x | x == 474 = 474
478 foo x | x == 475 = 475
479 foo x | x == 476 = 476
480 foo x | x == 477 = 477
481 foo x | x == 478 = 478
482 foo x | x == 479 = 479
483 foo x | x == 480 = 480
484 foo x | x == 481 = 481
485 foo x | x == 482 = 482
486 foo x | x == 483 = 483
487 foo x | x == 484 = 484
488 foo x | x == 485 = 485
489 foo x | x == 486 = 486
490 foo x | x == 487 = 487
491 foo x | x == 488 = 488
492 foo x | x == 489 = 489
493 foo x | x == 490 = 490
494 foo x | x == 491 = 491
495 foo x | x == 492 = 492
496 foo x | x == 493 = 493
497 foo x | x == 494 = 494
498 foo x | x == 495 = 495
499 foo x | x == 496 = 496
500 foo x | x == 497 = 497
501 foo x | x == 498 = 498
502 foo x | x == 499 = 499
503 foo x | x == 500 = 500