Fix tests

47 files changed, 49 insertions, 6 deletions

diff --git a/testsuite/tests/codeGen/should_compile/T3286.hs b/testsuite/tests/codeGen/should_compile/T3286.hs
index 22c810dcd7..cdb1eec2ea 100644
--- a/testsuite/tests/codeGen/should_compile/T3286.hs
+++ b/testsuite/tests/codeGen/should_compile/T3286.hs
@@ -1,4 +1,5 @@
 {-# OPTIONS -fno-warn-redundant-constraints #-}
+{-# OPTIONS_GHC -Wno-x-partial #-}
 
 module T3286 (train) where
 
diff --git a/testsuite/tests/deSugar/should_compile/ds025.hs b/testsuite/tests/deSugar/should_compile/ds025.hs
index fdbf0ff6ae..e36825c917 100644
--- a/testsuite/tests/deSugar/should_compile/ds025.hs
+++ b/testsuite/tests/deSugar/should_compile/ds025.hs
@@ -1,4 +1,5 @@
 -- !!! ds025 -- overloaded assoc -- AbsBinds
+{-# OPTIONS_GHC -Wno-x-partial #-}
 
 module ShouldCompile where
 
diff --git a/testsuite/tests/ghc-api/T10052/T10052.hs b/testsuite/tests/ghc-api/T10052/T10052.hs
index 472667b188..93785bf012 100644
--- a/testsuite/tests/ghc-api/T10052/T10052.hs
+++ b/testsuite/tests/ghc-api/T10052/T10052.hs
@@ -1,5 +1,6 @@
 {-# LANGUAGE RecordWildCards #-}
 {-# OPTIONS_GHC -Wall #-}
+{-# OPTIONS_GHC -Wno-x-partial #-}
 module Main where
 
 import System.Environment
diff --git a/testsuite/tests/ghci.debugger/scripts/T18045.hs b/testsuite/tests/ghci.debugger/scripts/T18045.hs
index 2bb9b90d05..98908b9eed 100644
--- a/testsuite/tests/ghci.debugger/scripts/T18045.hs
+++ b/testsuite/tests/ghci.debugger/scripts/T18045.hs
@@ -1,3 +1,4 @@
+{-# OPTIONS_GHC -Wno-x-partial #-}
 import qualified Data.IntSet as IntSet
 import Data.Array
 
diff --git a/testsuite/tests/ghci.debugger/scripts/T18045.script b/testsuite/tests/ghci.debugger/scripts/T18045.script
index 31eb17dc0d..9a5547075a 100644
--- a/testsuite/tests/ghci.debugger/scripts/T18045.script
+++ b/testsuite/tests/ghci.debugger/scripts/T18045.script
@@ -1,5 +1,5 @@
 :load T18045
-:break 18
+:break 19
 solve [[3],[1,2],[2,3]]
 :continue
 dist
diff --git a/testsuite/tests/ghci.debugger/scripts/T18045.stdout b/testsuite/tests/ghci.debugger/scripts/T18045.stdout
index 7ca60b28b0..68f597847a 100644
--- a/testsuite/tests/ghci.debugger/scripts/T18045.stdout
+++ b/testsuite/tests/ghci.debugger/scripts/T18045.stdout
@@ -1,11 +1,11 @@
-Breakpoint 0 activated at T18045.hs:18:11-68
-[Stopped in Main.bfs._bfs, T18045.hs:18:11-68
+Breakpoint 0 activated at T18045.hs:19:11-68
+[Stopped in Main.bfs._bfs, T18045.hs:19:11-68
 _result :: [(IntSet.Key, Int)] = _
 currli :: [IntSet.Key] = _
 dist :: Int = 0
 ncurr :: IntSet.IntSet = _
 nvisit :: IntSet.IntSet = _
-Stopped in Main.bfs._bfs, T18045.hs:18:11-68
+Stopped in Main.bfs._bfs, T18045.hs:19:11-68
 _result :: [(IntSet.Key, Int)] = _
 currli :: [IntSet.Key] = _
 dist :: Int = _
diff --git a/testsuite/tests/ghci.debugger/scripts/break009.script b/testsuite/tests/ghci.debugger/scripts/break009.script
index 7a1857f7c2..3ae306f52c 100644
--- a/testsuite/tests/ghci.debugger/scripts/break009.script
+++ b/testsuite/tests/ghci.debugger/scripts/break009.script
@@ -1,3 +1,4 @@
+:set -Wno-x-partial
 :l Test6.hs
 :b 5
 main
diff --git a/testsuite/tests/ghci.debugger/scripts/break010.script b/testsuite/tests/ghci.debugger/scripts/break010.script
index 9780672473..afebb06d1a 100644
--- a/testsuite/tests/ghci.debugger/scripts/break010.script
+++ b/testsuite/tests/ghci.debugger/scripts/break010.script
@@ -1,3 +1,4 @@
+:set -Wno-x-partial
 :l Test6.hs
 :b 5
 main
diff --git a/testsuite/tests/ghci.debugger/scripts/print001.script b/testsuite/tests/ghci.debugger/scripts/print001.script
index bdb2098c0f..705b1b06f4 100644
--- a/testsuite/tests/ghci.debugger/scripts/print001.script
+++ b/testsuite/tests/ghci.debugger/scripts/print001.script
@@ -1,4 +1,5 @@
 -- Printing of lists
+:set -Wno-x-partial
 
 let li = map Just [0::Integer .. 5]
 :p li
diff --git a/testsuite/tests/ghci.debugger/scripts/print004.script b/testsuite/tests/ghci.debugger/scripts/print004.script
index 78039d8e0f..9fb4575775 100644
--- a/testsuite/tests/ghci.debugger/scripts/print004.script
+++ b/testsuite/tests/ghci.debugger/scripts/print004.script
@@ -1,4 +1,5 @@
 -- simple :print tests
+:set -Wno-x-partial
 
 let a = False
 :sp a 
diff --git a/testsuite/tests/ghci.debugger/scripts/print028.script b/testsuite/tests/ghci.debugger/scripts/print028.script
index dac9816370..37ed964364 100644
--- a/testsuite/tests/ghci.debugger/scripts/print028.script
+++ b/testsuite/tests/ghci.debugger/scripts/print028.script
@@ -1,3 +1,4 @@
+:set -Wno-x-partial
 :m + Data.IORef
 
 let l = map Just [1::Integer .. 10]
diff --git a/testsuite/tests/ghci/caf_crash/D.hs b/testsuite/tests/ghci/caf_crash/D.hs
index 3dfcdc99ee..80521992ea 100644
--- a/testsuite/tests/ghci/caf_crash/D.hs
+++ b/testsuite/tests/ghci/caf_crash/D.hs
@@ -1,3 +1,4 @@
+{-# OPTIONS_GHC -Wno-x-partial #-}
 module D where
 
 import A
diff --git a/testsuite/tests/ghci/scripts/T10501.script b/testsuite/tests/ghci/scripts/T10501.script
index 06e75ec251..608c227a70 100644
--- a/testsuite/tests/ghci/scripts/T10501.script
+++ b/testsuite/tests/ghci/scripts/T10501.script
@@ -1,2 +1,3 @@
+:set -Wno-x-partial
 :cmd return $ head []
 :cmd return ('1':'2':undefined)
diff --git a/testsuite/tests/ghci/scripts/T16804.script b/testsuite/tests/ghci/scripts/T16804.script
index 3591b06d44..6e9407fa91 100644
--- a/testsuite/tests/ghci/scripts/T16804.script
+++ b/testsuite/tests/ghci/scripts/T16804.script
@@ -1,3 +1,4 @@
+:set -Wno-x-partial
 :{
 annotate :: [String] -> Int -> Int -> Int -> String
 annotate content row startcol endcol =
diff --git a/testsuite/tests/impredicative/PList1.hs b/testsuite/tests/impredicative/PList1.hs
index 27cedc1f49..2877fa65bf 100644
--- a/testsuite/tests/impredicative/PList1.hs
+++ b/testsuite/tests/impredicative/PList1.hs
@@ -1,4 +1,5 @@
 {-# LANGUAGE ImpredicativeTypes #-}
+{-# OPTIONS_GHC -Wno-x-partial #-}
 
 module PList1 where
 -- Polymorphic lists 1: requires smart-app-res
diff --git a/testsuite/tests/impredicative/PList2.hs b/testsuite/tests/impredicative/PList2.hs
index 316e8792ae..e18364fc0c 100644
--- a/testsuite/tests/impredicative/PList2.hs
+++ b/testsuite/tests/impredicative/PList2.hs
@@ -1,4 +1,5 @@
 {-# OPTIONS_GHC -XImpredicativeTypes -fno-warn-deprecated-flags #-}
+{-# OPTIONS_GHC -Wno-x-partial #-}
 
 module PList2 where
 -- Polymorphic lists 2: require smart-app-arg & smart-app-res: Should fail w/o smart-app-arg
diff --git a/testsuite/tests/impredicative/boxy.hs b/testsuite/tests/impredicative/boxy.hs
index ec42d38fa5..b26da0fcae 100644
--- a/testsuite/tests/impredicative/boxy.hs
+++ b/testsuite/tests/impredicative/boxy.hs
@@ -1,4 +1,5 @@
 {-# LANGUAGE ImpredicativeTypes, ScopedTypeVariables, TypeApplications #-}
+{-# OPTIONS_GHC -Wno-x-partial #-}
 
 module ShouldCompile where
 
diff --git a/testsuite/tests/impredicative/icfp20-ok.hs b/testsuite/tests/impredicative/icfp20-ok.hs
index c5b5e6acfc..37abc11512 100644
--- a/testsuite/tests/impredicative/icfp20-ok.hs
+++ b/testsuite/tests/impredicative/icfp20-ok.hs
@@ -1,4 +1,5 @@
 {-# LANGUAGE ScopedTypeVariables, TypeApplications, RankNTypes, ImpredicativeTypes #-}
+{-# OPTIONS_GHC -Wno-x-partial #-}
 
 module ICFP20 where
 
diff --git a/testsuite/tests/parser/should_compile/T13600b.hs b/testsuite/tests/parser/should_compile/T13600b.hs
index 14796426e9..347f03df71 100644
--- a/testsuite/tests/parser/should_compile/T13600b.hs
+++ b/testsuite/tests/parser/should_compile/T13600b.hs
@@ -1,3 +1,4 @@
+{-# OPTIONS_GHC -Wno-x-partial #-}
 module T13600b where
 
 f ! (Just x) = f !! x
diff --git a/testsuite/tests/parser/should_compile/read024.hs b/testsuite/tests/parser/should_compile/read024.hs
index f00ddb002c..92b3794ae2 100644
--- a/testsuite/tests/parser/should_compile/read024.hs
+++ b/testsuite/tests/parser/should_compile/read024.hs
@@ -1,4 +1,5 @@
 -- !!! checking that special ids are correctly handled.
+{-# OPTIONS_GHC -Wno-x-partial #-}
 module ShouldCompile where
 
 as :: [as]
diff --git a/testsuite/tests/partial-sigs/should_compile/ExtraConstraints3.hs b/testsuite/tests/partial-sigs/should_compile/ExtraConstraints3.hs
index 56b9f356da..bf1144028f 100644
--- a/testsuite/tests/partial-sigs/should_compile/ExtraConstraints3.hs
+++ b/testsuite/tests/partial-sigs/should_compile/ExtraConstraints3.hs
@@ -1,5 +1,6 @@
 {-# LANGUAGE PartialTypeSignatures #-}
 {-# LANGUAGE NoMonomorphismRestriction #-}
+{-# OPTIONS_GHC -Wno-x-partial #-}
 module ExtraConstraints3 where
 
 import qualified Prelude as P
diff --git a/testsuite/tests/patsyn/should_compile/T11959.stderr b/testsuite/tests/patsyn/should_compile/T11959.stderr
index d792e3c828..776ca9e858 100644
--- a/testsuite/tests/patsyn/should_compile/T11959.stderr
+++ b/testsuite/tests/patsyn/should_compile/T11959.stderr
@@ -1,3 +1,3 @@
 
-T11959Lib.hs:2:35: warning: [GHC-47854] [-Wduplicate-exports (in -Wdefault)]
+T11959Lib.hs:3:35: warning: [GHC-47854] [-Wduplicate-exports (in -Wdefault)]
     ‘:>’ is exported by ‘pattern (:>)’ and ‘Vec2(Nil, (:>))’
diff --git a/testsuite/tests/patsyn/should_compile/T11959.stdout b/testsuite/tests/patsyn/should_compile/T11959.stdout
index 01c0f01712..b435006c9d 100644
--- a/testsuite/tests/patsyn/should_compile/T11959.stdout
+++ b/testsuite/tests/patsyn/should_compile/T11959.stdout
@@ -1,3 +1,3 @@
 
-T11959Lib.hs:2:35: warning: [-Wduplicate-exports (in -Wdefault)]
+T11959Lib.hs:3:35: warning: [-Wduplicate-exports (in -Wdefault)]
     ‘:>’ is exported by ‘(:>)’ and ‘Vec2(Nil, type (:>))’
diff --git a/testsuite/tests/patsyn/should_compile/T11959Lib.hs b/testsuite/tests/patsyn/should_compile/T11959Lib.hs
index 4c007214d5..8c5af7f261 100644
--- a/testsuite/tests/patsyn/should_compile/T11959Lib.hs
+++ b/testsuite/tests/patsyn/should_compile/T11959Lib.hs
@@ -1,4 +1,5 @@
 {-# LANGUAGE PatternSynonyms, ViewPatterns #-}
+{-# OPTIONS_GHC -Wno-x-partial #-}
 module T11959Lib (Vec2(Nil,(:>)), pattern (:>)) where
 
 newtype Vec2 a = Vec2 {unvec2 :: [a]}
diff --git a/testsuite/tests/pmcheck/should_compile/T11303.hs b/testsuite/tests/pmcheck/should_compile/T11303.hs
index 3989b99fdd..09faee5e02 100644
--- a/testsuite/tests/pmcheck/should_compile/T11303.hs
+++ b/testsuite/tests/pmcheck/should_compile/T11303.hs
@@ -1,3 +1,4 @@
+{-# OPTIONS_GHC -Wno-x-partial #-}
 import System.Environment
 
 -- This covers #11303, wherein the pattern checker would explode
diff --git a/testsuite/tests/rts/linker/Test.hs b/testsuite/tests/rts/linker/Test.hs
index a65e7d3d56..2836b95682 100644
--- a/testsuite/tests/rts/linker/Test.hs
+++ b/testsuite/tests/rts/linker/Test.hs
@@ -1,3 +1,4 @@
+{-# OPTIONS_GHC -Wno-x-partial #-}
 module Test where
 
 f :: Int -> Int
diff --git a/testsuite/tests/simplCore/should_compile/T14779b.hs b/testsuite/tests/simplCore/should_compile/T14779b.hs
index b3f0ec266b..934edc7684 100644
--- a/testsuite/tests/simplCore/should_compile/T14779b.hs
+++ b/testsuite/tests/simplCore/should_compile/T14779b.hs
@@ -1,4 +1,5 @@
 {-# OPTIONS_GHC -g -O #-}
+{-# OPTIONS_GHC -Wno-x-partial #-}
 -- This used to fail with:
 --
 -- *** Core Lint errors : in result of Simplifier ***
diff --git a/testsuite/tests/simplCore/should_compile/T17722B.hs b/testsuite/tests/simplCore/should_compile/T17722B.hs
index ffcf5c9203..dab3481a20 100644
--- a/testsuite/tests/simplCore/should_compile/T17722B.hs
+++ b/testsuite/tests/simplCore/should_compile/T17722B.hs
@@ -1,5 +1,6 @@
 {-# LANGUAGE GeneralizedNewtypeDeriving #-}
 {-# LANGUAGE OverloadedStrings          #-}
+{-# OPTIONS_GHC -Wno-x-partial #-}
 
 module T17722B (setHelper) where
 
diff --git a/testsuite/tests/simplCore/should_compile/T22347.hs b/testsuite/tests/simplCore/should_compile/T22347.hs
index 727eedf8db..c0baabe52c 100644
--- a/testsuite/tests/simplCore/should_compile/T22347.hs
+++ b/testsuite/tests/simplCore/should_compile/T22347.hs
@@ -1,4 +1,5 @@
 {-# LANGUAGE ScopedTypeVariables #-}
+{-# OPTIONS_GHC -Wno-x-partial #-}
 module M where
 
 import Control.Monad.ST
diff --git a/testsuite/tests/simplCore/should_compile/T22347a.hs b/testsuite/tests/simplCore/should_compile/T22347a.hs
index 727eedf8db..c0baabe52c 100644
--- a/testsuite/tests/simplCore/should_compile/T22347a.hs
+++ b/testsuite/tests/simplCore/should_compile/T22347a.hs
@@ -1,4 +1,5 @@
 {-# LANGUAGE ScopedTypeVariables #-}
+{-# OPTIONS_GHC -Wno-x-partial #-}
 module M where
 
 import Control.Monad.ST
diff --git a/testsuite/tests/simplCore/should_compile/simpl007.hs b/testsuite/tests/simplCore/should_compile/simpl007.hs
index 96c6f882e8..21c5ae67bc 100644
--- a/testsuite/tests/simplCore/should_compile/simpl007.hs
+++ b/testsuite/tests/simplCore/should_compile/simpl007.hs
@@ -1,4 +1,5 @@
 {-# OPTIONS_GHC -fno-warn-redundant-constraints #-}
+{-# OPTIONS_GHC -Wno-x-partial #-}
 {-# LANGUAGE UndecidableInstances,
              ExistentialQuantification, FlexibleInstances #-}
 
diff --git a/testsuite/tests/simplCore/should_compile/strict-float.hs b/testsuite/tests/simplCore/should_compile/strict-float.hs
index 77954b76bb..2e2ed944f1 100644
--- a/testsuite/tests/simplCore/should_compile/strict-float.hs
+++ b/testsuite/tests/simplCore/should_compile/strict-float.hs
@@ -1,6 +1,7 @@
 
 -- Test from Kirsten Chevalier
 -- Tests the "strict bindings getting floated to top" bug in the floater
+{-# OPTIONS_GHC -Wno-x-partial #-}
 
 module B (bernoulli) where
 
diff --git a/testsuite/tests/simplCore/should_run/T2486.hs b/testsuite/tests/simplCore/should_run/T2486.hs
index a6d5112d7b..04b9b0fecd 100644
--- a/testsuite/tests/simplCore/should_run/T2486.hs
+++ b/testsuite/tests/simplCore/should_run/T2486.hs
@@ -1,4 +1,5 @@
 {-# OPTIONS_GHC -O -ddump-rules #-}
+{-# OPTIONS_GHC -Wno-x-partial #-}
 
 -- #2486
 --
diff --git a/testsuite/tests/th/T4135a.hs b/testsuite/tests/th/T4135a.hs
index d78de088a0..d3cb800ed5 100644
--- a/testsuite/tests/th/T4135a.hs
+++ b/testsuite/tests/th/T4135a.hs
@@ -1,5 +1,6 @@
 {-# LANGUAGE TemplateHaskell, MultiParamTypeClasses, TypeFamilies,
              FlexibleInstances #-}
+{-# OPTIONS_GHC -Wno-x-partial #-}
 
 module T4135a where
 
diff --git a/testsuite/tests/th/TH_tf1.hs b/testsuite/tests/th/TH_tf1.hs
index 43ac2d3379..3178a1cd18 100644
--- a/testsuite/tests/th/TH_tf1.hs
+++ b/testsuite/tests/th/TH_tf1.hs
@@ -1,4 +1,5 @@
 {-# LANGUAGE TypeFamilies #-}
+{-# OPTIONS_GHC -Wno-x-partial #-}
 
 module TH_tf1 where
 
diff --git a/testsuite/tests/typecheck/should_compile/GivenOverlapping.hs b/testsuite/tests/typecheck/should_compile/GivenOverlapping.hs
index 8ef6bb8e41..a0ed41a3fc 100644
--- a/testsuite/tests/typecheck/should_compile/GivenOverlapping.hs
+++ b/testsuite/tests/typecheck/should_compile/GivenOverlapping.hs
@@ -1,4 +1,5 @@
 {-# OPTIONS_GHC -Wno-redundant-constraints -Wno-simplifiable-class-constraints #-}
+{-# OPTIONS_GHC -Wno-x-partial #-}
 {-# LANGUAGE FunctionalDependencies, FlexibleContexts #-}
 
 class C a where
diff --git a/testsuite/tests/typecheck/should_compile/MutRec.hs b/testsuite/tests/typecheck/should_compile/MutRec.hs
index 1a2a01f329..817daa5010 100644
--- a/testsuite/tests/typecheck/should_compile/MutRec.hs
+++ b/testsuite/tests/typecheck/should_compile/MutRec.hs
@@ -1,3 +1,4 @@
+{-# OPTIONS_GHC -Wno-x-partial #-}
 module MutRec where
 
 -- Mutual recursion with different
diff --git a/testsuite/tests/typecheck/should_compile/T12760.hs b/testsuite/tests/typecheck/should_compile/T12760.hs
index 40db2d500a..4e82c25a46 100644
--- a/testsuite/tests/typecheck/should_compile/T12760.hs
+++ b/testsuite/tests/typecheck/should_compile/T12760.hs
@@ -1,4 +1,5 @@
 {-# LANGUAGE GeneralizedNewtypeDeriving #-}
+{-# OPTIONS_GHC -Wno-x-partial #-}
 
 module A where
 
diff --git a/testsuite/tests/typecheck/should_compile/T18323.hs b/testsuite/tests/typecheck/should_compile/T18323.hs
index 5f47d783ea..0d557f4671 100644
--- a/testsuite/tests/typecheck/should_compile/T18323.hs
+++ b/testsuite/tests/typecheck/should_compile/T18323.hs
@@ -1,4 +1,5 @@
 {-# LANGUAGE ImpredicativeTypes #-}
+{-# OPTIONS_GHC -Wno-x-partial #-}
 
 -- Tests SPECIAL CASE 2 in GHC.Tc.Gen.Bind.tcMonoBinds
 -- See Note [Special case for non-recursive pattern bindings]
diff --git a/testsuite/tests/typecheck/should_compile/T2045.hs b/testsuite/tests/typecheck/should_compile/T2045.hs
index 00e17edfa2..a74f93349b 100644
--- a/testsuite/tests/typecheck/should_compile/T2045.hs
+++ b/testsuite/tests/typecheck/should_compile/T2045.hs
@@ -1,5 +1,6 @@
 {-# LANGUAGE EmptyDataDecls #-}
 {-# OPTIONS_GHC -fno-warn-type-defaults #-}
+{-# OPTIONS_GHC -Wno-x-partial #-}
 
 -- #2045
 -- ghc -fhpc --make Vhdl.hs -o gencirc -Wall
diff --git a/testsuite/tests/typecheck/should_compile/T21205.hs b/testsuite/tests/typecheck/should_compile/T21205.hs
index 09419a6fe7..321b5dba5b 100644
--- a/testsuite/tests/typecheck/should_compile/T21205.hs
+++ b/testsuite/tests/typecheck/should_compile/T21205.hs
@@ -5,6 +5,7 @@
            , ScopedTypeVariables
            , StandaloneKindSignatures
            , TypeFamilies #-}
+{-# OPTIONS_GHC -Wno-x-partial #-}
 
 module T20855b where
 
diff --git a/testsuite/tests/typecheck/should_compile/tc065.hs b/testsuite/tests/typecheck/should_compile/tc065.hs
index 93edb935ee..c052ef1074 100644
--- a/testsuite/tests/typecheck/should_compile/tc065.hs
+++ b/testsuite/tests/typecheck/should_compile/tc065.hs
@@ -1,3 +1,4 @@
+{-# OPTIONS_GHC -Wno-x-partial #-}
 module ShouldSucceed where
 
 -- import TheUtils
diff --git a/testsuite/tests/typecheck/should_compile/tc080.hs b/testsuite/tests/typecheck/should_compile/tc080.hs
index 8b08d2d584..f34312ee87 100644
--- a/testsuite/tests/typecheck/should_compile/tc080.hs
+++ b/testsuite/tests/typecheck/should_compile/tc080.hs
@@ -1,5 +1,6 @@
 --module Parse(Parse(..),whiteSpace,separatedBy) where
 --import StdLib
+{-# OPTIONS_GHC -Wno-x-partial #-}
 module ShouldSucceed where
 
 import Data.Char
diff --git a/testsuite/tests/typecheck/should_compile/tc117.hs b/testsuite/tests/typecheck/should_compile/tc117.hs
index d27c2b0076..863d21c0b0 100644
--- a/testsuite/tests/typecheck/should_compile/tc117.hs
+++ b/testsuite/tests/typecheck/should_compile/tc117.hs
@@ -1,6 +1,7 @@
 {-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies,
              FlexibleInstances, UndecidableInstances #-}
 -- UndecidableInstances now needed because the Coverage Condition fails
+{-# OPTIONS_GHC -Wno-x-partial #-}
 
 -- !!! Functional dependencies
 -- This one gave another fail in tcReadMutVar
diff --git a/testsuite/tests/typecheck/should_compile/tc189.hs b/testsuite/tests/typecheck/should_compile/tc189.hs
index cafba59486..a6e440a06d 100644
--- a/testsuite/tests/typecheck/should_compile/tc189.hs
+++ b/testsuite/tests/typecheck/should_compile/tc189.hs
@@ -1,6 +1,7 @@
 -- Nasty test for type signatures
 -- In both groups of declarations below, the type variables 'a' and 'b'
 -- end up being unified together.
+{-# OPTIONS_GHC -Wno-x-partial #-}
 
 module ShouldCompile where
 
diff --git a/testsuite/tests/typecheck/should_compile/tc207.hs b/testsuite/tests/typecheck/should_compile/tc207.hs
index 9f5a04a42d..26bf6b39a8 100644
--- a/testsuite/tests/typecheck/should_compile/tc207.hs
+++ b/testsuite/tests/typecheck/should_compile/tc207.hs
@@ -1,5 +1,6 @@
 
 -- Tests enhanced polymorphism
+{-# OPTIONS_GHC -Wno-x-partial #-}
 
 module ShouldCompile where
 
diff --git a/testsuite/tests/typecheck/should_compile/tc211.hs b/testsuite/tests/typecheck/should_compile/tc211.hs
index 0e23ed1640..03eda4c4e8 100644
--- a/testsuite/tests/typecheck/should_compile/tc211.hs
+++ b/testsuite/tests/typecheck/should_compile/tc211.hs
@@ -1,4 +1,5 @@
 {-# LANGUAGE ImpredicativeTypes, ScopedTypeVariables, GADTs #-}
+{-# OPTIONS_GHC -Wno-x-partial #-}
 
 -- Nov 2014: impredicative types are very dodgy so I am
 --           FAR from confident that these tests give the right errors