diff options
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 |