check-{ppr/exact}: Rewrite more directly to just parse files

There was quite a large amount of indirection in these tests, so I have
rewritten them to just directly parse the files rather than making a
module graph and entering other twisty packages.

6 files changed, 0 insertions, 219 deletions

diff --git a/testsuite/tests/printer/T13199.stdout b/testsuite/tests/printer/T13199.stdout
deleted file mode 100644
index b1cb7c384f..0000000000
--- a/testsuite/tests/printer/T13199.stdout
+++ /dev/null
@@ -1,72 +0,0 @@
-T13199.hs:(14,2)-(15,7): Splicing declarations
-    [d| instance C (Maybe a) (Maybe b) c |]
-  ======>
-    instance C (Maybe a) (Maybe b) c
-T13199.hs:21:2-45: Splicing declarations
-    [d| g (a :: (Int -> Int) -> Int) = True |]
-  ======>
-    g (a :: (Int -> Int) -> Int) = True
-T13199.hs:24:2-28: Splicing declarations
-    [d| h (id -> x) = True |] ======> h (id -> x) = True
-T13199.hs:27:2-38: Splicing declarations
-    [d| f (Just (Just False)) = True |]
-  ======>
-    f (Just (Just False)) = True
-T13199.hs:30:2-34: Splicing declarations
-    [d| i (B (a `B` c) d) = True |] ======> i (B (a `B` c) d) = True
-T13199.hs:33:2-30: Splicing declarations
-    [d| j B {aa = a} = True |] ======> j B {aa = a} = True
-T13199.hs:36:2-29: Splicing declarations
-    [d| k = id @(Maybe Int) |] ======> k = id @(Maybe Int)
-T13199.hs:38:2-59: Splicing declarations
-    [d| l = case Just 'a' of Just a -> Just ((\ x -> x) a) |]
-  ======>
-    l = case Just 'a' of Just a -> Just ((\ x -> x) a)
-T13199.ppr.hs:11:2-42: Splicing declarations
-    [d| instance C (Maybe a) (Maybe b) c |]
-  ======>
-    instance C (Maybe a) (Maybe b) c
-T13199.ppr.hs:12:2-45: Splicing declarations
-    [d| g (a :: (Int -> Int) -> Int) = True |]
-  ======>
-    g (a :: (Int -> Int) -> Int) = True
-T13199.ppr.hs:13:2-28: Splicing declarations
-    [d| h (id -> x) = True |] ======> h (id -> x) = True
-T13199.ppr.hs:14:2-38: Splicing declarations
-    [d| f (Just (Just False)) = True |]
-  ======>
-    f (Just (Just False)) = True
-T13199.ppr.hs:15:2-34: Splicing declarations
-    [d| i (B (a `B` c) d) = True |] ======> i (B (a `B` c) d) = True
-T13199.ppr.hs:16:2-29: Splicing declarations
-    [d| j B {aa = a} = True |] ======> j B {aa = a} = True
-T13199.ppr.hs:17:2-29: Splicing declarations
-    [d| k = id @(Maybe Int) |] ======> k = id @(Maybe Int)
-T13199.ppr.hs:18:2-60: Splicing declarations
-    [d| l = case Just 'a' of Just a -> Just ((\ x -> x) a) |]
-  ======>
-    l = case Just 'a' of Just a -> Just ((\ x -> x) a)
-T13199.ppr.hs:(14,2)-(15,7): Splicing declarations
-    [d| instance C (Maybe a) (Maybe b) c |]
-  ======>
-    instance C (Maybe a) (Maybe b) c
-T13199.ppr.hs:21:2-45: Splicing declarations
-    [d| g (a :: (Int -> Int) -> Int) = True |]
-  ======>
-    g (a :: (Int -> Int) -> Int) = True
-T13199.ppr.hs:24:2-28: Splicing declarations
-    [d| h (id -> x) = True |] ======> h (id -> x) = True
-T13199.ppr.hs:27:2-38: Splicing declarations
-    [d| f (Just (Just False)) = True |]
-  ======>
-    f (Just (Just False)) = True
-T13199.ppr.hs:30:2-34: Splicing declarations
-    [d| i (B (a `B` c) d) = True |] ======> i (B (a `B` c) d) = True
-T13199.ppr.hs:33:2-30: Splicing declarations
-    [d| j B {aa = a} = True |] ======> j B {aa = a} = True
-T13199.ppr.hs:36:2-29: Splicing declarations
-    [d| k = id @(Maybe Int) |] ======> k = id @(Maybe Int)
-T13199.ppr.hs:38:2-59: Splicing declarations
-    [d| l = case Just 'a' of Just a -> Just ((\ x -> x) a) |]
-  ======>
-    l = case Just 'a' of Just a -> Just ((\ x -> x) a)
diff --git a/testsuite/tests/printer/T13550.stdout b/testsuite/tests/printer/T13550.stdout
deleted file mode 100644
index b3173f8612..0000000000
--- a/testsuite/tests/printer/T13550.stdout
+++ /dev/null
@@ -1,33 +0,0 @@
-T13550.hs:(6,2)-(11,7): Splicing declarations
-    [d| type family Foo a b
-        data family Bar a b
-        
-        type instance Foo (Maybe a) b = Either (Maybe a) (Maybe b)
-        data instance Bar (Maybe a) b = BarMaybe (Maybe a) (Maybe b) |]
-  ======>
-    type family Foo a b
-    type instance Foo (Maybe a) b = Either (Maybe a) (Maybe b)
-    data family Bar a b
-    data instance Bar (Maybe a) b = BarMaybe (Maybe a) (Maybe b)
-T13550.ppr.hs:(5,2)-(8,70): Splicing declarations
-    [d| type family Foo a b
-        data family Bar a b
-        
-        type instance Foo (Maybe a) b = Either (Maybe a) (Maybe b)
-        data instance Bar (Maybe a) b = BarMaybe (Maybe a) (Maybe b) |]
-  ======>
-    type family Foo a b
-    type instance Foo (Maybe a) b = Either (Maybe a) (Maybe b)
-    data family Bar a b
-    data instance Bar (Maybe a) b = BarMaybe (Maybe a) (Maybe b)
-T13550.ppr.hs:(6,2)-(11,7): Splicing declarations
-    [d| type family Foo a b
-        data family Bar a b
-        
-        type instance Foo (Maybe a) b = Either (Maybe a) (Maybe b)
-        data instance Bar (Maybe a) b = BarMaybe (Maybe a) (Maybe b) |]
-  ======>
-    type family Foo a b
-    type instance Foo (Maybe a) b = Either (Maybe a) (Maybe b)
-    data family Bar a b
-    data instance Bar (Maybe a) b = BarMaybe (Maybe a) (Maybe b)
diff --git a/testsuite/tests/printer/T13942.stdout b/testsuite/tests/printer/T13942.stdout
deleted file mode 100644
index 8c80afa15f..0000000000
--- a/testsuite/tests/printer/T13942.stdout
+++ /dev/null
@@ -1,18 +0,0 @@
-T13942.hs:(5,2)-(7,7): Splicing declarations
-    [d| f :: Either Int (Int -> Int)
-        f = undefined |]
-  ======>
-    f :: Either Int (Int -> Int)
-    f = undefined
-T13942.ppr.hs:(4,2)-(5,23): Splicing declarations
-    [d| f :: Either Int (Int -> Int)
-        f = undefined |]
-  ======>
-    f :: Either Int (Int -> Int)
-    f = undefined
-T13942.ppr.hs:(5,2)-(7,7): Splicing declarations
-    [d| f :: Either Int (Int -> Int)
-        f = undefined |]
-  ======>
-    f :: Either Int (Int -> Int)
-    f = undefined
diff --git a/testsuite/tests/printer/T14289.stdout b/testsuite/tests/printer/T14289.stdout
deleted file mode 100644
index ab7eb04a84..0000000000
--- a/testsuite/tests/printer/T14289.stdout
+++ /dev/null
@@ -1,32 +0,0 @@
-T14289.hs:10:2-43: Splicing declarations
-    [d| data Foo a
-          = Foo a
-          deriving (C a) |]
-  ======>
-    data Foo a
-      = Foo a
-      deriving (C a)
-T14289.ppr.hs:(7,2)-(9,26): Splicing declarations
-    [d| data Foo a
-          = Foo a
-          deriving (C a) |]
-  ======>
-    data Foo a
-      = Foo a
-      deriving (C a)
-T14289.hs:10:2-43: Splicing declarations
-    [d| data Foo a
-          = Foo a
-          deriving (C a) |]
-  ======>
-    data Foo a
-      = Foo a
-      deriving (C a)
-T14289.ppr.hs:10:2-43: Splicing declarations
-    [d| data Foo a
-          = Foo a
-          deriving (C a) |]
-  ======>
-    data Foo a
-      = Foo a
-      deriving (C a)
diff --git a/testsuite/tests/printer/T14289b.stdout b/testsuite/tests/printer/T14289b.stdout
deleted file mode 100644
index e3d163aa86..0000000000
--- a/testsuite/tests/printer/T14289b.stdout
+++ /dev/null
@@ -1,32 +0,0 @@
-T14289b.hs:11:2-47: Splicing declarations
-    [d| data Foo a
-          = Foo a
-          deriving (y `C` z) |]
-  ======>
-    data Foo a
-      = Foo a
-      deriving (C y z)
-T14289b.ppr.hs:(8,2)-(10,30): Splicing declarations
-    [d| data Foo a
-          = Foo a
-          deriving (y `C` z) |]
-  ======>
-    data Foo a
-      = Foo a
-      deriving (C y z)
-T14289b.hs:11:2-47: Splicing declarations
-    [d| data Foo a
-          = Foo a
-          deriving (y `C` z) |]
-  ======>
-    data Foo a
-      = Foo a
-      deriving (C y z)
-T14289b.ppr.hs:11:2-47: Splicing declarations
-    [d| data Foo a
-          = Foo a
-          deriving (y `C` z) |]
-  ======>
-    data Foo a
-      = Foo a
-      deriving (C y z)
diff --git a/testsuite/tests/printer/T14289c.stdout b/testsuite/tests/printer/T14289c.stdout
deleted file mode 100644
index 66704d3402..0000000000
--- a/testsuite/tests/printer/T14289c.stdout
+++ /dev/null
@@ -1,32 +0,0 @@
-T14289c.hs:9:2-45: Splicing declarations
-    [d| data Foo a
-          = Foo a
-          deriving (a ~ a) |]
-  ======>
-    data Foo a
-      = Foo a
-      deriving (a ~ a)
-T14289c.ppr.hs:(7,2)-(9,28): Splicing declarations
-    [d| data Foo a
-          = Foo a
-          deriving (a ~ a) |]
-  ======>
-    data Foo a
-      = Foo a
-      deriving (a ~ a)
-T14289c.hs:9:2-45: Splicing declarations
-    [d| data Foo a
-          = Foo a
-          deriving (a ~ a) |]
-  ======>
-    data Foo a
-      = Foo a
-      deriving (a ~ a)
-T14289c.ppr.hs:9:2-45: Splicing declarations
-    [d| data Foo a
-          = Foo a
-          deriving (a ~ a) |]
-  ======>
-    data Foo a
-      = Foo a
-      deriving (a ~ a)