Split off quotes/ from th/ for tests that can be done on stage1 compiler.

Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>

Test Plan: run these tests with stage1

Reviewers: simonpj, austin

Subscribers: bgamari, thomie

Differential Revision: https://phabricator.haskell.org/D877

GHC Trac Issues: #10382

33 files changed, 5 insertions, 391 deletions

diff --git a/testsuite/tests/th/T2632.hs b/testsuite/tests/th/T2632.hs
deleted file mode 100644
index 31429e28d9..0000000000
--- a/testsuite/tests/th/T2632.hs
+++ /dev/null
@@ -1,16 +0,0 @@
-{-# LANGUAGE TemplateHaskell #-}
-
--- Trac #2632
-
-module MkData where
-
-import Language.Haskell.TH
-
-op :: Num v => v -> v -> v
-op a b = a + b
-
-decl1 = [d| func = 0 `op` 3 |]
-
-decl2 = [d| op x y = x
-            func = 0 `op` 3 |]
-
diff --git a/testsuite/tests/th/T2931.hs b/testsuite/tests/th/T2931.hs
deleted file mode 100644
index f7b9afe0a7..0000000000
--- a/testsuite/tests/th/T2931.hs
+++ /dev/null
@@ -1,8 +0,0 @@
-{-# LANGUAGE TemplateHaskell #-}
--- Trac #2931
-
-module Foo where
-a = 1
-
--- NB: no newline after the 'a'!
-b = 'a
\ No newline at end of file
diff --git a/testsuite/tests/th/T3572.hs b/testsuite/tests/th/T3572.hs
deleted file mode 100644
index 4717fd2735..0000000000
--- a/testsuite/tests/th/T3572.hs
+++ /dev/null
@@ -1,10 +0,0 @@
-{-# LANGUAGE EmptyDataDecls #-}
-
--- Trac #3572
-
-module Main where
-
-import Language.Haskell.TH
-import Language.Haskell.TH.Ppr
-
-main = putStrLn . pprint =<< runQ [d| data Void |]
diff --git a/testsuite/tests/th/T3572.stdout b/testsuite/tests/th/T3572.stdout
deleted file mode 100644
index 9df7a449ff..0000000000
--- a/testsuite/tests/th/T3572.stdout
+++ /dev/null
@@ -1 +0,0 @@
-data Void_0

diff --git a/testsuite/tests/th/T4056.hs b/testsuite/tests/th/T4056.hs
deleted file mode 100644
index 211d2b51f4..0000000000
--- a/testsuite/tests/th/T4056.hs
+++ /dev/null
@@ -1,15 +0,0 @@
-{-# LANGUAGE TemplateHaskell, TypeFamilies, RankNTypes, FlexibleContexts #-}
-
-module T4056 where
-import Language.Haskell.TH
-
-astTest :: Q [Dec]
-astTest = [d|
-    class C t where
-        op :: [t] -> [t]
-        op = undefined
-  |]
-
-class D t where
-  bop :: [t] -> [t]
-  bop = undefined
diff --git a/testsuite/tests/th/T4169.hs b/testsuite/tests/th/T4169.hs
deleted file mode 100644
index 1fa3ad7cb7..0000000000
--- a/testsuite/tests/th/T4169.hs
+++ /dev/null
@@ -1,15 +0,0 @@
-{-# LANGUAGE TemplateHaskell #-}
-
--- Crashed GHC 6.12
-
-module T4165 where
-
-import Language.Haskell.TH
-class Numeric a where
-    fromIntegerNum :: a
-    fromIntegerNum = undefined
-
-ast :: Q [Dec]
-ast = [d|
-    instance Numeric Int
-    |]
diff --git a/testsuite/tests/th/T4170.hs b/testsuite/tests/th/T4170.hs
deleted file mode 100644
index 87ccad6c5b..0000000000
--- a/testsuite/tests/th/T4170.hs
+++ /dev/null
@@ -1,13 +0,0 @@
-{-# LANGUAGE TemplateHaskell #-}
-module T4170 where
-
-import Language.Haskell.TH
-
-class LOL a
-
-lol :: Q [Dec]
-lol = [d|
-    instance LOL Int
-    |]
-
-instance LOL Int
diff --git a/testsuite/tests/th/T5721.hs b/testsuite/tests/th/T5721.hs
deleted file mode 100644
index 9fcecc74a6..0000000000
--- a/testsuite/tests/th/T5721.hs
+++ /dev/null
@@ -1,7 +0,0 @@
-{-# LANGUAGE TemplateHaskell, ScopedTypeVariables #-}  
-
-module T5371 where
-import Language.Haskell.TH
-
-f :: a -> Name
-f (x :: a) = ''a
diff --git a/testsuite/tests/th/T6062.hs b/testsuite/tests/th/T6062.hs
deleted file mode 100644
index 330b3f2b8b..0000000000
--- a/testsuite/tests/th/T6062.hs
+++ /dev/null
@@ -1,3 +0,0 @@
-{-# LANGUAGE TemplateHaskell #-}
-module T6062 where
-x = [| False True |]
diff --git a/testsuite/tests/th/T8455.hs b/testsuite/tests/th/T8455.hs
deleted file mode 100644
index 9023c7d586..0000000000
--- a/testsuite/tests/th/T8455.hs
+++ /dev/null
@@ -1,5 +0,0 @@
-{-# LANGUAGE TemplateHaskell, DataKinds #-}
-
-module T8455 where
-
-ty = [t| 5 |]
\ No newline at end of file
diff --git a/testsuite/tests/th/T8633.hs b/testsuite/tests/th/T8633.hs
deleted file mode 100644
index 79f1ec697c..0000000000
--- a/testsuite/tests/th/T8633.hs
+++ /dev/null
@@ -1,19 +0,0 @@
-module Main where

-import Language.Haskell.TH.Syntax

-

-t1 = case mkName "^.." of

-    Name (OccName ".")  (NameQ (ModName "^")) -> error "bug0"

-    Name (OccName "^..") NameS                -> return ()

-

-t2 = case mkName "Control.Lens.^.." of

-    Name (OccName ".")  (NameQ (ModName "Control.Lens.^")) -> error "bug1"

-    Name (OccName "^..") (NameQ (ModName "Control.Lens")) -> return ()

-

-t3 = case mkName "Data.Bits..&." of

-    Name (OccName ".&.") (NameQ (ModName "Data.Bits")) -> return ()

-

-t4 = case mkName "abcde" of

-    Name (OccName "abcde") NameS -> return ()

-

-main :: IO ()

-main = do t1; t2; t3; t4
\ No newline at end of file
diff --git a/testsuite/tests/th/T8759a.hs b/testsuite/tests/th/T8759a.hs
deleted file mode 100644
index 3d8089c2fa..0000000000
--- a/testsuite/tests/th/T8759a.hs
+++ /dev/null
@@ -1,5 +0,0 @@
-{-# LANGUAGE TemplateHaskell, PatternSynonyms #-}
-
-module T8759a where
-
-foo = [d| pattern Q = False |]
diff --git a/testsuite/tests/th/T8759a.stderr b/testsuite/tests/th/T8759a.stderr
deleted file mode 100644
index ff0fd495df..0000000000
--- a/testsuite/tests/th/T8759a.stderr
+++ /dev/null
@@ -1,4 +0,0 @@
-
-T8759a.hs:5:7:
-    pattern synonyms not (yet) handled by Template Haskell
-      pattern Q = False
diff --git a/testsuite/tests/th/T9824.hs b/testsuite/tests/th/T9824.hs
deleted file mode 100644
index 828c00893c..0000000000
--- a/testsuite/tests/th/T9824.hs
+++ /dev/null
@@ -1,6 +0,0 @@
-{-# LANGUAGE TemplateHaskell #-}
-{-# OPTIONS_GHC -fwarn-unused-matches #-}
-
-module T9824 where
-
-foo = [p| (x, y) |]
diff --git a/testsuite/tests/th/TH_abstractFamily.hs b/testsuite/tests/th/TH_abstractFamily.hs
deleted file mode 100644
index 78d7e43931..0000000000
--- a/testsuite/tests/th/TH_abstractFamily.hs
+++ /dev/null
@@ -1,11 +0,0 @@
-module TH_abstractFamily where
-
-import Language.Haskell.TH
-
--- Empty closed type families are okay...
-ds1 :: Q [Dec]
-ds1 = [d| type family F a where |]
-
--- ...but abstract ones should result in a type error
-ds2 :: Q [Dec]
-ds2 = [d| type family G a where .. |]
diff --git a/testsuite/tests/th/TH_abstractFamily.stderr b/testsuite/tests/th/TH_abstractFamily.stderr
deleted file mode 100644
index c0aa8d274b..0000000000
--- a/testsuite/tests/th/TH_abstractFamily.stderr
+++ /dev/null
@@ -1,5 +0,0 @@
-
-TH_abstractFamily.hs:11:7:
-    abstract closed type family not (yet) handled by Template Haskell
-      type family G a where
-        ..
diff --git a/testsuite/tests/th/TH_bracket1.hs b/testsuite/tests/th/TH_bracket1.hs
deleted file mode 100644
index 393ca47fbd..0000000000
--- a/testsuite/tests/th/TH_bracket1.hs
+++ /dev/null
@@ -1,7 +0,0 @@
--- Check that declarations in a bracket shadow the top-level 
--- declarations, rather than clashing with them.
-
-module TH_bracket1 where
-
-foo = 1
-bar = [d| foo = 1 |]
diff --git a/testsuite/tests/th/TH_bracket2.hs b/testsuite/tests/th/TH_bracket2.hs
deleted file mode 100644
index 2b06b9eecb..0000000000
--- a/testsuite/tests/th/TH_bracket2.hs
+++ /dev/null
@@ -1,7 +0,0 @@
-module TH_bracket2 where
-
-d_show = [d| data A = A
-
-             instance Show A  where
-                 show _ = "A"
-         |]
diff --git a/testsuite/tests/th/TH_bracket3.hs b/testsuite/tests/th/TH_bracket3.hs
deleted file mode 100644
index c746d61cd3..0000000000
--- a/testsuite/tests/th/TH_bracket3.hs
+++ /dev/null
@@ -1,10 +0,0 @@
-{-# LANGUAGE MultiParamTypeClasses #-}
-
-module TH_bracket3 where
-
-d_class = [d| class Classy a b where
-                 f :: a -> b
-
-              instance Classy Int Bool where
-                 f x = if x == 0 then True else False
-           |]
diff --git a/testsuite/tests/th/TH_ppr1.hs b/testsuite/tests/th/TH_ppr1.hs
deleted file mode 100644
index 763d7682e0..0000000000
--- a/testsuite/tests/th/TH_ppr1.hs
+++ /dev/null
@@ -1,37 +0,0 @@
-{-# LANGUAGE MultiParamTypeClasses #-}
-
-module Main (main) where
-
-import Language.Haskell.TH
-
-u1 :: a
-u1 = undefined
-
-u2 :: a
-u2 = undefined
-
-f :: a
-f = undefined
-
-(.+.) :: a
-(.+.) = undefined
-
-main :: IO ()
-main = do runQ [| f u1 u2 |] >>= p
-          runQ [| u1 `f` u2 |] >>= p
-          runQ [| (.+.) u1 u2 |] >>= p
-          runQ [| u1 .+. u2 |] >>= p
-          runQ [| (:) u1 u2 |] >>= p
-          runQ [| u1 : u2 |] >>= p
-          runQ [| \((:) x xs) -> x |] >>= p
-          runQ [| \(x : xs) -> x |] >>= p
-          runQ [d| class Foo a b where
-                       foo :: a -> b   |] >>= p
-          runQ [| \x -> (x, 1 `x` 2) |] >>= p
-          runQ [| \(+) -> ((+), 1 + 2) |] >>= p
-          runQ [| (f, 1 `f` 2) |] >>= p
-          runQ [| ((.+.), 1 .+. 2) |] >>= p
-
-p :: Ppr a => a -> IO ()
-p = putStrLn . pprint
-
diff --git a/testsuite/tests/th/TH_ppr1.stdout b/testsuite/tests/th/TH_ppr1.stdout
deleted file mode 100644
index e969c176c3..0000000000
--- a/testsuite/tests/th/TH_ppr1.stdout
+++ /dev/null
@@ -1,14 +0,0 @@
-Main.f Main.u1 Main.u2

-Main.u1 `Main.f` Main.u2

-(Main..+.) Main.u1 Main.u2

-Main.u1 Main..+. Main.u2

-(GHC.Types.:) Main.u1 Main.u2

-Main.u1 GHC.Types.: Main.u2

-\((GHC.Types.:) x_0 xs_1) -> x_0

-\(x_0 GHC.Types.: xs_1) -> x_0

-class Foo_0 a_1 b_2

-    where foo_3 :: a_1 -> b_2

-\x_0 -> (x_0, 1 `x_0` 2)

-\(+_0) -> ((+_0), 1 +_0 2)

-(Main.f, 1 `Main.f` 2)

-((Main..+.), 1 Main..+. 2)

diff --git a/testsuite/tests/th/TH_reifyType1.hs b/testsuite/tests/th/TH_reifyType1.hs
deleted file mode 100644
index d8b45db271..0000000000
--- a/testsuite/tests/th/TH_reifyType1.hs
+++ /dev/null
@@ -1,13 +0,0 @@
--- test reification of monomorphic types
-
-module TH_reifyType1
-where
-
-import Language.Haskell.TH
-
-foo :: Int -> Int
-foo x = x + 1
-
-type_foo :: InfoQ
-type_foo = reify 'foo
-
diff --git a/testsuite/tests/th/TH_reifyType2.hs b/testsuite/tests/th/TH_reifyType2.hs
deleted file mode 100644
index 85615b5382..0000000000
--- a/testsuite/tests/th/TH_reifyType2.hs
+++ /dev/null
@@ -1,9 +0,0 @@
--- test reification of polymorphic types
-
-module TH_reifyType1
-where
-
-import Language.Haskell.TH
-
-type_length :: InfoQ
-type_length = reify 'length
diff --git a/testsuite/tests/th/TH_repE1.hs b/testsuite/tests/th/TH_repE1.hs
deleted file mode 100644
index 1938a9bdc3..0000000000
--- a/testsuite/tests/th/TH_repE1.hs
+++ /dev/null
@@ -1,30 +0,0 @@
--- test the representation of literals and also explicit type annotations
-
-module TH_repE1
-where
-
-import Language.Haskell.TH
-
-integralExpr :: ExpQ
-integralExpr = [| 42 |]
-
-intExpr :: ExpQ
-intExpr = [| 42 :: Int |]
-
-integerExpr :: ExpQ
-integerExpr = [| 42 :: Integer |]
-
-charExpr :: ExpQ
-charExpr = [| 'x' |]
-
-stringExpr :: ExpQ
-stringExpr = [| "A String" |]
-
-fractionalExpr :: ExpQ
-fractionalExpr = [| 1.2 |]
-
-floatExpr :: ExpQ
-floatExpr = [| 1.2 :: Float |]
-
-doubleExpr :: ExpQ
-doubleExpr = [| 1.2 :: Double |]
diff --git a/testsuite/tests/th/TH_repE3.hs b/testsuite/tests/th/TH_repE3.hs
deleted file mode 100644
index 5f0453c1a7..0000000000
--- a/testsuite/tests/th/TH_repE3.hs
+++ /dev/null
@@ -1,19 +0,0 @@
--- test the representation of literals and also explicit type annotations
-
-module TH_repE1
-where
-
-import Language.Haskell.TH
-
-emptyListExpr :: ExpQ
-emptyListExpr = [| [] |]
-
-singletonListExpr :: ExpQ
-singletonListExpr = [| [4] |]
-
-listExpr :: ExpQ
-listExpr = [| [4,5,6] |]
-
-consExpr :: ExpQ
-consExpr = [| 4:5:6:[] |]
-
diff --git a/testsuite/tests/th/TH_scope.hs b/testsuite/tests/th/TH_scope.hs
deleted file mode 100644
index 7674a5d1c0..0000000000
--- a/testsuite/tests/th/TH_scope.hs
+++ /dev/null
@@ -1,8 +0,0 @@
--- Test for Trac #2188
-
-module TH_scope where
-
-f g = [d| f :: Int
-          f = g
-          g :: Int
-          g = 4 |]
diff --git a/testsuite/tests/th/TH_spliceViewPat/A.hs b/testsuite/tests/th/TH_spliceViewPat/A.hs
deleted file mode 100644
index 0147d2eca2..0000000000
--- a/testsuite/tests/th/TH_spliceViewPat/A.hs
+++ /dev/null
@@ -1,11 +0,0 @@
-{-# LANGUAGE ViewPatterns #-}
-module A where
-
-import Language.Haskell.TH.Quote
-import Language.Haskell.TH
-
-foo :: QuasiQuoter
-foo = QuasiQuoter{quotePat = \s -> viewP [|(*2)|] (varP . mkName $ s)}
-
-bar :: QuasiQuoter
-bar = QuasiQuoter{quotePat = \_ -> [p|((*3) -> fixed_var)|] }
diff --git a/testsuite/tests/th/TH_spliceViewPat/Main.hs b/testsuite/tests/th/TH_spliceViewPat/Main.hs
deleted file mode 100644
index 675ae99bf9..0000000000
--- a/testsuite/tests/th/TH_spliceViewPat/Main.hs
+++ /dev/null
@@ -1,11 +0,0 @@
-{-# LANGUAGE QuasiQuotes, ViewPatterns #-}
-
-module Main where
-
-import A
-
-main = do
-  case 1 of
-    [foo|x|] -> print x
-  case 1 of
-    [bar|<!anything~|] -> print fixed_var
diff --git a/testsuite/tests/th/TH_spliceViewPat/Makefile b/testsuite/tests/th/TH_spliceViewPat/Makefile
deleted file mode 100644
index 4a268530f1..0000000000
--- a/testsuite/tests/th/TH_spliceViewPat/Makefile
+++ /dev/null
@@ -1,4 +0,0 @@
-TOP=../../..
-include $(TOP)/mk/boilerplate.mk
-include $(TOP)/mk/test.mk
-
diff --git a/testsuite/tests/th/TH_spliceViewPat/TH_spliceViewPat.stdout b/testsuite/tests/th/TH_spliceViewPat/TH_spliceViewPat.stdout
deleted file mode 100644
index 4792e70f33..0000000000
--- a/testsuite/tests/th/TH_spliceViewPat/TH_spliceViewPat.stdout
+++ /dev/null
@@ -1,2 +0,0 @@
-2
-3
diff --git a/testsuite/tests/th/TH_spliceViewPat/test.T b/testsuite/tests/th/TH_spliceViewPat/test.T
deleted file mode 100644
index 21fdff3518..0000000000
--- a/testsuite/tests/th/TH_spliceViewPat/test.T
+++ /dev/null
@@ -1,14 +0,0 @@
-def f(name, opts):
-    opts.extra_hc_opts = '-XTemplateHaskell -package template-haskell'
-    if (ghc_with_interpreter == 0):
-        opts.skip = 1
-
-setTestOpts(f)
-setTestOpts(only_compiler_types(['ghc']))
-setTestOpts(only_ways(['normal','ghci']))
-setTestOpts(when(compiler_profiled(), skip))
-
-test('TH_spliceViewPat',
-     extra_clean(['Main.o', 'Main.hi', 'A.o', 'A.hi']),
-     multimod_compile_and_run,
-     ['Main', config.ghc_th_way_flags])
diff --git a/testsuite/tests/th/TH_tf2.hs b/testsuite/tests/th/TH_tf2.hs
deleted file mode 100644
index 399731a7f6..0000000000
--- a/testsuite/tests/th/TH_tf2.hs
+++ /dev/null
@@ -1,26 +0,0 @@
-{-# LANGUAGE TypeFamilies #-}
-{-# LANGUAGE AllowAmbiguousTypes #-}  -- 'bar' is ambiguous
-
-module TH_tf2 where
-
-{-
-$( [d| class C a where
-         data T a
-         foo :: Bool -> T a |] )
-
-$( [d| instance C Int where
-         data T Int = TInt Bool 
-         foo b = TInt (b && b) |] )
-
-$( [d| instance C Float where
-         data T Float = TFloat {flag :: Bool}
-         foo b = TFloat {flag = b && b} |] )
--}
-
-class D a where
-         type S a 
-         bar :: S a -> Int
-
-instance D Int where
-         type S Int = Bool 
-         bar c = if c then 1 else 2
diff --git a/testsuite/tests/th/all.T b/testsuite/tests/th/all.T
index dda8274c5b..43c3e89b02 100644
--- a/testsuite/tests/th/all.T
+++ b/testsuite/tests/th/all.T
@@ -1,3 +1,8 @@
+# NOTICE TO DEVELOPERS
+# ~~~~~~~~~~~~~~~~~~~~
+# Adding a TemplateHaskell test?  If it only contains (non-quasi) quotes
+# and no splices, consider adding it to the quotes/ directory instead
+# of the th/ directory; this way, we can test it on the stage 1 compiler too!
 
 # This test needs to come before the setTestOpts calls below, as we want
 # to run it if compiler_profiled.
@@ -16,9 +21,7 @@ setTestOpts(when(compiler_profiled(), skip))
 test('TH_mkName', normal, compile, ['-v0'])
 test('TH_1tuple', normal, compile_fail, ['-v0'])
 
-test('TH_repE1', normal, compile, [''])
 test('TH_repE2', normal, compile_and_run, [''])
-test('TH_repE3', normal, compile, [''])
 test('TH_repPrim', normal, compile, ['-v0'])
 test('TH_repPrim2', normal, compile, ['-v0'])
 test('TH_repUnboxedTuples', normal, compile, ['-v0'])
@@ -67,8 +70,6 @@ test('TH_spliceD2',
 test('TH_reifyDecl1', normal, compile, ['-v0'])
 test('TH_reifyDecl2', normal, compile, ['-v0'])
 
-test('TH_reifyType1', normal, compile, [''])
-test('TH_reifyType2', normal, compile, [''])
 test('TH_reifyMkName', normal, compile, ['-v0'])
 
 test('TH_reifyInstances', normal, compile, ['-v0'])
@@ -99,10 +100,6 @@ test('TH_spliceExpr1', normal, compile, ['-v0'])
 test('TH_spliceE3', normal, compile, ['-v0'])
 test('TH_spliceE4', normal, compile_and_run, [''])
 
-test('TH_bracket1', normal, compile, [''])
-test('TH_bracket2', normal, compile, [''])
-test('TH_bracket3', normal, compile, [''])
-
 test('TH_class1', normal, compile, ['-v0'])
 test('TH_tuple1', normal, compile, ['-v0'])
 test('TH_genEx',
@@ -122,8 +119,6 @@ test('TH_exn2', normal, compile_fail, ['-v0'])
 test('TH_recover', normal, compile_and_run, [''])
 test('TH_dataD1', normal, compile_fail, ['-v0'])
 
-test('TH_ppr1', normal, compile_and_run, [''])
-
 test('TH_fail', normal, compile_fail, ['-v0'])
 test('TH_scopedTvs', normal, compile, ['-v0'])
 
@@ -133,13 +128,10 @@ test('TH_ghci1', normal, ghci_script, ['TH_ghci1.script'])
 
 test('TH_linePragma', normal, compile_fail, ['-v0'])
 
-test('TH_scope', normal, compile, [''])
-test('T2632', normal, compile, [''])
 test('T2700', normal, compile, ['-v0'])
 test('T2817', normal, compile, ['-v0'])
 test('T2713', normal, compile_fail, ['-v0'])
 test('T2674', normal, compile_fail, ['-v0'])
-test('T2931', normal, compile, ['-v0'])
 test('TH_emptycase', normal, compile, ['-v0'])
 
 test('T2386', extra_clean(['T2386_Lib.hi', 'T2386_Lib.o']),
@@ -152,7 +144,6 @@ test('T2685', extra_clean(['T2685a.hi','T2685a.o']),
 test('TH_sections', normal, compile, ['-v0'])
 
 test('TH_tf1', normal, compile, ['-v0'])
-test('TH_tf2', normal, compile, ['-v0'])
 test('TH_tf3', normal, compile, ['-v0'])
 
 test('TH_pragma', normal, compile, ['-v0 -dsuppress-uniques'])
@@ -167,7 +158,6 @@ test('TH_foreignCallingConventions', normal,
 
 test('T3395', normal, compile_fail, ['-v0'])
 test('T3467', normal, compile, [''])
-test('T3572', normal, compile_and_run, [''])
 test('T3100', normal, compile, ['-v0'])
 test('T3920', normal, compile_and_run, ['-v0'])
 
@@ -177,10 +167,8 @@ test('T3845', normal, compile, ['-v0'])
 test('T3899', extra_clean(['T3899a.hi','T3899a.o']),
               multimod_compile,
               ['T3899','-v0 -ddump-splices -dsuppress-uniques ' + config.ghc_th_way_flags])
-test('T4056', normal, compile, ['-v0'])
 test('T4188', normal, compile, ['-v0'])
 test('T4233', normal, compile, ['-v0'])
-test('T4169', normal, compile, ['-v0'])
 test('T1835', normal, compile_and_run, ['-v0'])
 
 test('TH_viewPatPrint', normal, compile_and_run, [''])
@@ -227,7 +215,6 @@ test('T5665', extra_clean(['T5665a.hi','T5665a.o']),
 test('T5700', extra_clean(['T5700a.hi','T5700a.o']),
               multimod_compile,
               ['T5700','-v0 -ddump-splices ' + config.ghc_th_way_flags])
-test('T5721', normal, compile, ['-v0'])
 
 test('TH_PromotedTuple', normal, compile, ['-v0 -ddump-splices -dsuppress-uniques'])
 test('TH_PromotedList', normal, compile, ['-v0'])
@@ -302,15 +289,12 @@ test('T8333',
      run_command,
      ['$MAKE -s --no-print-directory T8333'])
 
-test('T4170', normal, compile, ['-v0'])
 test('T4124', normal, compile, ['-v0'])
 test('T4128', normal, compile, ['-v0'])
-test('T6062', normal, compile, ['-v0'])
 test('T4364', normal, compile, ['-v0'])
 test('T8412', normal, compile_fail, ['-v0'])
 test('T7667', normal, compile, ['-v0'])
 test('T7667a', normal, compile_fail, ['-v0'])
-test('T8455', normal, compile, ['-v0'])
 test('T8499', normal, compile, ['-v0'])
 test('T7477', normal, compile, ['-v0'])
 test('T8507', normal, compile, ['-v0'])
@@ -322,7 +306,6 @@ test('T8577',
      extra_clean(['T8577a.hi', 'T8577a.o']),
      multimod_compile_fail,
      ['T8577', '-v0 ' + config.ghc_th_way_flags])
-test('T8633', normal, compile_and_run, [''])
 test('T8625', normal, ghci_script, ['T8625.script'])
 test('TH_StaticPointers',
      [ when(compiler_lt('ghc', '7.9'), skip) ],
@@ -331,7 +314,6 @@ test('TH_StaticPointers02',
      [ when(compiler_lt('ghc', '7.9'), skip) ],
      compile_fail, [''])
 test('T8759', normal, compile_fail, ['-v0'])
-test('T8759a', normal, compile_fail, ['-v0'])
 test('T7021',
      extra_clean(['T7021a.hi', 'T7021a.o']), multimod_compile, ['T7021','-v0'])
 test('T8807', normal, compile, ['-v0'])
@@ -354,7 +336,6 @@ test('T9209', normal, compile_fail, ['-v0'])
 test('T7484', normal, compile_fail, ['-v0'])
 test('T1476', normal, compile, ['-v0'])
 test('T1476b', normal, compile_fail, ['-v0'])
-test('T9824', normal, compile, ['-v0'])
 test('T8031', normal, compile, ['-v0'])
 test('T8624', normal, run_command, ['$MAKE -s --no-print-directory T8624'])
 test('TH_Lift', normal, compile, ['-v0'])
@@ -362,5 +343,3 @@ test('T10047', normal, ghci_script, ['T10047.script'])
 test('T10019', normal, ghci_script, ['T10019.script'])
 test('T10279', normal, compile_fail, ['-v0'])
 test('T10306', normal, compile, ['-v0'])
-
-test('TH_abstractFamily', normal, compile_fail, [''])