testsuite: Fix a variety of issues when building with integer-simple

Authored by bgamari on Sun, Dec 23, 12:34 AM.

Description

testsuite: Fix a variety of issues when building with integer-simple

  • Mark arith011 as broken with integer-simple

    As noted in Trac #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 Trac #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 Trac #11627.

This is all in service of fixing Trac #16043.

Details

Committed
bgamariMon, Dec 24, 9:25 PM
Parents
rGHC6d9d6f9ab545: testsuite: Enable T11627a on Darwin
Branches
Unknown
Tags
Unknown