Ignore stderr of all printer tests
authorAlan Zimmerman <alan.zimm@gmail.com>
Thu, 8 Dec 2016 08:50:37 +0000 (10:50 +0200)
committerAlan Zimmerman <alan.zimm@gmail.com>
Thu, 8 Dec 2016 09:21:02 +0000 (11:21 +0200)
30 files changed:
testsuite/tests/printer/Ppr006.stderr [deleted file]
testsuite/tests/printer/Ppr007.stderr [deleted file]
testsuite/tests/printer/Ppr009.stderr [deleted file]
testsuite/tests/printer/Ppr011.stderr [deleted file]
testsuite/tests/printer/Ppr012.stderr [deleted file]
testsuite/tests/printer/Ppr013.stderr [deleted file]
testsuite/tests/printer/Ppr014.stderr [deleted file]
testsuite/tests/printer/Ppr016.stderr [deleted file]
testsuite/tests/printer/Ppr018.stderr [deleted file]
testsuite/tests/printer/Ppr020.stderr [deleted file]
testsuite/tests/printer/Ppr021.stderr [deleted file]
testsuite/tests/printer/Ppr022.stderr [deleted file]
testsuite/tests/printer/Ppr023.stderr [deleted file]
testsuite/tests/printer/Ppr024.stderr [deleted file]
testsuite/tests/printer/Ppr025.stderr [deleted file]
testsuite/tests/printer/Ppr026.stderr [deleted file]
testsuite/tests/printer/Ppr028.stderr [deleted file]
testsuite/tests/printer/Ppr029.stderr [deleted file]
testsuite/tests/printer/Ppr030.stderr [deleted file]
testsuite/tests/printer/Ppr031.stderr [deleted file]
testsuite/tests/printer/Ppr032.stderr [deleted file]
testsuite/tests/printer/Ppr033.stderr [deleted file]
testsuite/tests/printer/Ppr034.stderr [deleted file]
testsuite/tests/printer/Ppr036.stderr [deleted file]
testsuite/tests/printer/Ppr037.stderr [deleted file]
testsuite/tests/printer/Ppr039.stderr [deleted file]
testsuite/tests/printer/Ppr040.stderr [deleted file]
testsuite/tests/printer/Ppr042.stderr [deleted file]
testsuite/tests/printer/Ppr046.stderr [deleted file]
testsuite/tests/printer/all.T

diff --git a/testsuite/tests/printer/Ppr006.stderr b/testsuite/tests/printer/Ppr006.stderr
deleted file mode 100644 (file)
index d0b3c7b..0000000
+++ /dev/null
@@ -1,45 +0,0 @@
-Ppr006.hs:4:14: error:
-    Not in scope: type constructor or class ‘Command’
-
-Ppr006.hs:7:23: error:
-    Not in scope: ‘Macro.guessCommands’
-    No module named ‘Macro’ is imported.
-
-Ppr006.hs:12:20: error:
-    Not in scope: ‘ListWidget.moveLast’
-    No module named ‘ListWidget’ is imported.
-
-Ppr006.hs:12:41: error:
-    Not in scope: ‘ListWidget.new’
-    No module named ‘ListWidget’ is imported.
-
-Ppr006.hs:21:19: error:
-    • Not in scope: ‘help’
-    • In the quasi-quotation:
-        [help|
-        Bind the command {expansion} to the key {name}.  The same command may
-        be bound to different keys.
-        |]
-
-Ppr006.ppr.hs:3:14: error:
-    Not in scope: type constructor or class ‘Command’
-
-Ppr006.ppr.hs:8:29: error:
-    Not in scope: ‘Macro.guessCommands’
-    No module named ‘Macro’ is imported.
-
-Ppr006.ppr.hs:14:21: error:
-    Not in scope: ‘ListWidget.moveLast’
-    No module named ‘ListWidget’ is imported.
-
-Ppr006.ppr.hs:14:42: error:
-    Not in scope: ‘ListWidget.new’
-    No module named ‘ListWidget’ is imported.
-
-Ppr006.ppr.hs:26:8: error:
-    • Not in scope: ‘help’
-    • In the quasi-quotation:
-        [help|
-        Bind the command {expansion} to the key {name}.  The same command may
-        be bound to different keys.
-        |]
diff --git a/testsuite/tests/printer/Ppr007.stderr b/testsuite/tests/printer/Ppr007.stderr
deleted file mode 100644 (file)
index 5bb122a..0000000
+++ /dev/null
@@ -1,17 +0,0 @@
-Ppr007.hs:7:3: error:
-    • Couldn't match expected type ‘Int’ with actual type ‘Char’
-    • In the pattern: 'a'
-      In a stmt of a 'do' block: 'a' <- return (3 :: Int)
-      In the expression:
-        do x <- getChar
-           'a' <- return (3 :: Int)
-           return ()
-
-Ppr007.ppr.hs:5:8: error:
-    • Couldn't match expected type ‘Int’ with actual type ‘Char’
-    • In the pattern: 'a'
-      In a stmt of a 'do' block: 'a' <- return (3 :: Int)
-      In the expression:
-        do x <- getChar
-           'a' <- return (3 :: Int)
-           return ()
diff --git a/testsuite/tests/printer/Ppr009.stderr b/testsuite/tests/printer/Ppr009.stderr
deleted file mode 100644 (file)
index 3aabba4..0000000
+++ /dev/null
@@ -1,28 +0,0 @@
-Ppr009.hs:5:15: error: Not in scope: data constructor ‘Bitstream’
-
-Ppr009.hs:7:7: error:
-    Not in scope: ‘S.concatMap’
-    No module named ‘S’ is imported.
-
-Ppr009.hs:7:27: error:
-    Not in scope: ‘GV.stream’
-    No module named ‘GV’ is imported.
-
-Ppr009.hs:8:7: error:
-    Not in scope: ‘S.sized’
-    No module named ‘S’ is imported.
-
-Ppr009.ppr.hs:4:15: error:
-    Not in scope: data constructor ‘Bitstream’
-
-Ppr009.ppr.hs:6:5: error:
-    Not in scope: ‘S.concatMap’
-    No module named ‘S’ is imported.
-
-Ppr009.ppr.hs:6:25: error:
-    Not in scope: ‘GV.stream’
-    No module named ‘GV’ is imported.
-
-Ppr009.ppr.hs:6:38: error:
-    Not in scope: ‘S.sized’
-    No module named ‘S’ is imported.
diff --git a/testsuite/tests/printer/Ppr011.stderr b/testsuite/tests/printer/Ppr011.stderr
deleted file mode 100644 (file)
index d5b40af..0000000
+++ /dev/null
@@ -1,12 +0,0 @@
-
-Ppr011.hs:1:14: warning:
-    -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language.
-
-Ppr011.hs:1:1: error:
-    The IO action ‘main’ is not defined in module ‘Main’
-
-Ppr011.ppr.hs:1:14: warning:
-    -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language.
-
-Ppr011.ppr.hs:1:1: error:
-    The IO action ‘main’ is not defined in module ‘Main’
diff --git a/testsuite/tests/printer/Ppr012.stderr b/testsuite/tests/printer/Ppr012.stderr
deleted file mode 100644 (file)
index 3908456..0000000
+++ /dev/null
@@ -1,9 +0,0 @@
-
-Ppr012.hs:12:1: warning: [-Winline-rule-shadowing]
-    Rule "bar/foo" may never fire because ‘foo’ might inline first
-    Probable fix: add an INLINE[n] or NOINLINE[n] pragma for ‘foo’
-
-Ppr012.ppr.hs:11:11: warning: [-Winline-rule-shadowing]
-    Rule "bar/foo" may never fire because ‘foo’ might inline first
-    Probable fix: add an INLINE[n] or NOINLINE[n] pragma for ‘foo’
-
diff --git a/testsuite/tests/printer/Ppr013.stderr b/testsuite/tests/printer/Ppr013.stderr
deleted file mode 100644 (file)
index 5bfa1c7..0000000
+++ /dev/null
@@ -1,6 +0,0 @@
-
-Ppr013.hs:1:1: error:
-    The IO action ‘main’ is not defined in module ‘Main’
-
-Ppr013.ppr.hs:1:1: error:
-    The IO action ‘main’ is not defined in module ‘Main’
diff --git a/testsuite/tests/printer/Ppr014.stderr b/testsuite/tests/printer/Ppr014.stderr
deleted file mode 100644 (file)
index d7ef8c5..0000000
+++ /dev/null
@@ -1,76 +0,0 @@
-
-Ppr014.hs:16:24: error: Not in scope: type variable ‘k’
-
-Ppr014.hs:16:29: error: Not in scope: type variable ‘k’
-
-Ppr014.hs:16:37: error: Not in scope: type variable ‘k’
-
-Ppr014.hs:16:39: error: Not in scope: type variable ‘v’
-
-Ppr014.hs:16:50: error: Not in scope: type variable ‘v’
-
-Ppr014.hs:17:24: error: Not in scope: type variable ‘k’
-
-Ppr014.hs:17:29: error: Not in scope: type variable ‘k’
-
-Ppr014.hs:17:34: error: Not in scope: type variable ‘v’
-
-Ppr014.hs:17:42: error: Not in scope: type variable ‘k’
-
-Ppr014.hs:17:44: error: Not in scope: type variable ‘v’
-
-Ppr014.hs:17:52: error: Not in scope: type variable ‘k’
-
-Ppr014.hs:17:54: error: Not in scope: type variable ‘v’
-
-Ppr014.hs:18:24: error: Not in scope: type variable ‘k’
-
-Ppr014.hs:18:32: error: Not in scope: type variable ‘k’
-
-Ppr014.hs:18:34: error: Not in scope: type variable ‘v’
-
-Ppr014.hs:18:42: error: Not in scope: type variable ‘k’
-
-Ppr014.hs:18:44: error: Not in scope: type variable ‘v’
-
-Ppr014.hs:18:52: error: Not in scope: type variable ‘k’
-
-Ppr014.hs:18:54: error: Not in scope: type variable ‘v’
-
-Ppr014.ppr.hs:11:34: error: Not in scope: type variable ‘k’
-
-Ppr014.ppr.hs:11:39: error: Not in scope: type variable ‘k’
-
-Ppr014.ppr.hs:11:47: error: Not in scope: type variable ‘k’
-
-Ppr014.ppr.hs:11:49: error: Not in scope: type variable ‘v’
-
-Ppr014.ppr.hs:11:60: error: Not in scope: type variable ‘v’
-
-Ppr014.ppr.hs:12:34: error: Not in scope: type variable ‘k’
-
-Ppr014.ppr.hs:12:39: error: Not in scope: type variable ‘k’
-
-Ppr014.ppr.hs:12:44: error: Not in scope: type variable ‘v’
-
-Ppr014.ppr.hs:12:52: error: Not in scope: type variable ‘k’
-
-Ppr014.ppr.hs:12:54: error: Not in scope: type variable ‘v’
-
-Ppr014.ppr.hs:12:62: error: Not in scope: type variable ‘k’
-
-Ppr014.ppr.hs:12:64: error: Not in scope: type variable ‘v’
-
-Ppr014.ppr.hs:13:33: error: Not in scope: type variable ‘k’
-
-Ppr014.ppr.hs:13:41: error: Not in scope: type variable ‘k’
-
-Ppr014.ppr.hs:13:43: error: Not in scope: type variable ‘v’
-
-Ppr014.ppr.hs:13:51: error: Not in scope: type variable ‘k’
-
-Ppr014.ppr.hs:13:53: error: Not in scope: type variable ‘v’
-
-Ppr014.ppr.hs:13:61: error: Not in scope: type variable ‘k’
-
-Ppr014.ppr.hs:13:63: error: Not in scope: type variable ‘v’
diff --git a/testsuite/tests/printer/Ppr016.stderr b/testsuite/tests/printer/Ppr016.stderr
deleted file mode 100644 (file)
index 2d508fa..0000000
+++ /dev/null
@@ -1,14 +0,0 @@
-
-Ppr016.hs:3:13: error:
-    • Illegal qualified type: (?above::q, ?below::a -> q) => b
-      Perhaps you intended to use RankNTypes or Rank2Types
-    • In the type signature:
-        explicit :: ((?above :: q, ?below :: a -> q) => b)
-                    -> q -> (a -> q) -> b
-
-Ppr016.ppr.hs:3:3: error:
-    • Illegal qualified type: (?above::q, ?below::a -> q) => b
-      Perhaps you intended to use RankNTypes or Rank2Types
-    • In the type signature:
-        explicit :: ((?above :: q, ?below :: a -> q) => b)
-                    -> q -> (a -> q) -> b
diff --git a/testsuite/tests/printer/Ppr018.stderr b/testsuite/tests/printer/Ppr018.stderr
deleted file mode 100644 (file)
index 7172b4e..0000000
+++ /dev/null
@@ -1,12 +0,0 @@
-
-Ppr018.hs:20:21:
-     Can't make a derived instance of
-        ‘Show FooNewType’ with the newtype strategy:
-        Try GeneralizedNewtypeDeriving for GHC's newtype-deriving extension
-     In the newtype declaration for ‘FooNewType’
-
-Ppr018.ppr.hs:20:21:
-     Can't make a derived instance of
-        ‘Show FooNewType’ with the newtype strategy:
-        Try GeneralizedNewtypeDeriving for GHC's newtype-deriving extension
-     In the newtype declaration for ‘FooNewType’
diff --git a/testsuite/tests/printer/Ppr020.stderr b/testsuite/tests/printer/Ppr020.stderr
deleted file mode 100644 (file)
index bd82bca..0000000
+++ /dev/null
@@ -1,31 +0,0 @@
-
-Ppr020.hs:5:25:
-    Not in scope: data constructor ‘S.Right’
-    No module named ‘S’ is imported.
-
-Ppr020.hs:9:18:
-    Not in scope: type constructor or class ‘AlarmClock’
-
-Ppr020.hs:9:32:
-    Not in scope: type constructor or class ‘STM’
-
-Ppr020.hs:10:15: Not in scope: data constructor ‘AlarmClock’
-
-Ppr020.hs:11:15:
-    Not in scope: data constructor ‘AlarmNotSet’
-
-Ppr020.ppr.hs:6:27:
-    Not in scope: data constructor ‘S.Right’
-    No module named ‘S’ is imported.
-
-Ppr020.ppr.hs:7:18:
-    Not in scope: type constructor or class ‘AlarmClock’
-
-Ppr020.ppr.hs:7:32:
-    Not in scope: type constructor or class ‘STM’
-
-Ppr020.ppr.hs:8:15:
-    Not in scope: data constructor ‘AlarmClock’
-
-Ppr020.ppr.hs:12:11:
-    Not in scope: data constructor ‘AlarmNotSet’
diff --git a/testsuite/tests/printer/Ppr021.stderr b/testsuite/tests/printer/Ppr021.stderr
deleted file mode 100644 (file)
index c8eb166..0000000
+++ /dev/null
@@ -1,16 +0,0 @@
-
-Ppr021.hs:22:1: error:
-    Could not find module ‘BootImport’
-    Use -v to see a list of the files searched for.
-
-Ppr021.hs:23:1: error:
-    Could not find module ‘BootImport’
-    Use -v to see a list of the files searched for.
-
-Ppr021.ppr.hs:10:1: error:
-    Could not find module ‘BootImport’
-    Use -v to see a list of the files searched for.
-
-Ppr021.ppr.hs:11:1: error:
-    Could not find module ‘BootImport’
-    Use -v to see a list of the files searched for.
diff --git a/testsuite/tests/printer/Ppr022.stderr b/testsuite/tests/printer/Ppr022.stderr
deleted file mode 100644 (file)
index 3094aca..0000000
+++ /dev/null
@@ -1,28 +0,0 @@
-
-Ppr022.hs:3:23:
-    Not in scope: type constructor or class ‘Stmt’
-
-Ppr022.hs:3:32:
-    Not in scope: type constructor or class ‘ExpQ’
-
-Ppr022.hs:5:34:
-     Not in scope: ‘<**>’
-      Perhaps you meant ‘<*>’ (imported from Prelude)
-     In the Template Haskell quotation '(<**>)
-
-Ppr022.hs:9:17:
-    Not in scope: type constructor or class ‘ExpQ’
-
-Ppr022.ppr.hs:2:23:
-    Not in scope: type constructor or class ‘Stmt’
-
-Ppr022.ppr.hs:2:32:
-    Not in scope: type constructor or class ‘ExpQ’
-
-Ppr022.ppr.hs:6:29:
-     Not in scope: ‘<**>’
-      Perhaps you meant ‘<*>’ (imported from Prelude)
-     In the Template Haskell quotation '(<**>)
-
-Ppr022.ppr.hs:7:17:
-    Not in scope: type constructor or class ‘ExpQ’
diff --git a/testsuite/tests/printer/Ppr023.stderr b/testsuite/tests/printer/Ppr023.stderr
deleted file mode 100644 (file)
index 35440a5..0000000
+++ /dev/null
@@ -1,49 +0,0 @@
-Ppr023.hs:15:1: error:
-    Multiple declarations of ‘Minimal’
-    Declared at: Ppr023.hs:11:1
-                 Ppr023.hs:15:1
-
-Ppr023.hs:15:1: error:
-    Multiple declarations of ‘Minimal’
-    Declared at: Ppr023.hs:7:1
-                 Ppr023.hs:15:1
-
-Ppr023.hs:16:3: error:
-    Multiple declarations of ‘toText’
-    Declared at: Ppr023.hs:12:3
-                 Ppr023.hs:16:3
-
-Ppr023.hs:16:3: error:
-    Multiple declarations of ‘toText’
-    Declared at: Ppr023.hs:8:3
-                 Ppr023.hs:16:3
-
-Ppr023.hs:16:3: error:
-    Multiple declarations of ‘toText’
-    Declared at: Ppr023.hs:2:5
-                 Ppr023.hs:16:3
-
-Ppr023.ppr.hs:11:1: error:
-    Multiple declarations of ‘Minimal’
-    Declared at: Ppr023.ppr.hs:8:1
-                 Ppr023.ppr.hs:11:1
-
-Ppr023.ppr.hs:11:1: error:
-    Multiple declarations of ‘Minimal’
-    Declared at: Ppr023.ppr.hs:5:1
-                 Ppr023.ppr.hs:11:1
-
-Ppr023.ppr.hs:12:3: error:
-    Multiple declarations of ‘toText’
-    Declared at: Ppr023.ppr.hs:9:3
-                 Ppr023.ppr.hs:12:3
-
-Ppr023.ppr.hs:12:3: error:
-    Multiple declarations of ‘toText’
-    Declared at: Ppr023.ppr.hs:6:3
-                 Ppr023.ppr.hs:12:3
-
-Ppr023.ppr.hs:12:3: error:
-    Multiple declarations of ‘toText’
-    Declared at: Ppr023.ppr.hs:3:3
-                 Ppr023.ppr.hs:12:3
diff --git a/testsuite/tests/printer/Ppr024.stderr b/testsuite/tests/printer/Ppr024.stderr
deleted file mode 100644 (file)
index 3672a80..0000000
+++ /dev/null
@@ -1,6 +0,0 @@
-
-Ppr024.hs:1:1: error:
-    The IO action ‘main’ is not defined in module ‘Main’
-
-Ppr024.ppr.hs:1:1: error:
-    The IO action ‘main’ is not defined in module ‘Main’
diff --git a/testsuite/tests/printer/Ppr025.stderr b/testsuite/tests/printer/Ppr025.stderr
deleted file mode 100644 (file)
index 4d552b7..0000000
+++ /dev/null
@@ -1,6 +0,0 @@
-
-Ppr025.hs:24:47: error:
-    Not in scope: type constructor or class ‘Event’
-
-Ppr025.ppr.hs:17:77: error:
-    Not in scope: type constructor or class ‘Event’
diff --git a/testsuite/tests/printer/Ppr026.stderr b/testsuite/tests/printer/Ppr026.stderr
deleted file mode 100644 (file)
index 5768dc9..0000000
+++ /dev/null
@@ -1,6 +0,0 @@
-
-Ppr026.hs:1:1:
-    The IO action ‘main’ is not defined in module ‘Main’
-
-Ppr026.ppr.hs:1:1:
-    The IO action ‘main’ is not defined in module ‘Main’
diff --git a/testsuite/tests/printer/Ppr028.stderr b/testsuite/tests/printer/Ppr028.stderr
deleted file mode 100644 (file)
index c53770c..0000000
+++ /dev/null
@@ -1,6 +0,0 @@
-
-Ppr028.hs:1:1:
-    The IO action ‘main’ is not defined in module ‘Main’
-
-Ppr028.ppr.hs:1:1:
-    The IO action ‘main’ is not defined in module ‘Main’
diff --git a/testsuite/tests/printer/Ppr029.stderr b/testsuite/tests/printer/Ppr029.stderr
deleted file mode 100644 (file)
index a17efb9..0000000
+++ /dev/null
@@ -1,16 +0,0 @@
-
-Ppr029.hs:15:11: warning: [-Winline-rule-shadowing]
-    Rule "foo1" may never fire because ‘foo1’ might inline first
-    Probable fix: add an INLINE[n] or NOINLINE[n] pragma for ‘foo1’
-
-Ppr029.hs:20:11: warning: [-Winline-rule-shadowing]
-    Rule "foo2" may never fire because ‘foo2’ might inline first
-    Probable fix: add an INLINE[n] or NOINLINE[n] pragma for ‘foo2’
-
-Ppr029.ppr.hs:10:11: warning: [-Winline-rule-shadowing]
-    Rule "foo1" may never fire because ‘foo1’ might inline first
-    Probable fix: add an INLINE[n] or NOINLINE[n] pragma for ‘foo1’
-
-Ppr029.ppr.hs:13:11: warning: [-Winline-rule-shadowing]
-    Rule "foo2" may never fire because ‘foo2’ might inline first
-    Probable fix: add an INLINE[n] or NOINLINE[n] pragma for ‘foo2’
diff --git a/testsuite/tests/printer/Ppr030.stderr b/testsuite/tests/printer/Ppr030.stderr
deleted file mode 100644 (file)
index 723d746..0000000
+++ /dev/null
@@ -1,6 +0,0 @@
-
-Ppr030.hs:1:1: error:
-    The IO action ‘main’ is not defined in module ‘Main’
-
-Ppr030.ppr.hs:1:1: error:
-    The IO action ‘main’ is not defined in module ‘Main’
diff --git a/testsuite/tests/printer/Ppr031.stderr b/testsuite/tests/printer/Ppr031.stderr
deleted file mode 100644 (file)
index bc9bc37..0000000
+++ /dev/null
@@ -1,46 +0,0 @@
-
-Ppr031.hs:2:9: error:
-    Not in scope: type constructor or class ‘Spec’
-
-Ppr031.hs:17:9: error: Not in scope: data constructor ‘Status’
-
-Ppr031.hs:17:17: error:
-    Not in scope: ‘pos’
-    Perhaps you meant ‘cos’ (imported from Prelude)
-
-Ppr031.hs:17:22: error:
-    Not in scope: ‘flips’
-    Perhaps you meant ‘flip’ (imported from Prelude)
-
-Ppr031.hs:17:29: error: Not in scope: ‘captureAt’
-
-Ppr031.hs:17:40: error: Not in scope: ‘captureLen’
-
-Ppr031.hs:20:5: error: Not in scope: data constructor ‘POr’
-
-Ppr031.hs:20:72: error:
-    Not in scope: ‘flips’
-    Perhaps you meant ‘flip’ (imported from Prelude)
-
-Ppr031.ppr.hs:2:9: error:
-    Not in scope: type constructor or class ‘Spec’
-
-Ppr031.ppr.hs:13:9: error: Not in scope: data constructor ‘Status’
-
-Ppr031.ppr.hs:13:17: error:
-    Not in scope: ‘pos’
-    Perhaps you meant ‘cos’ (imported from Prelude)
-
-Ppr031.ppr.hs:13:22: error:
-    Not in scope: ‘flips’
-    Perhaps you meant ‘flip’ (imported from Prelude)
-
-Ppr031.ppr.hs:13:29: error: Not in scope: ‘captureAt’
-
-Ppr031.ppr.hs:13:40: error: Not in scope: ‘captureLen’
-
-Ppr031.ppr.hs:18:11: error: Not in scope: data constructor ‘POr’
-
-Ppr031.ppr.hs:20:64: error:
-    Not in scope: ‘flips’
-    Perhaps you meant ‘flip’ (imported from Prelude)
diff --git a/testsuite/tests/printer/Ppr032.stderr b/testsuite/tests/printer/Ppr032.stderr
deleted file mode 100644 (file)
index cbca8d8..0000000
+++ /dev/null
@@ -1,18 +0,0 @@
-
-Ppr032.hs:10:21:
-     No instance for (Show a)
-        arising from the "provided" constraints claimed by
-          the signature of ‘Single’
-      In other words, a successful match on the pattern
-        [x]
-      does not provide the constraint (Show a)
-     In the declaration for pattern synonym ‘Single’
-
-Ppr032.ppr.hs:6:21:
-     No instance for (Show a)
-        arising from the "provided" constraints claimed by
-          the signature of ‘Single’
-      In other words, a successful match on the pattern
-        [x]
-      does not provide the constraint (Show a)
-     In the declaration for pattern synonym ‘Single’
diff --git a/testsuite/tests/printer/Ppr033.stderr b/testsuite/tests/printer/Ppr033.stderr
deleted file mode 100644 (file)
index 4b3e8d5..0000000
+++ /dev/null
@@ -1,8 +0,0 @@
-
-Ppr033.hs:5:12:
-     Not in scope: type constructor or class ‘PostscriptFont’
-     In the Template Haskell quotation ''PostscriptFont
-
-Ppr033.ppr.hs:3:12:
-     Not in scope: type constructor or class ‘PostscriptFont’
-     In the Template Haskell quotation ''PostscriptFont
diff --git a/testsuite/tests/printer/Ppr034.stderr b/testsuite/tests/printer/Ppr034.stderr
deleted file mode 100644 (file)
index a57a286..0000000
+++ /dev/null
@@ -1,42 +0,0 @@
-
-Ppr034.hs:25:1:
-    Could not find module ‘Algebra.Laws’
-    Use -v to see a list of the files searched for.
-
-Ppr034.hs:30:1:
-    Could not find module ‘NumericPrelude.Elementwise’
-    Use -v to see a list of the files searched for.
-
-Ppr034.hs:32:1:
-    Could not find module ‘Data.Tuple.HT’
-    Perhaps you meant Data.Tuple (from base-4.9.0.0)
-    Use -v to see a list of the files searched for.
-
-Ppr034.hs:33:1:
-    Could not find module ‘Data.List.Match’
-    Use -v to see a list of the files searched for.
-
-Ppr034.hs:39:1:
-    Could not find module ‘NumericPrelude.Base’
-    Use -v to see a list of the files searched for.
-
-Ppr034.ppr.hs:8:1:
-    Could not find module ‘Algebra.Laws’
-    Use -v to see a list of the files searched for.
-
-Ppr034.ppr.hs:11:1:
-    Could not find module ‘NumericPrelude.Elementwise’
-    Use -v to see a list of the files searched for.
-
-Ppr034.ppr.hs:13:1:
-    Could not find module ‘Data.Tuple.HT’
-    Perhaps you meant Data.Tuple (from base-4.9.0.0)
-    Use -v to see a list of the files searched for.
-
-Ppr034.ppr.hs:14:1:
-    Could not find module ‘Data.List.Match’
-    Use -v to see a list of the files searched for.
-
-Ppr034.ppr.hs:19:1:
-    Could not find module ‘NumericPrelude.Base’
-    Use -v to see a list of the files searched for.
diff --git a/testsuite/tests/printer/Ppr036.stderr b/testsuite/tests/printer/Ppr036.stderr
deleted file mode 100644 (file)
index 3fd1c71..0000000
+++ /dev/null
@@ -1,6 +0,0 @@
-
-Ppr036.hs:15:16:
-    The deprecation for ‘withBool’ lacks an accompanying binding
-
-Ppr036.ppr.hs:13:16:
-    The deprecation for ‘withBool’ lacks an accompanying binding
diff --git a/testsuite/tests/printer/Ppr037.stderr b/testsuite/tests/printer/Ppr037.stderr
deleted file mode 100644 (file)
index da004e3..0000000
+++ /dev/null
@@ -1,48 +0,0 @@
-
-Ppr037.hs:23:1: error:
-    Could not find module ‘Data.Singletons.Prelude.Bool’
-    Use -v to see a list of the files searched for.
-
-Ppr037.hs:24:1: error:
-    Could not find module ‘Data.Singletons’
-    Use -v to see a list of the files searched for.
-
-Ppr037.hs:25:1: error:
-    Could not find module ‘Data.Singletons.Single’
-    Use -v to see a list of the files searched for.
-
-Ppr037.hs:26:1: error:
-    Could not find module ‘Data.Singletons.Prelude.Instances’
-    Use -v to see a list of the files searched for.
-
-Ppr037.hs:27:1: error:
-    Could not find module ‘Data.Singletons.Util’
-    Use -v to see a list of the files searched for.
-
-Ppr037.hs:28:1: error:
-    Could not find module ‘Data.Singletons.Promote’
-    Use -v to see a list of the files searched for.
-
-Ppr037.ppr.hs:8:1: error:
-    Could not find module ‘Data.Singletons.Prelude.Bool’
-    Use -v to see a list of the files searched for.
-
-Ppr037.ppr.hs:9:1: error:
-    Could not find module ‘Data.Singletons’
-    Use -v to see a list of the files searched for.
-
-Ppr037.ppr.hs:10:1: error:
-    Could not find module ‘Data.Singletons.Single’
-    Use -v to see a list of the files searched for.
-
-Ppr037.ppr.hs:11:1: error:
-    Could not find module ‘Data.Singletons.Prelude.Instances’
-    Use -v to see a list of the files searched for.
-
-Ppr037.ppr.hs:12:1: error:
-    Could not find module ‘Data.Singletons.Util’
-    Use -v to see a list of the files searched for.
-
-Ppr037.ppr.hs:13:1: error:
-    Could not find module ‘Data.Singletons.Promote’
-    Use -v to see a list of the files searched for.
diff --git a/testsuite/tests/printer/Ppr039.stderr b/testsuite/tests/printer/Ppr039.stderr
deleted file mode 100644 (file)
index 004d5fe..0000000
+++ /dev/null
@@ -1,73 +0,0 @@
-
-Ppr039.hs:4:12: error: Variable not in scope: test1 :: Bool
-
-Ppr039.hs:4:21: error:
-    • Variable not in scope: e1
-    • Perhaps you meant ‘x1’ (line 15)
-
-Ppr039.hs:5:12: error: Variable not in scope: test2 :: t0 -> Bool
-
-Ppr039.hs:5:18: error: Variable not in scope: witharg
-
-Ppr039.hs:5:29: error:
-    • Variable not in scope: e2
-    • Perhaps you meant ‘x2’ (line 16)
-
-Ppr039.hs:6:25: error: Variable not in scope: def
-
-Ppr039.hs:8:14: error: Variable not in scope: test1 :: Bool
-
-Ppr039.hs:8:30: error: Variable not in scope: test2 :: Bool
-
-Ppr039.hs:8:39: error:
-    • Variable not in scope: e1
-    • Perhaps you meant ‘x1’ (line 15)
-
-Ppr039.hs:9:30: error: Variable not in scope: test3 :: Bool
-
-Ppr039.hs:9:39: error:
-    • Variable not in scope: e2
-    • Perhaps you meant ‘x2’ (line 16)
-
-Ppr039.hs:10:14: error: Variable not in scope: test4 :: Bool
-
-Ppr039.hs:10:23: error:
-    • Variable not in scope: e3
-    • Perhaps you meant ‘x3’ (line 18)
-
-Ppr039.ppr.hs:4:10: error: Variable not in scope: test1 :: Bool
-
-Ppr039.ppr.hs:4:19: error:
-    • Variable not in scope: e1
-    • Perhaps you meant ‘x1’ (line 13)
-
-Ppr039.ppr.hs:5:10: error:
-    Variable not in scope: test2 :: t0 -> Bool
-
-Ppr039.ppr.hs:5:16: error: Variable not in scope: witharg
-
-Ppr039.ppr.hs:5:27: error:
-    • Variable not in scope: e2
-    • Perhaps you meant ‘x2’ (line 16)
-
-Ppr039.ppr.hs:6:23: error: Variable not in scope: def
-
-Ppr039.ppr.hs:8:10: error: Variable not in scope: test1 :: Bool
-
-Ppr039.ppr.hs:9:20: error: Variable not in scope: test2 :: Bool
-
-Ppr039.ppr.hs:9:29: error:
-    • Variable not in scope: e1
-    • Perhaps you meant ‘x1’ (line 13)
-
-Ppr039.ppr.hs:10:20: error: Variable not in scope: test3 :: Bool
-
-Ppr039.ppr.hs:10:29: error:
-    • Variable not in scope: e2
-    • Perhaps you meant ‘x2’ (line 16)
-
-Ppr039.ppr.hs:11:10: error: Variable not in scope: test4 :: Bool
-
-Ppr039.ppr.hs:11:19: error:
-    • Variable not in scope: e3
-    • Perhaps you meant ‘x3’ (line 19)
diff --git a/testsuite/tests/printer/Ppr040.stderr b/testsuite/tests/printer/Ppr040.stderr
deleted file mode 100644 (file)
index 5083b4c..0000000
+++ /dev/null
@@ -1,38 +0,0 @@
-
-Ppr040.hs:35:1: error:
-    • Too many parameters to Sing:
-        x is unexpected;
-        expected only two parameters
-    • In the data instance declaration for ‘Sing’
-
-Ppr040.hs:35:20: error:
-    • Expecting two more arguments to ‘Sigma’
-      Expected a type, but
-      ‘Sigma’ has kind
-      ‘forall p -> TyPi p (MkStar p) -> *’
-    • In the first argument of ‘Sing’, namely ‘Sigma’
-      In the data instance declaration for ‘Sing’
-
-Ppr040.hs:35:27: error:
-    • Expected kind ‘Sigma’, but ‘Sigma p r’ has kind ‘*’
-    • In the second argument of ‘Sing’, namely ‘(Sigma p r)’
-      In the data instance declaration for ‘Sing’
-
-Ppr040.ppr.hs:30:1: error:
-    • Too many parameters to Sing:
-        x is unexpected;
-        expected only two parameters
-    • In the data instance declaration for ‘Sing’
-
-Ppr040.ppr.hs:30:20: error:
-    • Expecting two more arguments to ‘Sigma’
-      Expected a type, but
-      ‘Sigma’ has kind
-      ‘forall p -> TyPi p (MkStar p) -> *’
-    • In the first argument of ‘Sing’, namely ‘Sigma’
-      In the data instance declaration for ‘Sing’
-
-Ppr040.ppr.hs:30:27: error:
-    • Expected kind ‘Sigma’, but ‘Sigma p r’ has kind ‘*’
-    • In the second argument of ‘Sing’, namely ‘(Sigma p r)’
-      In the data instance declaration for ‘Sing’
diff --git a/testsuite/tests/printer/Ppr042.stderr b/testsuite/tests/printer/Ppr042.stderr
deleted file mode 100644 (file)
index 8644650..0000000
+++ /dev/null
@@ -1,28 +0,0 @@
-
-Ppr042.hs:6:1: error:
-    • Unacceptable result type in foreign declaration:
-        ‘Word#’ cannot be marshalled in a foreign call
-        To marshal unlifted types, use UnliftedFFITypes
-    • When checking declaration:
-        foreign import prim safe cheneycopy :: Any -> Word#
-
-Ppr042.hs:8:1: error:
-    • Unacceptable result type in foreign declaration:
-        ‘Word#’ cannot be marshalled in a foreign call
-        To marshal unlifted types, use UnliftedFFITypes
-    • When checking declaration:
-        foreign import prim safe "foo" foo :: Any -> Word#
-
-Ppr042.ppr.hs:4:1: error:
-    • Unacceptable result type in foreign declaration:
-        ‘Word#’ cannot be marshalled in a foreign call
-        To marshal unlifted types, use UnliftedFFITypes
-    • When checking declaration:
-        foreign import prim safe cheneycopy :: Any -> Word#
-
-Ppr042.ppr.hs:5:1: error:
-    • Unacceptable result type in foreign declaration:
-        ‘Word#’ cannot be marshalled in a foreign call
-        To marshal unlifted types, use UnliftedFFITypes
-    • When checking declaration:
-        foreign import prim safe "foo" foo :: Any -> Word#
diff --git a/testsuite/tests/printer/Ppr046.stderr b/testsuite/tests/printer/Ppr046.stderr
deleted file mode 100644 (file)
index ebe2d06..0000000
+++ /dev/null
@@ -1,61 +0,0 @@
-
-Ppr046.hs:9:13: error:
-    The deprecation for ‘solverCheckAndGetModel’
-      lacks an accompanying binding
-
-Ppr046.hs:15:16: error:
-    Multiple warning declarations for ‘Logic’
-    also at  Ppr046.hs:9:13-17
-
-Ppr046.hs:15:16: error:
-    The deprecation for ‘solverCheckAndGetModel’
-      lacks an accompanying binding
-
-Ppr046.hs:16:13: error:
-    Multiple warning declarations for ‘solverCheckAndGetModel’
-    also at  Ppr046.hs:10:13-34
-
-Ppr046.hs:30:15: error: Not in scope: data constructor ‘Bitstream’
-
-Ppr046.hs:32:7: error:
-    Not in scope: ‘S.concatMap’
-    No module named ‘S’ is imported.
-
-Ppr046.hs:32:27: error:
-    Not in scope: ‘GV.stream’
-    No module named ‘GV’ is imported.
-
-Ppr046.hs:33:7: error:
-    Not in scope: ‘S.sized’
-    No module named ‘S’ is imported.
-
-Ppr046.ppr.hs:6:13: error:
-    The deprecation for ‘solverCheckAndGetModel’
-      lacks an accompanying binding
-
-Ppr046.ppr.hs:8:16: error:
-    Multiple warning declarations for ‘Logic’
-    also at  Ppr046.ppr.hs:6:13-17
-
-Ppr046.ppr.hs:8:16: error:
-    The deprecation for ‘solverCheckAndGetModel’
-      lacks an accompanying binding
-
-Ppr046.ppr.hs:8:23: error:
-    Multiple warning declarations for ‘solverCheckAndGetModel’
-    also at  Ppr046.ppr.hs:6:20-41
-
-Ppr046.ppr.hs:15:15: error:
-    Not in scope: data constructor ‘Bitstream’
-
-Ppr046.ppr.hs:17:5: error:
-    Not in scope: ‘S.concatMap’
-    No module named ‘S’ is imported.
-
-Ppr046.ppr.hs:17:25: error:
-    Not in scope: ‘GV.stream’
-    No module named ‘GV’ is imported.
-
-Ppr046.ppr.hs:17:38: error:
-    Not in scope: ‘S.sized’
-    No module named ‘S’ is imported.
index c39656e..701d678 100644 (file)
@@ -1,47 +1,47 @@
-test('Ppr001', normal, run_command, ['$MAKE -s --no-print-directory ppr001'])
-test('Ppr002', normal, run_command, ['$MAKE -s --no-print-directory ppr002'])
-test('Ppr003', normal, run_command, ['$MAKE -s --no-print-directory ppr003'])
-test('Ppr004', normal, run_command, ['$MAKE -s --no-print-directory ppr004'])
-test('Ppr005', normal, run_command, ['$MAKE -s --no-print-directory ppr005'])
-test('Ppr006', normal, run_command, ['$MAKE -s --no-print-directory ppr006'])
-test('Ppr007', normal, run_command, ['$MAKE -s --no-print-directory ppr007'])
-test('Ppr008', normal, run_command, ['$MAKE -s --no-print-directory ppr008'])
-test('Ppr009', normal, run_command, ['$MAKE -s --no-print-directory ppr009'])
-test('Ppr010', normal, run_command, ['$MAKE -s --no-print-directory ppr010'])
-test('Ppr011', normal, run_command, ['$MAKE -s --no-print-directory ppr011'])
-test('Ppr012', normal, run_command, ['$MAKE -s --no-print-directory ppr012'])
-test('Ppr013', normal, run_command, ['$MAKE -s --no-print-directory ppr013'])
-test('Ppr014', normal, run_command, ['$MAKE -s --no-print-directory ppr014'])
-test('Ppr015', normal, run_command, ['$MAKE -s --no-print-directory ppr015'])
-test('Ppr016', normal, run_command, ['$MAKE -s --no-print-directory ppr016'])
-test('Ppr017', normal, run_command, ['$MAKE -s --no-print-directory ppr017'])
-test('Ppr018', normal, run_command, ['$MAKE -s --no-print-directory ppr018'])
-test('Ppr019', normal, run_command, ['$MAKE -s --no-print-directory ppr019'])
-test('Ppr020', normal, run_command, ['$MAKE -s --no-print-directory ppr020'])
-test('Ppr021', normal, run_command, ['$MAKE -s --no-print-directory ppr021'])
-test('Ppr022', normal, run_command, ['$MAKE -s --no-print-directory ppr022'])
-test('Ppr023', normal, run_command, ['$MAKE -s --no-print-directory ppr023'])
-test('Ppr024', normal, run_command, ['$MAKE -s --no-print-directory ppr024'])
-test('Ppr025', normal, run_command, ['$MAKE -s --no-print-directory ppr025'])
-test('Ppr026', normal, run_command, ['$MAKE -s --no-print-directory ppr026'])
-test('Ppr027', normal, run_command, ['$MAKE -s --no-print-directory ppr027'])
-test('Ppr028', normal, run_command, ['$MAKE -s --no-print-directory ppr028'])
-test('Ppr029', normal, run_command, ['$MAKE -s --no-print-directory ppr029'])
-test('Ppr030', normal, run_command, ['$MAKE -s --no-print-directory ppr030'])
-test('Ppr031', normal, run_command, ['$MAKE -s --no-print-directory ppr031'])
-test('Ppr032', normal, run_command, ['$MAKE -s --no-print-directory ppr032'])
-test('Ppr033', normal, run_command, ['$MAKE -s --no-print-directory ppr033'])
-test('Ppr034', normal, run_command, ['$MAKE -s --no-print-directory ppr034'])
-test('Ppr035', normal, run_command, ['$MAKE -s --no-print-directory ppr035'])
-test('Ppr036', normal, run_command, ['$MAKE -s --no-print-directory ppr036'])
-test('Ppr037', normal, run_command, ['$MAKE -s --no-print-directory ppr037'])
-test('Ppr038', normal, run_command, ['$MAKE -s --no-print-directory ppr038'])
-test('Ppr039', normal, run_command, ['$MAKE -s --no-print-directory ppr039'])
-test('Ppr040', normal, run_command, ['$MAKE -s --no-print-directory ppr040'])
-test('Ppr041', normal, run_command, ['$MAKE -s --no-print-directory ppr041'])
-test('Ppr042', normal, run_command, ['$MAKE -s --no-print-directory ppr042'])
-test('Ppr043', normal, run_command, ['$MAKE -s --no-print-directory ppr043'])
-test('Ppr044', normal, run_command, ['$MAKE -s --no-print-directory ppr044'])
-test('Ppr045', normal, run_command, ['$MAKE -s --no-print-directory ppr045'])
-test('Ppr046', normal, run_command, ['$MAKE -s --no-print-directory ppr046'])
+test('Ppr001', ignore_stderr, run_command, ['$MAKE -s --no-print-directory ppr001'])
+test('Ppr002', ignore_stderr, run_command, ['$MAKE -s --no-print-directory ppr002'])
+test('Ppr003', ignore_stderr, run_command, ['$MAKE -s --no-print-directory ppr003'])
+test('Ppr004', ignore_stderr, run_command, ['$MAKE -s --no-print-directory ppr004'])
+test('Ppr005', ignore_stderr, run_command, ['$MAKE -s --no-print-directory ppr005'])
+test('Ppr006', ignore_stderr, run_command, ['$MAKE -s --no-print-directory ppr006'])
+test('Ppr007', ignore_stderr, run_command, ['$MAKE -s --no-print-directory ppr007'])
+test('Ppr008', ignore_stderr, run_command, ['$MAKE -s --no-print-directory ppr008'])
+test('Ppr009', ignore_stderr, run_command, ['$MAKE -s --no-print-directory ppr009'])
+test('Ppr010', ignore_stderr, run_command, ['$MAKE -s --no-print-directory ppr010'])
+test('Ppr011', ignore_stderr, run_command, ['$MAKE -s --no-print-directory ppr011'])
+test('Ppr012', ignore_stderr, run_command, ['$MAKE -s --no-print-directory ppr012'])
+test('Ppr013', ignore_stderr, run_command, ['$MAKE -s --no-print-directory ppr013'])
+test('Ppr014', ignore_stderr, run_command, ['$MAKE -s --no-print-directory ppr014'])
+test('Ppr015', ignore_stderr, run_command, ['$MAKE -s --no-print-directory ppr015'])
+test('Ppr016', ignore_stderr, run_command, ['$MAKE -s --no-print-directory ppr016'])
+test('Ppr017', ignore_stderr, run_command, ['$MAKE -s --no-print-directory ppr017'])
+test('Ppr018', ignore_stderr, run_command, ['$MAKE -s --no-print-directory ppr018'])
+test('Ppr019', ignore_stderr, run_command, ['$MAKE -s --no-print-directory ppr019'])
+test('Ppr020', ignore_stderr, run_command, ['$MAKE -s --no-print-directory ppr020'])
+test('Ppr021', ignore_stderr, run_command, ['$MAKE -s --no-print-directory ppr021'])
+test('Ppr022', ignore_stderr, run_command, ['$MAKE -s --no-print-directory ppr022'])
+test('Ppr023', ignore_stderr, run_command, ['$MAKE -s --no-print-directory ppr023'])
+test('Ppr024', ignore_stderr, run_command, ['$MAKE -s --no-print-directory ppr024'])
+test('Ppr025', ignore_stderr, run_command, ['$MAKE -s --no-print-directory ppr025'])
+test('Ppr026', ignore_stderr, run_command, ['$MAKE -s --no-print-directory ppr026'])
+test('Ppr027', ignore_stderr, run_command, ['$MAKE -s --no-print-directory ppr027'])
+test('Ppr028', ignore_stderr, run_command, ['$MAKE -s --no-print-directory ppr028'])
+test('Ppr029', ignore_stderr, run_command, ['$MAKE -s --no-print-directory ppr029'])
+test('Ppr030', ignore_stderr, run_command, ['$MAKE -s --no-print-directory ppr030'])
+test('Ppr031', ignore_stderr, run_command, ['$MAKE -s --no-print-directory ppr031'])
+test('Ppr032', ignore_stderr, run_command, ['$MAKE -s --no-print-directory ppr032'])
+test('Ppr033', ignore_stderr, run_command, ['$MAKE -s --no-print-directory ppr033'])
+test('Ppr034', ignore_stderr, run_command, ['$MAKE -s --no-print-directory ppr034'])
+test('Ppr035', ignore_stderr, run_command, ['$MAKE -s --no-print-directory ppr035'])
+test('Ppr036', ignore_stderr, run_command, ['$MAKE -s --no-print-directory ppr036'])
+test('Ppr037', ignore_stderr, run_command, ['$MAKE -s --no-print-directory ppr037'])
+test('Ppr038', ignore_stderr, run_command, ['$MAKE -s --no-print-directory ppr038'])
+test('Ppr039', ignore_stderr, run_command, ['$MAKE -s --no-print-directory ppr039'])
+test('Ppr040', ignore_stderr, run_command, ['$MAKE -s --no-print-directory ppr040'])
+test('Ppr041', ignore_stderr, run_command, ['$MAKE -s --no-print-directory ppr041'])
+test('Ppr042', ignore_stderr, run_command, ['$MAKE -s --no-print-directory ppr042'])
+test('Ppr043', ignore_stderr, run_command, ['$MAKE -s --no-print-directory ppr043'])
+test('Ppr044', ignore_stderr, run_command, ['$MAKE -s --no-print-directory ppr044'])
+test('Ppr045', ignore_stderr, run_command, ['$MAKE -s --no-print-directory ppr045'])
+test('Ppr046', ignore_stderr, run_command, ['$MAKE -s --no-print-directory ppr046'])
 test('Ppr047', expect_fail, run_command, ['$MAKE -s --no-print-directory ppr047'])