Andreas Klebinger pushed to branch wip/andreask/t26425_test at Glasgow Haskell Compiler / GHC
Commits:
-
d706155a
by Andreas Klebinger at 2025-10-03T11:31:43+02:00
2 changed files:
Changes:
| 1 | +{-# LANGUAGE OverloadedStrings #-}
|
|
| 2 | + |
|
| 3 | +module Reproducer (strToInt) where
|
|
| 4 | + |
|
| 5 | +import qualified Data.Text as T
|
|
| 6 | + |
|
| 7 | +{- This program results in a nested chain of join points and cases which tests
|
|
| 8 | + primarily OccAnal and Unfolding performance.
|
|
| 9 | +-}
|
|
| 10 | + |
|
| 11 | +strToInt :: T.Text -> Maybe Int
|
|
| 12 | +strToInt txt = case txt of
|
|
| 13 | + "0" -> Just 0
|
|
| 14 | + "1" -> Just 1
|
|
| 15 | + "2" -> Just 2
|
|
| 16 | + "3" -> Just 3
|
|
| 17 | + "4" -> Just 4
|
|
| 18 | + "5" -> Just 5
|
|
| 19 | + "6" -> Just 6
|
|
| 20 | + "7" -> Just 7
|
|
| 21 | + "8" -> Just 8
|
|
| 22 | + "9" -> Just 9
|
|
| 23 | + "10" -> Just 10
|
|
| 24 | + "11" -> Just 11
|
|
| 25 | + "12" -> Just 12
|
|
| 26 | + "13" -> Just 13
|
|
| 27 | + "14" -> Just 14
|
|
| 28 | + "15" -> Just 15
|
|
| 29 | + "16" -> Just 16
|
|
| 30 | + "17" -> Just 17
|
|
| 31 | + "18" -> Just 18
|
|
| 32 | + "19" -> Just 19
|
|
| 33 | + "20" -> Just 20
|
|
| 34 | + "21" -> Just 21
|
|
| 35 | + "22" -> Just 22
|
|
| 36 | + "23" -> Just 23
|
|
| 37 | + "24" -> Just 24
|
|
| 38 | + "25" -> Just 25
|
|
| 39 | + "26" -> Just 26
|
|
| 40 | + "27" -> Just 27
|
|
| 41 | + "28" -> Just 28
|
|
| 42 | + "29" -> Just 29
|
|
| 43 | + "30" -> Just 30
|
|
| 44 | + "31" -> Just 31
|
|
| 45 | + "32" -> Just 32
|
|
| 46 | + "33" -> Just 33
|
|
| 47 | + "34" -> Just 34
|
|
| 48 | + "35" -> Just 35
|
|
| 49 | + "36" -> Just 36
|
|
| 50 | + "37" -> Just 37
|
|
| 51 | + "38" -> Just 38
|
|
| 52 | + "39" -> Just 39
|
|
| 53 | + "40" -> Just 40
|
|
| 54 | + "41" -> Just 41
|
|
| 55 | + "42" -> Just 42
|
|
| 56 | + "43" -> Just 43
|
|
| 57 | + "44" -> Just 44
|
|
| 58 | + "45" -> Just 45
|
|
| 59 | + "46" -> Just 46
|
|
| 60 | + "47" -> Just 47
|
|
| 61 | + "48" -> Just 48
|
|
| 62 | + "49" -> Just 49
|
|
| 63 | + "50" -> Just 50
|
|
| 64 | + "51" -> Just 51
|
|
| 65 | + "52" -> Just 52
|
|
| 66 | + "53" -> Just 53
|
|
| 67 | + "54" -> Just 54
|
|
| 68 | + "55" -> Just 55
|
|
| 69 | + "56" -> Just 56
|
|
| 70 | + "57" -> Just 57
|
|
| 71 | + "58" -> Just 58
|
|
| 72 | + "59" -> Just 59
|
|
| 73 | + "60" -> Just 60
|
|
| 74 | + "61" -> Just 61
|
|
| 75 | + "62" -> Just 62
|
|
| 76 | + "63" -> Just 63
|
|
| 77 | + "64" -> Just 64
|
|
| 78 | + "65" -> Just 65
|
|
| 79 | + "66" -> Just 66
|
|
| 80 | + "67" -> Just 67
|
|
| 81 | + "68" -> Just 68
|
|
| 82 | + "69" -> Just 69
|
|
| 83 | + "70" -> Just 70
|
|
| 84 | + "71" -> Just 71
|
|
| 85 | + "72" -> Just 72
|
|
| 86 | + "73" -> Just 73
|
|
| 87 | + "74" -> Just 74
|
|
| 88 | + "75" -> Just 75
|
|
| 89 | + "76" -> Just 76
|
|
| 90 | + "77" -> Just 77
|
|
| 91 | + "78" -> Just 78
|
|
| 92 | + "79" -> Just 79
|
|
| 93 | + "80" -> Just 80
|
|
| 94 | + "81" -> Just 81
|
|
| 95 | + "82" -> Just 82
|
|
| 96 | + "83" -> Just 83
|
|
| 97 | + "84" -> Just 84
|
|
| 98 | + "85" -> Just 85
|
|
| 99 | + "86" -> Just 86
|
|
| 100 | + "87" -> Just 87
|
|
| 101 | + "88" -> Just 88
|
|
| 102 | + "89" -> Just 89
|
|
| 103 | + "90" -> Just 90
|
|
| 104 | + "91" -> Just 91
|
|
| 105 | + "92" -> Just 92
|
|
| 106 | + "93" -> Just 93
|
|
| 107 | + "94" -> Just 94
|
|
| 108 | + "95" -> Just 95
|
|
| 109 | + "96" -> Just 96
|
|
| 110 | + "97" -> Just 97
|
|
| 111 | + "98" -> Just 98
|
|
| 112 | + "99" -> Just 99
|
|
| 113 | + "100" -> Just 100
|
|
| 114 | + "101" -> Just 101
|
|
| 115 | + "102" -> Just 102
|
|
| 116 | + "103" -> Just 103
|
|
| 117 | + "104" -> Just 104
|
|
| 118 | + "105" -> Just 105
|
|
| 119 | + "106" -> Just 106
|
|
| 120 | + "107" -> Just 107
|
|
| 121 | + "108" -> Just 108
|
|
| 122 | + "109" -> Just 109
|
|
| 123 | + "110" -> Just 110
|
|
| 124 | + "111" -> Just 111
|
|
| 125 | + "112" -> Just 112
|
|
| 126 | + "113" -> Just 113
|
|
| 127 | + "114" -> Just 114
|
|
| 128 | + "115" -> Just 115
|
|
| 129 | + "116" -> Just 116
|
|
| 130 | + "117" -> Just 117
|
|
| 131 | + "118" -> Just 118
|
|
| 132 | + "119" -> Just 119
|
|
| 133 | + "120" -> Just 120
|
|
| 134 | + "121" -> Just 121
|
|
| 135 | + "122" -> Just 122
|
|
| 136 | + "123" -> Just 123
|
|
| 137 | + "124" -> Just 124
|
|
| 138 | + "125" -> Just 125
|
|
| 139 | + "126" -> Just 126
|
|
| 140 | + "127" -> Just 127
|
|
| 141 | + "128" -> Just 128
|
|
| 142 | + "129" -> Just 129
|
|
| 143 | + "130" -> Just 130
|
|
| 144 | + "131" -> Just 131
|
|
| 145 | + "132" -> Just 132
|
|
| 146 | + "133" -> Just 133
|
|
| 147 | + "134" -> Just 134
|
|
| 148 | + "135" -> Just 135
|
|
| 149 | + "136" -> Just 136
|
|
| 150 | + "137" -> Just 137
|
|
| 151 | + "138" -> Just 138
|
|
| 152 | + "139" -> Just 139
|
|
| 153 | + "140" -> Just 140
|
|
| 154 | + "141" -> Just 141
|
|
| 155 | + "142" -> Just 142
|
|
| 156 | + "143" -> Just 143
|
|
| 157 | + "144" -> Just 144
|
|
| 158 | + "145" -> Just 145
|
|
| 159 | + "146" -> Just 146
|
|
| 160 | + "147" -> Just 147
|
|
| 161 | + "148" -> Just 148
|
|
| 162 | + "149" -> Just 149
|
|
| 163 | + "150" -> Just 150
|
|
| 164 | + "151" -> Just 151
|
|
| 165 | + "152" -> Just 152
|
|
| 166 | + "153" -> Just 153
|
|
| 167 | + "154" -> Just 154
|
|
| 168 | + "155" -> Just 155
|
|
| 169 | + "156" -> Just 156
|
|
| 170 | + "157" -> Just 157
|
|
| 171 | + "158" -> Just 158
|
|
| 172 | + "159" -> Just 159
|
|
| 173 | + "160" -> Just 160
|
|
| 174 | + "161" -> Just 161
|
|
| 175 | + "162" -> Just 162
|
|
| 176 | + "163" -> Just 163
|
|
| 177 | + "164" -> Just 164
|
|
| 178 | + "165" -> Just 165
|
|
| 179 | + "166" -> Just 166
|
|
| 180 | + "167" -> Just 167
|
|
| 181 | + "168" -> Just 168
|
|
| 182 | + "169" -> Just 169
|
|
| 183 | + "170" -> Just 170
|
|
| 184 | + "171" -> Just 171
|
|
| 185 | + "172" -> Just 172
|
|
| 186 | + "173" -> Just 173
|
|
| 187 | + "174" -> Just 174
|
|
| 188 | + "175" -> Just 175
|
|
| 189 | + "176" -> Just 176
|
|
| 190 | + "177" -> Just 177
|
|
| 191 | + "178" -> Just 178
|
|
| 192 | + "179" -> Just 179
|
|
| 193 | + "180" -> Just 180
|
|
| 194 | + "181" -> Just 181
|
|
| 195 | + "182" -> Just 182
|
|
| 196 | + "183" -> Just 183
|
|
| 197 | + "184" -> Just 184
|
|
| 198 | + "185" -> Just 185
|
|
| 199 | + "186" -> Just 186
|
|
| 200 | + "187" -> Just 187
|
|
| 201 | + "188" -> Just 188
|
|
| 202 | + "189" -> Just 189
|
|
| 203 | + "190" -> Just 190
|
|
| 204 | + "191" -> Just 191
|
|
| 205 | + "192" -> Just 192
|
|
| 206 | + "193" -> Just 193
|
|
| 207 | + "194" -> Just 194
|
|
| 208 | + "195" -> Just 195
|
|
| 209 | + "196" -> Just 196
|
|
| 210 | + "197" -> Just 197
|
|
| 211 | + "198" -> Just 198
|
|
| 212 | + "199" -> Just 199
|
|
| 213 | + "200" -> Just 200
|
|
| 214 | + "201" -> Just 201
|
|
| 215 | + "202" -> Just 202
|
|
| 216 | + "203" -> Just 203
|
|
| 217 | + "204" -> Just 204
|
|
| 218 | + "205" -> Just 205
|
|
| 219 | + "206" -> Just 206
|
|
| 220 | + "207" -> Just 207
|
|
| 221 | + "208" -> Just 208
|
|
| 222 | + "209" -> Just 209
|
|
| 223 | + "210" -> Just 210
|
|
| 224 | + "211" -> Just 211
|
|
| 225 | + "212" -> Just 212
|
|
| 226 | + "213" -> Just 213
|
|
| 227 | + "214" -> Just 214
|
|
| 228 | + "215" -> Just 215
|
|
| 229 | + "216" -> Just 216
|
|
| 230 | + "217" -> Just 217
|
|
| 231 | + "218" -> Just 218
|
|
| 232 | + "219" -> Just 219
|
|
| 233 | + "220" -> Just 220
|
|
| 234 | + "221" -> Just 221
|
|
| 235 | + "222" -> Just 222
|
|
| 236 | + "223" -> Just 223
|
|
| 237 | + "224" -> Just 224
|
|
| 238 | + "225" -> Just 225
|
|
| 239 | + "226" -> Just 226
|
|
| 240 | + "227" -> Just 227
|
|
| 241 | + "228" -> Just 228
|
|
| 242 | + "229" -> Just 229
|
|
| 243 | + "230" -> Just 230
|
|
| 244 | + "231" -> Just 231
|
|
| 245 | + "232" -> Just 232
|
|
| 246 | + "233" -> Just 233
|
|
| 247 | + "234" -> Just 234
|
|
| 248 | + "235" -> Just 235
|
|
| 249 | + "236" -> Just 236
|
|
| 250 | + "237" -> Just 237
|
|
| 251 | + "238" -> Just 238
|
|
| 252 | + "239" -> Just 239
|
|
| 253 | + "240" -> Just 240
|
|
| 254 | + "241" -> Just 241
|
|
| 255 | + "242" -> Just 242
|
|
| 256 | + "243" -> Just 243
|
|
| 257 | + "244" -> Just 244
|
|
| 258 | + "245" -> Just 245
|
|
| 259 | + "246" -> Just 246
|
|
| 260 | + "247" -> Just 247
|
|
| 261 | + "248" -> Just 248
|
|
| 262 | + "249" -> Just 249
|
|
| 263 | + "250" -> Just 250
|
|
| 264 | + "251" -> Just 251
|
|
| 265 | + "252" -> Just 252
|
|
| 266 | + "253" -> Just 253
|
|
| 267 | + "254" -> Just 254
|
|
| 268 | + "255" -> Just 255
|
|
| 269 | + "256" -> Just 256
|
|
| 270 | + "257" -> Just 257
|
|
| 271 | + "258" -> Just 258
|
|
| 272 | + "259" -> Just 259
|
|
| 273 | + "260" -> Just 260
|
|
| 274 | + "261" -> Just 261
|
|
| 275 | + "262" -> Just 262
|
|
| 276 | + "263" -> Just 263
|
|
| 277 | + "264" -> Just 264
|
|
| 278 | + "265" -> Just 265
|
|
| 279 | + "266" -> Just 266
|
|
| 280 | + "267" -> Just 267
|
|
| 281 | + "268" -> Just 268
|
|
| 282 | + "269" -> Just 269
|
|
| 283 | + "270" -> Just 270
|
|
| 284 | + "271" -> Just 271
|
|
| 285 | + "272" -> Just 272
|
|
| 286 | + "273" -> Just 273
|
|
| 287 | + "274" -> Just 274
|
|
| 288 | + "275" -> Just 275
|
|
| 289 | + "276" -> Just 276
|
|
| 290 | + "277" -> Just 277
|
|
| 291 | + "278" -> Just 278
|
|
| 292 | + "279" -> Just 279
|
|
| 293 | + "280" -> Just 280
|
|
| 294 | + "281" -> Just 281
|
|
| 295 | + "282" -> Just 282
|
|
| 296 | + "283" -> Just 283
|
|
| 297 | + "284" -> Just 284
|
|
| 298 | + "285" -> Just 285
|
|
| 299 | + "286" -> Just 286
|
|
| 300 | + "287" -> Just 287
|
|
| 301 | + "288" -> Just 288
|
|
| 302 | + "289" -> Just 289
|
|
| 303 | + "290" -> Just 290
|
|
| 304 | + "291" -> Just 291
|
|
| 305 | + "292" -> Just 292
|
|
| 306 | + "293" -> Just 293
|
|
| 307 | + "294" -> Just 294
|
|
| 308 | + "295" -> Just 295
|
|
| 309 | + "296" -> Just 296
|
|
| 310 | + "297" -> Just 297
|
|
| 311 | + "298" -> Just 298
|
|
| 312 | + "299" -> Just 299
|
|
| 313 | + "300" -> Just 300
|
|
| 314 | + "301" -> Just 301
|
|
| 315 | + "302" -> Just 302
|
|
| 316 | + "303" -> Just 303
|
|
| 317 | + "304" -> Just 304
|
|
| 318 | + "305" -> Just 305
|
|
| 319 | + "306" -> Just 306
|
|
| 320 | + "307" -> Just 307
|
|
| 321 | + "308" -> Just 308
|
|
| 322 | + "309" -> Just 309
|
|
| 323 | + "310" -> Just 310
|
|
| 324 | + "311" -> Just 311
|
|
| 325 | + "312" -> Just 312
|
|
| 326 | + "313" -> Just 313
|
|
| 327 | + "314" -> Just 314
|
|
| 328 | + "315" -> Just 315
|
|
| 329 | + "316" -> Just 316
|
|
| 330 | + "317" -> Just 317
|
|
| 331 | + "318" -> Just 318
|
|
| 332 | + "319" -> Just 319
|
|
| 333 | + "320" -> Just 320
|
|
| 334 | + "321" -> Just 321
|
|
| 335 | + "322" -> Just 322
|
|
| 336 | + "323" -> Just 323
|
|
| 337 | + "324" -> Just 324
|
|
| 338 | + "325" -> Just 325
|
|
| 339 | + "326" -> Just 326
|
|
| 340 | + "327" -> Just 327
|
|
| 341 | + "328" -> Just 328
|
|
| 342 | + "329" -> Just 329
|
|
| 343 | + "330" -> Just 330
|
|
| 344 | + "331" -> Just 331
|
|
| 345 | + "332" -> Just 332
|
|
| 346 | + "333" -> Just 333
|
|
| 347 | + "334" -> Just 334
|
|
| 348 | + "335" -> Just 335
|
|
| 349 | + "336" -> Just 336
|
|
| 350 | + "337" -> Just 337
|
|
| 351 | + "338" -> Just 338
|
|
| 352 | + "339" -> Just 339
|
|
| 353 | + "340" -> Just 340
|
|
| 354 | + "341" -> Just 341
|
|
| 355 | + "342" -> Just 342
|
|
| 356 | + "343" -> Just 343
|
|
| 357 | + "344" -> Just 344
|
|
| 358 | + "345" -> Just 345
|
|
| 359 | + "346" -> Just 346
|
|
| 360 | + "347" -> Just 347
|
|
| 361 | + "348" -> Just 348
|
|
| 362 | + "349" -> Just 349
|
|
| 363 | + "350" -> Just 350
|
|
| 364 | + "351" -> Just 351
|
|
| 365 | + "352" -> Just 352
|
|
| 366 | + "353" -> Just 353
|
|
| 367 | + "354" -> Just 354
|
|
| 368 | + "355" -> Just 355
|
|
| 369 | + "356" -> Just 356
|
|
| 370 | + "357" -> Just 357
|
|
| 371 | + "358" -> Just 358
|
|
| 372 | + "359" -> Just 359
|
|
| 373 | + "360" -> Just 360
|
|
| 374 | + "361" -> Just 361
|
|
| 375 | + "362" -> Just 362
|
|
| 376 | + "363" -> Just 363
|
|
| 377 | + "364" -> Just 364
|
|
| 378 | + "365" -> Just 365
|
|
| 379 | + "366" -> Just 366
|
|
| 380 | + "367" -> Just 367
|
|
| 381 | + "368" -> Just 368
|
|
| 382 | + "369" -> Just 369
|
|
| 383 | + "370" -> Just 370
|
|
| 384 | + "371" -> Just 371
|
|
| 385 | + "372" -> Just 372
|
|
| 386 | + "373" -> Just 373
|
|
| 387 | + "374" -> Just 374
|
|
| 388 | + "375" -> Just 375
|
|
| 389 | + "376" -> Just 376
|
|
| 390 | + "377" -> Just 377
|
|
| 391 | + "378" -> Just 378
|
|
| 392 | + "379" -> Just 379
|
|
| 393 | + "380" -> Just 380
|
|
| 394 | + "381" -> Just 381
|
|
| 395 | + "382" -> Just 382
|
|
| 396 | + "383" -> Just 383
|
|
| 397 | + "384" -> Just 384
|
|
| 398 | + "385" -> Just 385
|
|
| 399 | + "386" -> Just 386
|
|
| 400 | + "387" -> Just 387
|
|
| 401 | + "388" -> Just 388
|
|
| 402 | + "389" -> Just 389
|
|
| 403 | + "390" -> Just 390
|
|
| 404 | + "391" -> Just 391
|
|
| 405 | + "392" -> Just 392
|
|
| 406 | + "393" -> Just 393
|
|
| 407 | + "394" -> Just 394
|
|
| 408 | + "395" -> Just 395
|
|
| 409 | + "396" -> Just 396
|
|
| 410 | + "397" -> Just 397
|
|
| 411 | + "398" -> Just 398
|
|
| 412 | + "399" -> Just 399
|
|
| 413 | + "400" -> Just 400
|
|
| 414 | + "401" -> Just 401
|
|
| 415 | + "402" -> Just 402
|
|
| 416 | + "403" -> Just 403
|
|
| 417 | + "404" -> Just 404
|
|
| 418 | + "405" -> Just 405
|
|
| 419 | + "406" -> Just 406
|
|
| 420 | + "407" -> Just 407
|
|
| 421 | + "408" -> Just 408
|
|
| 422 | + "409" -> Just 409
|
|
| 423 | + "410" -> Just 410
|
|
| 424 | + "411" -> Just 411
|
|
| 425 | + "412" -> Just 412
|
|
| 426 | + "413" -> Just 413
|
|
| 427 | + "414" -> Just 414
|
|
| 428 | + "415" -> Just 415
|
|
| 429 | + "416" -> Just 416
|
|
| 430 | + "417" -> Just 417
|
|
| 431 | + "418" -> Just 418
|
|
| 432 | + "419" -> Just 419
|
|
| 433 | + "420" -> Just 420
|
|
| 434 | + "421" -> Just 421
|
|
| 435 | + "422" -> Just 422
|
|
| 436 | + "423" -> Just 423
|
|
| 437 | + "424" -> Just 424
|
|
| 438 | + "425" -> Just 425
|
|
| 439 | + "426" -> Just 426
|
|
| 440 | + "427" -> Just 427
|
|
| 441 | + "428" -> Just 428
|
|
| 442 | + "429" -> Just 429
|
|
| 443 | + "430" -> Just 430
|
|
| 444 | + "431" -> Just 431
|
|
| 445 | + "432" -> Just 432
|
|
| 446 | + "433" -> Just 433
|
|
| 447 | + "434" -> Just 434
|
|
| 448 | + "435" -> Just 435
|
|
| 449 | + "436" -> Just 436
|
|
| 450 | + "437" -> Just 437
|
|
| 451 | + "438" -> Just 438
|
|
| 452 | + "439" -> Just 439
|
|
| 453 | + "440" -> Just 440
|
|
| 454 | + "441" -> Just 441
|
|
| 455 | + "442" -> Just 442
|
|
| 456 | + "443" -> Just 443
|
|
| 457 | + "444" -> Just 444
|
|
| 458 | + "445" -> Just 445
|
|
| 459 | + "446" -> Just 446
|
|
| 460 | + "447" -> Just 447
|
|
| 461 | + "448" -> Just 448
|
|
| 462 | + "449" -> Just 449
|
|
| 463 | + "450" -> Just 450
|
|
| 464 | + "451" -> Just 451
|
|
| 465 | + "452" -> Just 452
|
|
| 466 | + "453" -> Just 453
|
|
| 467 | + "454" -> Just 454
|
|
| 468 | + "455" -> Just 455
|
|
| 469 | + "456" -> Just 456
|
|
| 470 | + "457" -> Just 457
|
|
| 471 | + "458" -> Just 458
|
|
| 472 | + "459" -> Just 459
|
|
| 473 | + "460" -> Just 460
|
|
| 474 | + "461" -> Just 461
|
|
| 475 | + "462" -> Just 462
|
|
| 476 | + "463" -> Just 463
|
|
| 477 | + "464" -> Just 464
|
|
| 478 | + "465" -> Just 465
|
|
| 479 | + "466" -> Just 466
|
|
| 480 | + "467" -> Just 467
|
|
| 481 | + "468" -> Just 468
|
|
| 482 | + "469" -> Just 469
|
|
| 483 | + "470" -> Just 470
|
|
| 484 | + "471" -> Just 471
|
|
| 485 | + "472" -> Just 472
|
|
| 486 | + "473" -> Just 473
|
|
| 487 | + "474" -> Just 474
|
|
| 488 | + "475" -> Just 475
|
|
| 489 | + "476" -> Just 476
|
|
| 490 | + "477" -> Just 477
|
|
| 491 | + "478" -> Just 478
|
|
| 492 | + "479" -> Just 479
|
|
| 493 | + "480" -> Just 480
|
|
| 494 | + "481" -> Just 481
|
|
| 495 | + "482" -> Just 482
|
|
| 496 | + "483" -> Just 483
|
|
| 497 | + "484" -> Just 484
|
|
| 498 | + "485" -> Just 485
|
|
| 499 | + "486" -> Just 486
|
|
| 500 | + "487" -> Just 487
|
|
| 501 | + "488" -> Just 488
|
|
| 502 | + "489" -> Just 489
|
|
| 503 | + "490" -> Just 490
|
|
| 504 | + "491" -> Just 491
|
|
| 505 | + "492" -> Just 492
|
|
| 506 | + "493" -> Just 493
|
|
| 507 | + "494" -> Just 494
|
|
| 508 | + "495" -> Just 495
|
|
| 509 | + "496" -> Just 496
|
|
| 510 | + "497" -> Just 497
|
|
| 511 | + "498" -> Just 498
|
|
| 512 | + "499" -> Just 499
|
|
| 513 | + "500" -> Just 500
|
|
| 514 | + "501" -> Just 501
|
|
| 515 | + "502" -> Just 502
|
|
| 516 | + "503" -> Just 503
|
|
| 517 | + "504" -> Just 504
|
|
| 518 | + "505" -> Just 505
|
|
| 519 | + "506" -> Just 506
|
|
| 520 | + "507" -> Just 507
|
|
| 521 | + "508" -> Just 508
|
|
| 522 | + "509" -> Just 509
|
|
| 523 | + "510" -> Just 510
|
|
| 524 | + "511" -> Just 511
|
|
| 525 | + "512" -> Just 512
|
|
| 526 | + "513" -> Just 513
|
|
| 527 | + "514" -> Just 514
|
|
| 528 | + "515" -> Just 515
|
|
| 529 | + "516" -> Just 516
|
|
| 530 | + "517" -> Just 517
|
|
| 531 | + "518" -> Just 518
|
|
| 532 | + "519" -> Just 519
|
|
| 533 | + "520" -> Just 520
|
|
| 534 | + "521" -> Just 521
|
|
| 535 | + "522" -> Just 522
|
|
| 536 | + "523" -> Just 523
|
|
| 537 | + "524" -> Just 524
|
|
| 538 | + "525" -> Just 525
|
|
| 539 | + "526" -> Just 526
|
|
| 540 | + "527" -> Just 527
|
|
| 541 | + "528" -> Just 528
|
|
| 542 | + "529" -> Just 529
|
|
| 543 | + "530" -> Just 530
|
|
| 544 | + "531" -> Just 531
|
|
| 545 | + "532" -> Just 532
|
|
| 546 | + "533" -> Just 533
|
|
| 547 | + "534" -> Just 534
|
|
| 548 | + "535" -> Just 535
|
|
| 549 | + "536" -> Just 536
|
|
| 550 | + "537" -> Just 537
|
|
| 551 | + "538" -> Just 538
|
|
| 552 | + "539" -> Just 539
|
|
| 553 | + "540" -> Just 540
|
|
| 554 | + "541" -> Just 541
|
|
| 555 | + "542" -> Just 542
|
|
| 556 | + "543" -> Just 543
|
|
| 557 | + "544" -> Just 544
|
|
| 558 | + "545" -> Just 545
|
|
| 559 | + "546" -> Just 546
|
|
| 560 | + "547" -> Just 547
|
|
| 561 | + "548" -> Just 548
|
|
| 562 | + "549" -> Just 549
|
|
| 563 | + "550" -> Just 550
|
|
| 564 | + "551" -> Just 551
|
|
| 565 | + "552" -> Just 552
|
|
| 566 | + "553" -> Just 553
|
|
| 567 | + "554" -> Just 554
|
|
| 568 | + "555" -> Just 555
|
|
| 569 | + "556" -> Just 556
|
|
| 570 | + "557" -> Just 557
|
|
| 571 | + "558" -> Just 558
|
|
| 572 | + "559" -> Just 559
|
|
| 573 | + "560" -> Just 560
|
|
| 574 | + "561" -> Just 561
|
|
| 575 | + "562" -> Just 562
|
|
| 576 | + "563" -> Just 563
|
|
| 577 | + "564" -> Just 564
|
|
| 578 | + "565" -> Just 565
|
|
| 579 | + "566" -> Just 566
|
|
| 580 | + "567" -> Just 567
|
|
| 581 | + "568" -> Just 568
|
|
| 582 | + "569" -> Just 569
|
|
| 583 | + "570" -> Just 570
|
|
| 584 | + "571" -> Just 571
|
|
| 585 | + "572" -> Just 572
|
|
| 586 | + "573" -> Just 573
|
|
| 587 | + "574" -> Just 574
|
|
| 588 | + "575" -> Just 575
|
|
| 589 | + "576" -> Just 576
|
|
| 590 | + "577" -> Just 577
|
|
| 591 | + "578" -> Just 578
|
|
| 592 | + "579" -> Just 579
|
|
| 593 | + "580" -> Just 580
|
|
| 594 | + "581" -> Just 581
|
|
| 595 | + "582" -> Just 582
|
|
| 596 | + "583" -> Just 583
|
|
| 597 | + "584" -> Just 584
|
|
| 598 | + "585" -> Just 585
|
|
| 599 | + "586" -> Just 586
|
|
| 600 | + "587" -> Just 587
|
|
| 601 | + "588" -> Just 588
|
|
| 602 | + "589" -> Just 589
|
|
| 603 | + "590" -> Just 590
|
|
| 604 | + "591" -> Just 591
|
|
| 605 | + "592" -> Just 592
|
|
| 606 | + "593" -> Just 593
|
|
| 607 | + "594" -> Just 594
|
|
| 608 | + "595" -> Just 595
|
|
| 609 | + "596" -> Just 596
|
|
| 610 | + "597" -> Just 597
|
|
| 611 | + "598" -> Just 598
|
|
| 612 | + "599" -> Just 599
|
|
| 613 | + "600" -> Just 600
|
|
| 614 | + "601" -> Just 601
|
|
| 615 | + "602" -> Just 602
|
|
| 616 | + "603" -> Just 603
|
|
| 617 | + "604" -> Just 604
|
|
| 618 | + "605" -> Just 605
|
|
| 619 | + "606" -> Just 606
|
|
| 620 | + "607" -> Just 607
|
|
| 621 | + "608" -> Just 608
|
|
| 622 | + "609" -> Just 609
|
|
| 623 | + "610" -> Just 610
|
|
| 624 | + "611" -> Just 611
|
|
| 625 | + "612" -> Just 612
|
|
| 626 | + "613" -> Just 613
|
|
| 627 | + "614" -> Just 614
|
|
| 628 | + "615" -> Just 615
|
|
| 629 | + "616" -> Just 616
|
|
| 630 | + "617" -> Just 617
|
|
| 631 | + "618" -> Just 618
|
|
| 632 | + "619" -> Just 619
|
|
| 633 | + "620" -> Just 620
|
|
| 634 | + "621" -> Just 621
|
|
| 635 | + "622" -> Just 622
|
|
| 636 | + "623" -> Just 623
|
|
| 637 | + "624" -> Just 624
|
|
| 638 | + "625" -> Just 625
|
|
| 639 | + "626" -> Just 626
|
|
| 640 | + "627" -> Just 627
|
|
| 641 | + "628" -> Just 628
|
|
| 642 | + "629" -> Just 629
|
|
| 643 | + "630" -> Just 630
|
|
| 644 | + "631" -> Just 631
|
|
| 645 | + "632" -> Just 632
|
|
| 646 | + "633" -> Just 633
|
|
| 647 | + "634" -> Just 634
|
|
| 648 | + "635" -> Just 635
|
|
| 649 | + "636" -> Just 636
|
|
| 650 | + "637" -> Just 637
|
|
| 651 | + "638" -> Just 638
|
|
| 652 | + "639" -> Just 639
|
|
| 653 | + "640" -> Just 640
|
|
| 654 | + "641" -> Just 641
|
|
| 655 | + "642" -> Just 642
|
|
| 656 | + "643" -> Just 643
|
|
| 657 | + "644" -> Just 644
|
|
| 658 | + "645" -> Just 645
|
|
| 659 | + "646" -> Just 646
|
|
| 660 | + "647" -> Just 647
|
|
| 661 | + "648" -> Just 648
|
|
| 662 | + "649" -> Just 649
|
|
| 663 | + "650" -> Just 650
|
|
| 664 | + -- "651" -> Just 651
|
|
| 665 | + -- "652" -> Just 652
|
|
| 666 | + -- "653" -> Just 653
|
|
| 667 | + -- "654" -> Just 654
|
|
| 668 | + -- "655" -> Just 655
|
|
| 669 | + -- "656" -> Just 656
|
|
| 670 | + -- "657" -> Just 657
|
|
| 671 | + -- "658" -> Just 658
|
|
| 672 | + -- "659" -> Just 659
|
|
| 673 | + -- "660" -> Just 660
|
|
| 674 | + -- "661" -> Just 661
|
|
| 675 | + -- "662" -> Just 662
|
|
| 676 | + -- "663" -> Just 663
|
|
| 677 | + -- "664" -> Just 664
|
|
| 678 | + -- "665" -> Just 665
|
|
| 679 | + -- "666" -> Just 666
|
|
| 680 | + -- "667" -> Just 667
|
|
| 681 | + -- "668" -> Just 668
|
|
| 682 | + -- "669" -> Just 669
|
|
| 683 | + -- "670" -> Just 670
|
|
| 684 | + -- "671" -> Just 671
|
|
| 685 | + -- "672" -> Just 672
|
|
| 686 | + -- "673" -> Just 673
|
|
| 687 | + -- "674" -> Just 674
|
|
| 688 | + -- "675" -> Just 675
|
|
| 689 | + -- "676" -> Just 676
|
|
| 690 | + -- "677" -> Just 677
|
|
| 691 | + -- "678" -> Just 678
|
|
| 692 | + -- "679" -> Just 679
|
|
| 693 | + -- "680" -> Just 680
|
|
| 694 | + -- "681" -> Just 681
|
|
| 695 | + -- "682" -> Just 682
|
|
| 696 | + -- "683" -> Just 683
|
|
| 697 | + -- "684" -> Just 684
|
|
| 698 | + -- "685" -> Just 685
|
|
| 699 | + -- "686" -> Just 686
|
|
| 700 | + -- "687" -> Just 687
|
|
| 701 | + -- "688" -> Just 688
|
|
| 702 | + -- "689" -> Just 689
|
|
| 703 | + -- "690" -> Just 690
|
|
| 704 | + -- "691" -> Just 691
|
|
| 705 | + -- "692" -> Just 692
|
|
| 706 | + -- "693" -> Just 693
|
|
| 707 | + -- "694" -> Just 694
|
|
| 708 | + -- "695" -> Just 695
|
|
| 709 | + -- "696" -> Just 696
|
|
| 710 | + -- "697" -> Just 697
|
|
| 711 | + -- "698" -> Just 698
|
|
| 712 | + -- "699" -> Just 699
|
|
| 713 | + -- "700" -> Just 700
|
|
| 714 | + -- "701" -> Just 701
|
|
| 715 | + -- "702" -> Just 702
|
|
| 716 | + -- "703" -> Just 703
|
|
| 717 | + -- "704" -> Just 704
|
|
| 718 | + -- "705" -> Just 705
|
|
| 719 | + -- "706" -> Just 706
|
|
| 720 | + -- "707" -> Just 707
|
|
| 721 | + -- "708" -> Just 708
|
|
| 722 | + -- "709" -> Just 709
|
|
| 723 | + -- "710" -> Just 710
|
|
| 724 | + -- "711" -> Just 711
|
|
| 725 | + -- "712" -> Just 712
|
|
| 726 | + -- "713" -> Just 713
|
|
| 727 | + -- "714" -> Just 714
|
|
| 728 | + -- "715" -> Just 715
|
|
| 729 | + -- "716" -> Just 716
|
|
| 730 | + -- "717" -> Just 717
|
|
| 731 | + -- "718" -> Just 718
|
|
| 732 | + -- "719" -> Just 719
|
|
| 733 | + -- "720" -> Just 720
|
|
| 734 | + -- "721" -> Just 721
|
|
| 735 | + -- "722" -> Just 722
|
|
| 736 | + -- "723" -> Just 723
|
|
| 737 | + -- "724" -> Just 724
|
|
| 738 | + -- "725" -> Just 725
|
|
| 739 | + -- "726" -> Just 726
|
|
| 740 | + -- "727" -> Just 727
|
|
| 741 | + -- "728" -> Just 728
|
|
| 742 | + -- "729" -> Just 729
|
|
| 743 | + -- "730" -> Just 730
|
|
| 744 | + -- "731" -> Just 731
|
|
| 745 | + -- "732" -> Just 732
|
|
| 746 | + -- "733" -> Just 733
|
|
| 747 | + -- "734" -> Just 734
|
|
| 748 | + -- "735" -> Just 735
|
|
| 749 | + -- "736" -> Just 736
|
|
| 750 | + -- "737" -> Just 737
|
|
| 751 | + -- "738" -> Just 738
|
|
| 752 | + -- "739" -> Just 739
|
|
| 753 | + -- "740" -> Just 740
|
|
| 754 | + -- "741" -> Just 741
|
|
| 755 | + -- "742" -> Just 742
|
|
| 756 | + -- "743" -> Just 743
|
|
| 757 | + -- "744" -> Just 744
|
|
| 758 | + -- "745" -> Just 745
|
|
| 759 | + -- "746" -> Just 746
|
|
| 760 | + -- "747" -> Just 747
|
|
| 761 | + -- "748" -> Just 748
|
|
| 762 | + -- "749" -> Just 749
|
|
| 763 | + -- "750" -> Just 750
|
|
| 764 | + -- "751" -> Just 751
|
|
| 765 | + -- "752" -> Just 752
|
|
| 766 | + -- "753" -> Just 753
|
|
| 767 | + -- "754" -> Just 754
|
|
| 768 | + -- "755" -> Just 755
|
|
| 769 | + -- "756" -> Just 756
|
|
| 770 | + -- "757" -> Just 757
|
|
| 771 | + -- "758" -> Just 758
|
|
| 772 | + -- "759" -> Just 759
|
|
| 773 | + -- "760" -> Just 760
|
|
| 774 | + -- "761" -> Just 761
|
|
| 775 | + -- "762" -> Just 762
|
|
| 776 | + -- "763" -> Just 763
|
|
| 777 | + -- "764" -> Just 764
|
|
| 778 | + -- "765" -> Just 765
|
|
| 779 | + -- "766" -> Just 766
|
|
| 780 | + -- "767" -> Just 767
|
|
| 781 | + -- "768" -> Just 768
|
|
| 782 | + -- "769" -> Just 769
|
|
| 783 | + -- "770" -> Just 770
|
|
| 784 | + -- "771" -> Just 771
|
|
| 785 | + -- "772" -> Just 772
|
|
| 786 | + -- "773" -> Just 773
|
|
| 787 | + -- "774" -> Just 774
|
|
| 788 | + -- "775" -> Just 775
|
|
| 789 | + -- "776" -> Just 776
|
|
| 790 | + -- "777" -> Just 777
|
|
| 791 | + -- "778" -> Just 778
|
|
| 792 | + -- "779" -> Just 779
|
|
| 793 | + -- "780" -> Just 780
|
|
| 794 | + -- "781" -> Just 781
|
|
| 795 | + -- "782" -> Just 782
|
|
| 796 | + -- "783" -> Just 783
|
|
| 797 | + -- "784" -> Just 784
|
|
| 798 | + -- "785" -> Just 785
|
|
| 799 | + -- "786" -> Just 786
|
|
| 800 | + -- "787" -> Just 787
|
|
| 801 | + -- "788" -> Just 788
|
|
| 802 | + -- "789" -> Just 789
|
|
| 803 | + -- "790" -> Just 790
|
|
| 804 | + -- "791" -> Just 791
|
|
| 805 | + -- "792" -> Just 792
|
|
| 806 | + -- "793" -> Just 793
|
|
| 807 | + -- "794" -> Just 794
|
|
| 808 | + -- "795" -> Just 795
|
|
| 809 | + -- "796" -> Just 796
|
|
| 810 | + -- "797" -> Just 797
|
|
| 811 | + -- "798" -> Just 798
|
|
| 812 | + -- "799" -> Just 799
|
|
| 813 | + -- "800" -> Just 800
|
|
| 814 | + -- "801" -> Just 801
|
|
| 815 | + -- "802" -> Just 802
|
|
| 816 | + -- "803" -> Just 803
|
|
| 817 | + -- "804" -> Just 804
|
|
| 818 | + -- "805" -> Just 805
|
|
| 819 | + -- "806" -> Just 806
|
|
| 820 | + -- "807" -> Just 807
|
|
| 821 | + -- "808" -> Just 808
|
|
| 822 | + -- "809" -> Just 809
|
|
| 823 | + -- "810" -> Just 810
|
|
| 824 | + -- "811" -> Just 811
|
|
| 825 | + -- "812" -> Just 812
|
|
| 826 | + -- "813" -> Just 813
|
|
| 827 | + -- "814" -> Just 814
|
|
| 828 | + -- "815" -> Just 815
|
|
| 829 | + -- "816" -> Just 816
|
|
| 830 | + -- "817" -> Just 817
|
|
| 831 | + -- "818" -> Just 818
|
|
| 832 | + -- "819" -> Just 819
|
|
| 833 | + -- "820" -> Just 820
|
|
| 834 | + -- "821" -> Just 821
|
|
| 835 | + -- "822" -> Just 822
|
|
| 836 | + -- "823" -> Just 823
|
|
| 837 | + -- "824" -> Just 824
|
|
| 838 | + -- "825" -> Just 825
|
|
| 839 | + -- "826" -> Just 826
|
|
| 840 | + -- "827" -> Just 827
|
|
| 841 | + -- "828" -> Just 828
|
|
| 842 | + -- "829" -> Just 829
|
|
| 843 | + -- "830" -> Just 830
|
|
| 844 | + -- "831" -> Just 831
|
|
| 845 | + -- "832" -> Just 832
|
|
| 846 | + -- "833" -> Just 833
|
|
| 847 | + -- "834" -> Just 834
|
|
| 848 | + -- "835" -> Just 835
|
|
| 849 | + -- "836" -> Just 836
|
|
| 850 | + -- "837" -> Just 837
|
|
| 851 | + -- "838" -> Just 838
|
|
| 852 | + -- "839" -> Just 839
|
|
| 853 | + -- "840" -> Just 840
|
|
| 854 | + -- "841" -> Just 841
|
|
| 855 | + -- "842" -> Just 842
|
|
| 856 | + -- "843" -> Just 843
|
|
| 857 | + -- "844" -> Just 844
|
|
| 858 | + -- "845" -> Just 845
|
|
| 859 | + -- "846" -> Just 846
|
|
| 860 | + -- "847" -> Just 847
|
|
| 861 | + -- "848" -> Just 848
|
|
| 862 | + -- "849" -> Just 849
|
|
| 863 | + -- "850" -> Just 850
|
|
| 864 | + -- "851" -> Just 851
|
|
| 865 | + -- "852" -> Just 852
|
|
| 866 | + -- "853" -> Just 853
|
|
| 867 | + -- "854" -> Just 854
|
|
| 868 | + -- "855" -> Just 855
|
|
| 869 | + -- "856" -> Just 856
|
|
| 870 | + -- "857" -> Just 857
|
|
| 871 | + -- "858" -> Just 858
|
|
| 872 | + -- "859" -> Just 859
|
|
| 873 | + -- "860" -> Just 860
|
|
| 874 | + -- "861" -> Just 861
|
|
| 875 | + -- "862" -> Just 862
|
|
| 876 | + -- "863" -> Just 863
|
|
| 877 | + -- "864" -> Just 864
|
|
| 878 | + -- "865" -> Just 865
|
|
| 879 | + -- "866" -> Just 866
|
|
| 880 | + -- "867" -> Just 867
|
|
| 881 | + -- "868" -> Just 868
|
|
| 882 | + -- "869" -> Just 869
|
|
| 883 | + -- "870" -> Just 870
|
|
| 884 | + -- "871" -> Just 871
|
|
| 885 | + -- "872" -> Just 872
|
|
| 886 | + -- "873" -> Just 873
|
|
| 887 | + -- "874" -> Just 874
|
|
| 888 | + -- "875" -> Just 875
|
|
| 889 | + -- "876" -> Just 876
|
|
| 890 | + -- "877" -> Just 877
|
|
| 891 | + -- "878" -> Just 878
|
|
| 892 | + -- "879" -> Just 879
|
|
| 893 | + -- "880" -> Just 880
|
|
| 894 | + -- "881" -> Just 881
|
|
| 895 | + -- "882" -> Just 882
|
|
| 896 | + -- "883" -> Just 883
|
|
| 897 | + -- "884" -> Just 884
|
|
| 898 | + -- "885" -> Just 885
|
|
| 899 | + -- "886" -> Just 886
|
|
| 900 | + -- "887" -> Just 887
|
|
| 901 | + -- "888" -> Just 888
|
|
| 902 | + -- "889" -> Just 889
|
|
| 903 | + -- "890" -> Just 890
|
|
| 904 | + -- "891" -> Just 891
|
|
| 905 | + -- "892" -> Just 892
|
|
| 906 | + -- "893" -> Just 893
|
|
| 907 | + -- "894" -> Just 894
|
|
| 908 | + -- "895" -> Just 895
|
|
| 909 | + -- "896" -> Just 896
|
|
| 910 | + -- "897" -> Just 897
|
|
| 911 | + -- "898" -> Just 898
|
|
| 912 | + -- "899" -> Just 899
|
|
| 913 | + -- "900" -> Just 900
|
|
| 914 | + -- "901" -> Just 901
|
|
| 915 | + -- "902" -> Just 902
|
|
| 916 | + -- "903" -> Just 903
|
|
| 917 | + -- "904" -> Just 904
|
|
| 918 | + -- "905" -> Just 905
|
|
| 919 | + -- "906" -> Just 906
|
|
| 920 | + -- "907" -> Just 907
|
|
| 921 | + -- "908" -> Just 908
|
|
| 922 | + -- "909" -> Just 909
|
|
| 923 | + -- "910" -> Just 910
|
|
| 924 | + -- "911" -> Just 911
|
|
| 925 | + -- "912" -> Just 912
|
|
| 926 | + -- "913" -> Just 913
|
|
| 927 | + -- "914" -> Just 914
|
|
| 928 | + -- "915" -> Just 915
|
|
| 929 | + -- "916" -> Just 916
|
|
| 930 | + -- "917" -> Just 917
|
|
| 931 | + -- "918" -> Just 918
|
|
| 932 | + -- "919" -> Just 919
|
|
| 933 | + -- "920" -> Just 920
|
|
| 934 | + -- "921" -> Just 921
|
|
| 935 | + -- "922" -> Just 922
|
|
| 936 | + -- "923" -> Just 923
|
|
| 937 | + -- "924" -> Just 924
|
|
| 938 | + -- "925" -> Just 925
|
|
| 939 | + -- "926" -> Just 926
|
|
| 940 | + -- "927" -> Just 927
|
|
| 941 | + -- "928" -> Just 928
|
|
| 942 | + -- "929" -> Just 929
|
|
| 943 | + -- "930" -> Just 930
|
|
| 944 | + -- "931" -> Just 931
|
|
| 945 | + -- "932" -> Just 932
|
|
| 946 | + -- "933" -> Just 933
|
|
| 947 | + -- "934" -> Just 934
|
|
| 948 | + -- "935" -> Just 935
|
|
| 949 | + -- "936" -> Just 936
|
|
| 950 | + -- "937" -> Just 937
|
|
| 951 | + -- "938" -> Just 938
|
|
| 952 | + -- "939" -> Just 939
|
|
| 953 | + -- "940" -> Just 940
|
|
| 954 | + -- "941" -> Just 941
|
|
| 955 | + -- "942" -> Just 942
|
|
| 956 | + -- "943" -> Just 943
|
|
| 957 | + -- "944" -> Just 944
|
|
| 958 | + -- "945" -> Just 945
|
|
| 959 | + -- "946" -> Just 946
|
|
| 960 | + -- "947" -> Just 947
|
|
| 961 | + -- "948" -> Just 948
|
|
| 962 | + -- "949" -> Just 949
|
|
| 963 | + -- "950" -> Just 950
|
|
| 964 | + -- "951" -> Just 951
|
|
| 965 | + -- "952" -> Just 952
|
|
| 966 | + -- "953" -> Just 953
|
|
| 967 | + -- "954" -> Just 954
|
|
| 968 | + -- "955" -> Just 955
|
|
| 969 | + -- "956" -> Just 956
|
|
| 970 | + -- "957" -> Just 957
|
|
| 971 | + -- "958" -> Just 958
|
|
| 972 | + -- "959" -> Just 959
|
|
| 973 | + -- "960" -> Just 960
|
|
| 974 | + -- "961" -> Just 961
|
|
| 975 | + -- "962" -> Just 962
|
|
| 976 | + -- "963" -> Just 963
|
|
| 977 | + -- "964" -> Just 964
|
|
| 978 | + -- "965" -> Just 965
|
|
| 979 | + -- "966" -> Just 966
|
|
| 980 | + -- "967" -> Just 967
|
|
| 981 | + -- "968" -> Just 968
|
|
| 982 | + -- "969" -> Just 969
|
|
| 983 | + -- "970" -> Just 970
|
|
| 984 | + -- "971" -> Just 971
|
|
| 985 | + -- "972" -> Just 972
|
|
| 986 | + -- "973" -> Just 973
|
|
| 987 | + -- "974" -> Just 974
|
|
| 988 | + -- "975" -> Just 975
|
|
| 989 | + -- "976" -> Just 976
|
|
| 990 | + -- "977" -> Just 977
|
|
| 991 | + -- "978" -> Just 978
|
|
| 992 | + -- "979" -> Just 979
|
|
| 993 | + -- "980" -> Just 980
|
|
| 994 | + -- "981" -> Just 981
|
|
| 995 | + -- "982" -> Just 982
|
|
| 996 | + -- "983" -> Just 983
|
|
| 997 | + -- "984" -> Just 984
|
|
| 998 | + -- "985" -> Just 985
|
|
| 999 | + -- "986" -> Just 986
|
|
| 1000 | + -- "987" -> Just 987
|
|
| 1001 | + -- "988" -> Just 988
|
|
| 1002 | + -- "989" -> Just 989
|
|
| 1003 | + -- "990" -> Just 990
|
|
| 1004 | + -- "991" -> Just 991
|
|
| 1005 | + -- "992" -> Just 992
|
|
| 1006 | + -- "993" -> Just 993
|
|
| 1007 | + -- "994" -> Just 994
|
|
| 1008 | + -- "995" -> Just 995
|
|
| 1009 | + -- "996" -> Just 996
|
|
| 1010 | + -- "997" -> Just 997
|
|
| 1011 | + -- "998" -> Just 998
|
|
| 1012 | + -- "999" -> Just 999
|
|
| 1013 | + -- "1000" -> Just 1000
|
|
| 1014 | + _ -> Nothing |
| ... | ... | @@ -792,3 +792,8 @@ test('interpreter_steplocal', |
| 792 | 792 | ],
|
| 793 | 793 | ghci_script,
|
| 794 | 794 | ['interpreter_steplocal.script'])
|
| 795 | + |
|
| 796 | +test ('T26425',
|
|
| 797 | + [ collect_compiler_stats('all',5) ],
|
|
| 798 | + compile,
|
|
| 799 | + ['-O']) |