Andreas Klebinger pushed to branch wip/andreask/t26425_test at Glasgow Haskell Compiler / GHC
Commits:
-
400a475e
by Andreas Klebinger at 2025-10-04T13:21:25+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 | + _ -> 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']) |