1 files changed, 611 insertions, 0 deletions
diff --git a/testsuite/tests/rts/3424.hs b/testsuite/tests/rts/3424.hs
new file mode 100644
index 0000000000..e168df49c0
--- /dev/null
+++ b/testsuite/tests/rts/3424.hs
@@ -0,0 +1,611 @@
+
+module Main (main) where
+
+import Control.Monad (guard)
+
+main :: IO ()
+main = print $ head z
+
+z :: [[Int]]
+z    =   do x1  <- [0..3]
+            x2  <- [0..3]
+            x3  <- [0..3]
+            x4  <- [0..3]
+            x5  <- [0..3]
+            x6  <- [0..3]
+            x7  <- [0..3]
+            x8  <- [0..3]
+            x9  <- [0..3]
+            x10 <- [0..3]
+            x11 <- [0..3]
+            x12 <- [0..3]
+            x13 <- [0..3]
+            x14 <- [0..3]
+            x15 <- [0..3]
+            x16 <- [0..3]
+            x17 <- [0..3]
+            x18 <- [0..3]
+            x19 <- [0..3]
+            x20 <- [0..3]
+            x21 <- [0..3]
+            x22 <- [0..3]
+            x23 <- [0..3]
+            x24 <- [0..3]
+            x25 <- [0..3]
+            x26 <- [0..3]
+            x27 <- [0..3]
+            x28 <- [0..3]
+            x29 <- [0..3]
+            x30 <- [0..3]
+            x31 <- [0..3]
+            x32 <- [0..3]
+            x33 <- [0..3]
+            x34 <- [0..3]
+            x35 <- [0..3]
+            x36 <- [0..3]
+            x37 <- [0..3]
+            x38 <- [0..3]
+            x39 <- [0..3]
+            x40 <- [0..3]
+            x41 <- [0..3]
+            x42 <- [0..3]
+            x43 <- [0..3]
+            x44 <- [0..3]
+            x45 <- [0..3]
+            x46 <- [0..3]
+            x47 <- [0..3]
+            x48 <- [0..3]
+            x49 <- [0..3]
+            x50 <- [0..3]
+            x51 <- [0..3]
+            x52 <- [0..3]
+            x53 <- [0..3]
+            x54 <- [0..3]
+            x55 <- [0..3]
+            x56 <- [0..3]
+            x57 <- [0..3]
+            x58 <- [0..3]
+            x59 <- [0..3]
+            x60 <- [0..3]
+            x61 <- [0..3]
+            x62 <- [0..3]
+            x63 <- [0..3]
+            x64 <- [0..3]
+            x65 <- [0..3]
+            x66 <- [0..3]
+            x67 <- [0..3]
+            x68 <- [0..3]
+            x69 <- [0..3]
+            x70 <- [0..3]
+            x71 <- [0..3]
+            x72 <- [0..3]
+            x73 <- [0..3]
+            x74 <- [0..3]
+            x75 <- [0..3]
+            x76 <- [0..3]
+            x77 <- [0..3]
+            x78 <- [0..3]
+            x79 <- [0..3]
+            x80 <- [0..3]
+            x81 <- [0..3]
+            x82 <- [0..3]
+            x83 <- [0..3]
+            x84 <- [0..3]
+            x85 <- [0..3]
+            x86 <- [0..3]
+            x87 <- [0..3]
+            x88 <- [0..3]
+            x89 <- [0..3]
+            x90 <- [0..3]
+            x91 <- [0..3]
+            x92 <- [0..3]
+            x93 <- [0..3]
+            x94 <- [0..3]
+            x95 <- [0..3]
+            x96 <- [0..3]
+            x97 <- [0..3]
+            x98 <- [0..3]
+            x99 <- [0..3]
+            x100 <- [0..3]
+            x101 <- [0..3]
+            x102 <- [0..3]
+            x103 <- [0..3]
+            x104 <- [0..3]
+            x105 <- [0..3]
+            x106 <- [0..3]
+            x107 <- [0..3]
+            x108 <- [0..3]
+            x109 <- [0..3]
+            x110 <- [0..3]
+            x111 <- [0..3]
+            x112 <- [0..3]
+            x113 <- [0..3]
+            x114 <- [0..3]
+            x115 <- [0..3]
+            x116 <- [0..3]
+            x117 <- [0..3]
+            x118 <- [0..3]
+            x119 <- [0..3]
+            x120 <- [0..3]
+            x121 <- [0..3]
+            x122 <- [0..3]
+            x123 <- [0..3]
+            x124 <- [0..3]
+            x125 <- [0..3]
+            x126 <- [0..3]
+            x127 <- [0..3]
+            x128 <- [0..3]
+            x129 <- [0..3]
+            x130 <- [0..3]
+            x131 <- [0..3]
+            x132 <- [0..3]
+            x133 <- [0..3]
+            x134 <- [0..3]
+            x135 <- [0..3]
+            x136 <- [0..3]
+            x137 <- [0..3]
+            x138 <- [0..3]
+            x139 <- [0..3]
+            x140 <- [0..3]
+            x141 <- [0..3]
+            x142 <- [0..3]
+            x143 <- [0..3]
+            x144 <- [0..3]
+            x145 <- [0..3]
+            x146 <- [0..3]
+            x147 <- [0..3]
+            x148 <- [0..3]
+            x149 <- [0..3]
+            x150 <- [0..3]
+            x151 <- [0..3]
+            x152 <- [0..3]
+            x153 <- [0..3]
+            x154 <- [0..3]
+            x155 <- [0..3]
+            x156 <- [0..3]
+            x157 <- [0..3]
+            x158 <- [0..3]
+            x159 <- [0..3]
+            x160 <- [0..3]
+            x161 <- [0..3]
+            x162 <- [0..3]
+            x163 <- [0..3]
+            x164 <- [0..3]
+            x165 <- [0..3]
+            x166 <- [0..3]
+            x167 <- [0..3]
+            x168 <- [0..3]
+            x169 <- [0..3]
+            x170 <- [0..3]
+            x171 <- [0..3]
+            x172 <- [0..3]
+            x173 <- [0..3]
+            x174 <- [0..3]
+            x175 <- [0..3]
+            x176 <- [0..3]
+            x177 <- [0..3]
+            x178 <- [0..3]
+            x179 <- [0..3]
+            x180 <- [0..3]
+            x181 <- [0..3]
+            x182 <- [0..3]
+            x183 <- [0..3]
+            x184 <- [0..3]
+            x185 <- [0..3]
+            x186 <- [0..3]
+            x187 <- [0..3]
+            x188 <- [0..3]
+            x189 <- [0..3]
+            x190 <- [0..3]
+            x191 <- [0..3]
+            x192 <- [0..3]
+            x193 <- [0..3]
+            x194 <- [0..3]
+            x195 <- [0..3]
+            x196 <- [0..3]
+            x197 <- [0..3]
+            x198 <- [0..3]
+            x199 <- [0..3]
+            x200 <- [0..3]
+            x201 <- [0..3]
+            x202 <- [0..3]
+            x203 <- [0..3]
+            x204 <- [0..3]
+            x205 <- [0..3]
+            x206 <- [0..3]
+            x207 <- [0..3]
+            x208 <- [0..3]
+            x209 <- [0..3]
+            x210 <- [0..3]
+            x211 <- [0..3]
+            x212 <- [0..3]
+            x213 <- [0..3]
+            x214 <- [0..3]
+            x215 <- [0..3]
+            x216 <- [0..3]
+            x217 <- [0..3]
+            x218 <- [0..3]
+            x219 <- [0..3]
+            x220 <- [0..3]
+            x221 <- [0..3]
+            x222 <- [0..3]
+            x223 <- [0..3]
+            x224 <- [0..3]
+            x225 <- [0..3]
+            x226 <- [0..3]
+            x227 <- [0..3]
+            x228 <- [0..3]
+            x229 <- [0..3]
+            x230 <- [0..3]
+            x231 <- [0..3]
+            x232 <- [0..3]
+            x233 <- [0..3]
+            x234 <- [0..3]
+            x235 <- [0..3]
+            x236 <- [0..3]
+            x237 <- [0..3]
+            x238 <- [0..3]
+            x239 <- [0..3]
+            x240 <- [0..3]
+            x241 <- [0..3]
+            x242 <- [0..3]
+            x243 <- [0..3]
+            x244 <- [0..3]
+            x245 <- [0..3]
+            x246 <- [0..3]
+            x247 <- [0..3]
+            x248 <- [0..3]
+            x249 <- [0..3]
+            x250 <- [0..3]
+            x251 <- [0..3]
+            x252 <- [0..3]
+            x253 <- [0..3]
+            x254 <- [0..3]
+            x255 <- [0..3]
+            x256 <- [0..3]
+            x257 <- [0..3]
+            x258 <- [0..3]
+            x259 <- [0..3]
+            x260 <- [0..3]
+            x261 <- [0..3]
+            x262 <- [0..3]
+            x263 <- [0..3]
+            x264 <- [0..3]
+            x265 <- [0..3]
+            x266 <- [0..3]
+            x267 <- [0..3]
+            x268 <- [0..3]
+            x269 <- [0..3]
+            x270 <- [0..3]
+            x271 <- [0..3]
+            x272 <- [0..3]
+            x273 <- [0..3]
+            x274 <- [0..3]
+            x275 <- [0..3]
+            x276 <- [0..3]
+            x277 <- [0..3]
+            x278 <- [0..3]
+            x279 <- [0..3]
+            x280 <- [0..3]
+            x281 <- [0..3]
+            x282 <- [0..3]
+            x283 <- [0..3]
+            x284 <- [0..3]
+            x285 <- [0..3]
+            x286 <- [0..3]
+            x287 <- [0..3]
+            x288 <- [0..3]
+            x289 <- [0..3]
+            x290 <- [0..3]
+            x291 <- [0..3]
+            x292 <- [0..3]
+            x293 <- [0..3]
+            x294 <- [0..3]
+            x295 <- [0..3]
+            x296 <- [0..3]
+            x297 <- [0..3]
+            x298 <- [0..3]
+            x299 <- [0..3]
+            x300 <- [0..3]
+            x301 <- [0..3]
+            x302 <- [0..3]
+            x303 <- [0..3]
+            x304 <- [0..3]
+            x305 <- [0..3]
+            x306 <- [0..3]
+            x307 <- [0..3]
+            x308 <- [0..3]
+            x309 <- [0..3]
+            x310 <- [0..3]
+            x311 <- [0..3]
+            x312 <- [0..3]
+            x313 <- [0..3]
+            x314 <- [0..3]
+            x315 <- [0..3]
+            x316 <- [0..3]
+            x317 <- [0..3]
+            x318 <- [0..3]
+            x319 <- [0..3]
+            x320 <- [0..3]
+            x321 <- [0..3]
+            x322 <- [0..3]
+            x323 <- [0..3]
+            x324 <- [0..3]
+            x325 <- [0..3]
+            x326 <- [0..3]
+            x327 <- [0..3]
+            x328 <- [0..3]
+            x329 <- [0..3]
+            x330 <- [0..3]
+            x331 <- [0..3]
+            x332 <- [0..3]
+            x333 <- [0..3]
+            x334 <- [0..3]
+            x335 <- [0..3]
+            x336 <- [0..3]
+            x337 <- [0..3]
+            x338 <- [0..3]
+            x339 <- [0..3]
+            x340 <- [0..3]
+            x341 <- [0..3]
+            x342 <- [0..3]
+            x343 <- [0..3]
+            x344 <- [0..3]
+            x345 <- [0..3]
+            x346 <- [0..3]
+            x347 <- [0..3]
+            x348 <- [0..3]
+            x349 <- [0..3]
+            x350 <- [0..3]
+            x351 <- [0..3]
+            x352 <- [0..3]
+            x353 <- [0..3]
+            x354 <- [0..3]
+            x355 <- [0..3]
+            x356 <- [0..3]
+            x357 <- [0..3]
+            x358 <- [0..3]
+            x359 <- [0..3]
+            x360 <- [0..3]
+            x361 <- [0..3]
+            x362 <- [0..3]
+            x363 <- [0..3]
+            x364 <- [0..3]
+            x365 <- [0..3]
+            x366 <- [0..3]
+            x367 <- [0..3]
+            x368 <- [0..3]
+            x369 <- [0..3]
+            x370 <- [0..3]
+            x371 <- [0..3]
+            x372 <- [0..3]
+            x373 <- [0..3]
+            x374 <- [0..3]
+            x375 <- [0..3]
+            x376 <- [0..3]
+            x377 <- [0..3]
+            x378 <- [0..3]
+            x379 <- [0..3]
+            x380 <- [0..3]
+            x381 <- [0..3]
+            x382 <- [0..3]
+            x383 <- [0..3]
+            x384 <- [0..3]
+            x385 <- [0..3]
+            x386 <- [0..3]
+            x387 <- [0..3]
+            x388 <- [0..3]
+            x389 <- [0..3]
+            x390 <- [0..3]
+            x391 <- [0..3]
+            x392 <- [0..3]
+            x393 <- [0..3]
+            x394 <- [0..3]
+            x395 <- [0..3]
+            x396 <- [0..3]
+            x397 <- [0..3]
+            x398 <- [0..3]
+            x399 <- [0..3]
+            x400 <- [0..3]
+            x401 <- [0..3]
+            x402 <- [0..3]
+            x403 <- [0..3]
+            x404 <- [0..3]
+            x405 <- [0..3]
+            x406 <- [0..3]
+            x407 <- [0..3]
+            x408 <- [0..3]
+            x409 <- [0..3]
+            x410 <- [0..3]
+            x411 <- [0..3]
+            x412 <- [0..3]
+            x413 <- [0..3]
+            x414 <- [0..3]
+            x415 <- [0..3]
+            x416 <- [0..3]
+            x417 <- [0..3]
+            x418 <- [0..3]
+            x419 <- [0..3]
+            x420 <- [0..3]
+            x421 <- [0..3]
+            x422 <- [0..3]
+            x423 <- [0..3]
+            x424 <- [0..3]
+            x425 <- [0..3]
+            x426 <- [0..3]
+            x427 <- [0..3]
+            x428 <- [0..3]
+            x429 <- [0..3]
+            x430 <- [0..3]
+            x431 <- [0..3]
+            x432 <- [0..3]
+            x433 <- [0..3]
+            x434 <- [0..3]
+            x435 <- [0..3]
+            x436 <- [0..3]
+            x437 <- [0..3]
+            x438 <- [0..3]
+            x439 <- [0..3]
+            x440 <- [0..3]
+            x441 <- [0..3]
+            x442 <- [0..3]
+            x443 <- [0..3]
+            x444 <- [0..3]
+            x445 <- [0..3]
+            x446 <- [0..3]
+            x447 <- [0..3]
+            x448 <- [0..3]
+            x449 <- [0..3]
+            x450 <- [0..3]
+            x451 <- [0..3]
+            x452 <- [0..3]
+            x453 <- [0..3]
+            x454 <- [0..3]
+            x455 <- [0..3]
+            x456 <- [0..3]
+            x457 <- [0..3]
+            x458 <- [0..3]
+            x459 <- [0..3]
+            x460 <- [0..3]
+            x461 <- [0..3]
+            x462 <- [0..3]
+            x463 <- [0..3]
+            x464 <- [0..3]
+            x465 <- [0..3]
+            x466 <- [0..3]
+            x467 <- [0..3]
+            x468 <- [0..3]
+            x469 <- [0..3]
+            x470 <- [0..3]
+            x471 <- [0..3]
+            x472 <- [0..3]
+            x473 <- [0..3]
+            x474 <- [0..3]
+            x475 <- [0..3]
+            x476 <- [0..3]
+            x477 <- [0..3]
+            x478 <- [0..3]
+            x479 <- [0..3]
+            x480 <- [0..3]
+            x481 <- [0..3]
+            x482 <- [0..3]
+            x483 <- [0..3]
+            x484 <- [0..3]
+            x485 <- [0..3]
+            x486 <- [0..3]
+            x487 <- [0..3]
+            x488 <- [0..3]
+            x489 <- [0..3]
+            x490 <- [0..3]
+            x491 <- [0..3]
+            x492 <- [0..3]
+            x493 <- [0..3]
+            x494 <- [0..3]
+            x495 <- [0..3]
+            x496 <- [0..3]
+            x497 <- [0..3]
+            x498 <- [0..3]
+            x499 <- [0..3]
+            x500 <- [0..3]
+            x501 <- [0..3]
+            x502 <- [0..3]
+            x503 <- [0..3]
+            x504 <- [0..3]
+            x505 <- [0..3]
+            x506 <- [0..3]
+            x507 <- [0..3]
+            x508 <- [0..3]
+            x509 <- [0..3]
+            x510 <- [0..3]
+            x511 <- [0..3]
+            x512 <- [0..3]
+            x513 <- [0..3]
+            x514 <- [0..3]
+            x515 <- [0..3]
+            x516 <- [0..3]
+            x517 <- [0..3]
+            x518 <- [0..3]
+            x519 <- [0..3]
+            x520 <- [0..3]
+            x521 <- [0..3]
+            x522 <- [0..3]
+            x523 <- [0..3]
+            x524 <- [0..3]
+            x525 <- [0..3]
+            x526 <- [0..3]
+            x527 <- [0..3]
+            x528 <- [0..3]
+            x529 <- [0..3]
+            x530 <- [0..3]
+            x531 <- [0..3]
+            x532 <- [0..3]
+            x533 <- [0..3]
+            x534 <- [0..3]
+            x535 <- [0..3]
+            x536 <- [0..3]
+            x537 <- [0..3]
+            x538 <- [0..3]
+            x539 <- [0..3]
+            x540 <- [0..3]
+            x541 <- [0..3]
+            x542 <- [0..3]
+            x543 <- [0..3]
+            x544 <- [0..3]
+            x545 <- [0..3]
+            x546 <- [0..3]
+            x547 <- [0..3]
+            x548 <- [0..3]
+            x549 <- [0..3]
+            x550 <- [0..3]
+            x551 <- [0..3]
+            x552 <- [0..3]
+            x553 <- [0..3]
+            x554 <- [0..3]
+            x555 <- [0..3]
+            x556 <- [0..3]
+            x557 <- [0..3]
+            x558 <- [0..3]
+            x559 <- [0..3]
+            x560 <- [0..3]
+            x561 <- [0..3]
+            x562 <- [0..3]
+            x563 <- [0..3]
+            x564 <- [0..3]
+            x565 <- [0..3]
+            x566 <- [0..3]
+            x567 <- [0..3]
+            x568 <- [0..3]
+            x569 <- [0..3]
+            x570 <- [0..3]
+            x571 <- [0..3]
+            x572 <- [0..3]
+            x573 <- [0..3]
+            x574 <- [0..3]
+            x575 <- [0..3]
+            x576 <- [0..3]
+            x577 <- [0..3]
+            x578 <- [0..3]
+            x579 <- [0..3]
+            x580 <- [0..3]
+            x581 <- [0..3]
+            x582 <- [0..3]
+            x583 <- [0..3]
+            x584 <- [0..3]
+            x585 <- [0..3]
+            x586 <- [0..3]
+            x587 <- [0..3]
+            x588 <- [0..3]
+            x589 <- [0..3]
+            x590 <- [0..3]
+            x591 <- [0..3]
+            x592 <- [0..3]
+            x593 <- [0..3]
+            x594 <- [0..3]
+            x595 <- [0..3]
+            x596 <- [0..3]
+            x597 <- [0..3]
+            x598 <- [0..3]
+            x599 <- [0..3]
+            x600 <- [0..3]
+            guard (x1+x2+2*x3 >= 0)
+            return [x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46,x47,x48,x49,x50,x51,x52,x53,x54,x55,x56,x57,x58,x59,x60,x61,x62,x63,x64,x65,x66,x67,x68,x69,x70,x71,x72,x73,x74,x75,x76,x77,x78,x79,x80,x81,x82,x83,x84,x85,x86,x87,x88,x89,x90,x91,x92,x93,x94,x95,x96,x97,x98,x99,x100,x101,x102,x103,x104,x105,x106,x107,x108,x109,x110,x111,x112,x113,x114,x115,x116,x117,x118,x119,x120,x121,x122,x123,x124,x125,x126,x127,x128,x129,x130,x131,x132,x133,x134,x135,x136,x137,x138,x139,x140,x141,x142,x143,x144,x145,x146,x147,x148,x149,x150,x151,x152,x153,x154,x155,x156,x157,x158,x159,x160,x161,x162,x163,x164,x165,x166,x167,x168,x169,x170,x171,x172,x173,x174,x175,x176,x177,x178,x179,x180,x181,x182,x183,x184,x185,x186,x187,x188,x189,x190,x191,x192,x193,x194,x195,x196,x197,x198,x199,x200,x201,x202,x203,x204,x205,x206,x207,x208,x209,x210,x211,x212,x213,x214,x215,x216,x217,x218,x219,x220,x221,x222,x223,x224,x225,x226,x227,x228,x229,x230,x231,x232,x233,x234,x235,x236,x237,x238,x239,x240,x241,x242,x243,x244,x245,x246,x247,x248,x249,x250,x251,x252,x253,x254,x255,x256,x257,x258,x259,x260,x261,x262,x263,x264,x265,x266,x267,x268,x269,x270,x271,x272,x273,x274,x275,x276,x277,x278,x279,x280,x281,x282,x283,x284,x285,x286,x287,x288,x289,x290,x291,x292,x293,x294,x295,x296,x297,x298,x299,x300,x301,x302,x303,x304,x305,x306,x307,x308,x309,x310,x311,x312,x313,x314,x315,x316,x317,x318,x319,x320,x321,x322,x323,x324,x325,x326,x327,x328,x329,x330,x331,x332,x333,x334,x335,x336,x337,x338,x339,x340,x341,x342,x343,x344,x345,x346,x347,x348,x349,x350,x351,x352,x353,x354,x355,x356,x357,x358,x359,x360,x361,x362,x363,x364,x365,x366,x367,x368,x369,x370,x371,x372,x373,x374,x375,x376,x377,x378,x379,x380,x381,x382,x383,x384,x385,x386,x387,x388,x389,x390,x391,x392,x393,x394,x395,x396,x397,x398,x399,x400,x401,x402,x403,x404,x405,x406,x407,x408,x409,x410,x411,x412,x413,x414,x415,x416,x417,x418,x419,x420,x421,x422,x423,x424,x425,x426,x427,x428,x429,x430,x431,x432,x433,x434,x435,x436,x437,x438,x439,x440,x441,x442,x443,x444,x445,x446,x447,x448,x449,x450,x451,x452,x453,x454,x455,x456,x457,x458,x459,x460,x461,x462,x463,x464,x465,x466,x467,x468,x469,x470,x471,x472,x473,x474,x475,x476,x477,x478,x479,x480,x481,x482,x483,x484,x485,x486,x487,x488,x489,x490,x491,x492,x493,x494,x495,x496,x497,x498,x499,x500,x501,x502,x503,x504,x505,x506,x507,x508,x509,x510,x511,x512,x513,x514,x515,x516,x517,x518,x519,x520,x521,x522,x523,x524,x525,x526,x527,x528,x529,x530,x531,x532,x533,x534,x535,x536,x537,x538,x539,x540,x541,x542,x543,x544,x545,x546,x547,x548,x549,x550,x551,x552,x553,x554,x555,x556,x557,x558,x559,x560,x561,x562,x563,x564,x565,x566,x567,x568,x569,x570,x571,x572,x573,x574,x575,x576,x577,x578,x579,x580,x581,x582,x583,x584,x585,x586,x587,x588,x589,x590,x591,x592,x593,x594,x595,x596,x597,x598,x599,x600]