summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2018-12-23 06:34:00 +0000
committerBen Gamari <ben@smart-cactus.org>2018-12-23 01:36:08 -0500
commite59439af3222d151918ad1ad2a03942ce9e6a1ff (patch)
tree340fb273ac19c41e8645e895ae06572ecda9f77d
parent8fd3f9a67f9c7b447a5bfcb3aefd8986794918ce (diff)
downloadhaskell-e59439af3222d151918ad1ad2a03942ce9e6a1ff.tar.gz
testsuite: Fix broken_without_gmp
The lack of types made the previous failure silent, sadly. Improves situation of #16043.
-rw-r--r--testsuite/driver/testlib.py9
1 files changed, 4 insertions, 5 deletions
diff --git a/testsuite/driver/testlib.py b/testsuite/driver/testlib.py
index 1c6668ddc9..f26f9e0cc9 100644
--- a/testsuite/driver/testlib.py
+++ b/testsuite/driver/testlib.py
@@ -213,11 +213,6 @@ def record_broken(name, opts, bug):
if not me in brokens:
brokens.append(me)
-def broken_without_gmp(name, opts):
- # Many tests sadly break with integer-simple due to GHCi's ignorance of it.
- when(config.integer_backend != "integer-gmp",
- expect_broken(16043))
-
def _expect_pass(way):
# Helper function. Not intended for use in .T files.
opts = getTestOpts()
@@ -465,6 +460,10 @@ def have_gdb( ):
def have_readelf( ):
return config.have_readelf
+# Many tests sadly break with integer-simple due to GHCi's ignorance of it.
+broken_without_gmp = when(config.integer_backend != "integer-gmp",
+ expect_broken(16043))
+
# ---
def high_memory_usage(name, opts):