Fix tests

12 files changed, 12 insertions, 0 deletions

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