Revert stage 1 template-haskell. This is a combination of 5 commits.

Revert "Quick fix: drop base bound on template-haskell."

This reverts commit 3c70ae032e4361b203dfcf22b0a424e8838a5037.

Revert "Always do polymorphic typed quote check, c.f. #10384"

This reverts commit 9a43b2c1f78b3cf684646af64b9b67dc8079f58f.

Revert "RnSplice's staging test should be applied for quotes in stage1."

This reverts commit eb0ed4030374af542c0a459480d32c8d4525e48d.

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

This reverts commit 21c72e7d38c96ac80d31addf67ae4b3c7a6c3bbb.

Revert "Support stage 1 Template Haskell (non-quasi) quotes, fixes #10382."

This reverts commit 28257cae77023f2ccc4cc1c0cd1fbbd329947a00.

1 files changed, 0 insertions, 26 deletions

diff --git a/testsuite/tests/quotes/TH_tf2.hs b/testsuite/tests/quotes/TH_tf2.hs
deleted file mode 100644
index 9f313d4a3e..0000000000
--- a/testsuite/tests/quotes/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