testsuite: Fix broken_without_gmp
authorBen Gamari <ben@smart-cactus.org>
Sun, 23 Dec 2018 06:34:00 +0000 (06:34 +0000)
committerBen Gamari <ben@smart-cactus.org>
Sun, 23 Dec 2018 06:36:08 +0000 (01:36 -0500)
The lack of types made the previous failure silent, sadly. Improves
situation of #16043.

testsuite/driver/testlib.py

index 1c6668d..f26f9e0 100644 (file)
@@ -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):