diff options
author | Bodigrim <andrew.lelechenko@gmail.com> | 2023-01-19 00:50:41 +0000 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2023-03-30 14:35:57 -0400 |
commit | d2d8251b32a3546bb4984c9bd027917883ab4969 (patch) | |
tree | 164df3825d6e64047ffc32f2b5873b52545c2316 /testsuite/tests/typecheck/should_compile | |
parent | 7c7dbade771dabaf33a2f0e0675e26865a213968 (diff) | |
download | haskell-d2d8251b32a3546bb4984c9bd027917883ab4969.tar.gz |
Fix tests
Diffstat (limited to 'testsuite/tests/typecheck/should_compile')
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 |