testsuite: Drop inapplicable tests

These rely on TypeAbstractions, which is not implemented in 9.6.1.

5 files changed, 0 insertions, 52 deletions

diff --git a/testsuite/tests/gadt/T19847a.hs b/testsuite/tests/gadt/T19847a.hs
deleted file mode 100644
index a1539d9b06..0000000000
--- a/testsuite/tests/gadt/T19847a.hs
+++ /dev/null
@@ -1,14 +0,0 @@
-{-# LANGUAGE LambdaCase, GADTs, ScopedTypeVariables, TypeAbstractions #-}
-
-module T19847a where
-
-data T a b c where
-  MkT :: forall c y x b. (x~y, c~[x], Ord x) => x -> y -> T (x,y) b c
-
-f :: forall b c. (T (Int,Int) b c -> Bool) -> (b,c)
-f = error "urk"
-
-h = f (\case { MkT @_ @_ @_ @Int p q -> True })
--- Check that the @Int argument can affect
--- the type at which `f` is instantiated
--- So h :: forall c. (Int,c)
diff --git a/testsuite/tests/gadt/T19847a.stderr b/testsuite/tests/gadt/T19847a.stderr
deleted file mode 100644
index 1505303835..0000000000
--- a/testsuite/tests/gadt/T19847a.stderr
+++ /dev/null
@@ -1,12 +0,0 @@
-TYPE SIGNATURES
-  f :: forall b c. (T (Int, Int) b c -> Bool) -> (b, c)
-  h :: forall {c}. (Int, c)
-TYPE CONSTRUCTORS
-  data type T{4} :: forall {k}. * -> k -> * -> *
-    roles nominal nominal phantom nominal
-DATA CONSTRUCTORS
-  MkT :: forall {k} c y x (b :: k).
-         (x ~ y, c ~ [x], Ord x) =>
-         x -> y -> T (x, y) b c
-Dependent modules: []
-Dependent packages: [base-4.18.0.0]
diff --git a/testsuite/tests/gadt/all.T b/testsuite/tests/gadt/all.T
index 39db360e89..41d91b3415 100644
--- a/testsuite/tests/gadt/all.T
+++ b/testsuite/tests/gadt/all.T
@@ -127,4 +127,3 @@ test('T20485', normal, compile, [''])
 test('T20485a', normal, compile, [''])
 test('T22235', normal, compile, [''])
 test('T19847', normal, compile, [''])
-test('T19847a', normal, compile, ['-ddump-types'])
diff --git a/testsuite/tests/typecheck/should_compile/T21501.hs b/testsuite/tests/typecheck/should_compile/T21501.hs
deleted file mode 100644
index b5990557b3..0000000000
--- a/testsuite/tests/typecheck/should_compile/T21501.hs
+++ /dev/null
@@ -1,24 +0,0 @@
-{-# LANGUAGE MonoLocalBinds, PatternSynonyms, ViewPatterns, TypeAbstractions #-}
-
-module T21501 where
-
-import Data.Kind
-import Type.Reflection
-
-pattern TypeApp ::
-  forall {k1} {k2} (f :: k1 -> k2) (result :: k2).
-  Typeable f =>
-  forall (arg :: k1).
-  result ~ f arg =>
-  TypeRep arg ->
-  TypeRep result
-pattern TypeApp arg_rep <- App (eqTypeRep (typeRep @f) -> Just HRefl) arg_rep
-
-f :: TypeRep (a :: Type) -> String
-f (TypeApp @[] rep) = show rep
-
-{- Expected type: TypeRep k (a::k)
-   Instantiate at k10 k20 (f0 :: k10 -> k20) (result0 :: k20)
-   Unify (TypeRep k (a::k) ~ TypeRep k20 (result :: k20)
-   Unify f0 ~ []
--}
diff --git a/testsuite/tests/typecheck/should_compile/all.T b/testsuite/tests/typecheck/should_compile/all.T
index bbf868fa42..3d340fe719 100644
--- a/testsuite/tests/typecheck/should_compile/all.T
+++ b/testsuite/tests/typecheck/should_compile/all.T
@@ -858,4 +858,3 @@ test('T22516', normal, compile, [''])
 test('T22647', normal, compile, [''])
 test('T19577', normal, compile, [''])
 test('T22383', normal, compile, [''])
-test('T21501', normal, compile, [''])