• Ben Gamari's avatar
    testsuite: Fix a variety of issues when building with integer-simple · 99378207
    Ben Gamari authored
     * Mark arith011 as broken with integer-simple
       As noted in #16091, arith011 fails when run against integer-simple with a
       "divide by zero" exception. This suggests that integer-gmp and integer-simple
       are handling division by zero differently.
     * This also fixes broken_without_gmp; the lack of types made the previous
       failure silent, sadly. Improves situation of #16043.
     * Mark several tests implicitly depending upon integer-gmp as broken
       with integer-simple. These expect to see Core coming from integer-gmp,
       which breaks with integer-simple.
     * Increase runtime timeout multiplier of T11627a with integer-simple
       I previously saw that T11627a timed out in all profiling ways when run against
       integer-simple. I suspect this is due to integer-simple's rather verbose heap
       representation. Let's see whether increasing the runtime timeout helps.
       Fixes test for #11627.
    This is all in service of fixing #16043.
Last commit
Last update
check Loading commit data...
flags Loading commit data...
ghci Loading commit data...
overlapping Loading commit data...
safeInfered Loading commit data...
safeLanguage Loading commit data...
unsafeLibs Loading commit data...
Makefile Loading commit data...