Fix #13839: GHCi warnings do not respect the default module headerwip/magic-carpet-ride

9 files changed, 48 insertions, 0 deletions

diff --git a/testsuite/tests/rename/should_compile/T13839.script b/testsuite/tests/rename/should_compile/T13839.script
new file mode 100644
index 0000000000..212d7f7d42
--- /dev/null
+++ b/testsuite/tests/rename/should_compile/T13839.script
@@ -0,0 +1,4 @@
+:l T13839a.hs
+:t nonUsed
+:l T13839b.hs
+:t nonUsed
diff --git a/testsuite/tests/rename/should_compile/T13839.stdout b/testsuite/tests/rename/should_compile/T13839.stdout
new file mode 100644
index 0000000000..a700b1441c
--- /dev/null
+++ b/testsuite/tests/rename/should_compile/T13839.stdout
@@ -0,0 +1,5 @@
+
+T13839a.hs:10:1: warning: [-Wunused-top-binds (in -Wextra, -Wunused-binds)]
+    Defined but not used: ‘nonUsed’
+nonUsed :: ()
+nonUsed :: ()
diff --git a/testsuite/tests/rename/should_compile/T13839a.hs b/testsuite/tests/rename/should_compile/T13839a.hs
new file mode 100644
index 0000000000..74235be147
--- /dev/null
+++ b/testsuite/tests/rename/should_compile/T13839a.hs
@@ -0,0 +1,10 @@
+{-# OPTIONS_GHC -Wall #-}
+
+main :: IO ()
+main = putStrLn used
+
+used :: String
+used = "T13839"
+
+nonUsed :: ()
+nonUsed = ()
diff --git a/testsuite/tests/rename/should_compile/T13839a.stderr b/testsuite/tests/rename/should_compile/T13839a.stderr
new file mode 100644
index 0000000000..84b987364a
--- /dev/null
+++ b/testsuite/tests/rename/should_compile/T13839a.stderr
@@ -0,0 +1,3 @@
+
+T13839a.hs:10:1: warning: [-Wunused-top-binds (in -Wextra, -Wunused-binds)]
+    Defined but not used: ‘nonUsed’
diff --git a/testsuite/tests/rename/should_compile/T13839b.hs b/testsuite/tests/rename/should_compile/T13839b.hs
new file mode 100644
index 0000000000..da7b0f4073
--- /dev/null
+++ b/testsuite/tests/rename/should_compile/T13839b.hs
@@ -0,0 +1,10 @@
+{-# OPTIONS_GHC -Wall #-}
+
+nomain :: IO ()
+nomain = putStrLn used
+
+used :: String
+used = "T13839"
+
+nonUsed :: ()
+nonUsed = ()
diff --git a/testsuite/tests/rename/should_compile/all.T b/testsuite/tests/rename/should_compile/all.T
index 4d427de44f..51684f1eb3 100644
--- a/testsuite/tests/rename/should_compile/all.T
+++ b/testsuite/tests/rename/should_compile/all.T
@@ -155,6 +155,8 @@ test('T12597', normal, compile, [''])
 test('T12548', normal, compile, [''])
 test('T13132', normal, compile, [''])
 test('T13646', normal, compile, [''])
+test('T13839', combined_output, ghci_script, ['T13839.script'])
+test('T13839a', normal, compile, [''])
 test('LookupSub', [], multimod_compile, ['LookupSub', '-v0'])
 test('T14881', [], multimod_compile, ['T14881', '-W'])
 test('T14487', [], multimod_compile, ['T14487', '-v0'])
diff --git a/testsuite/tests/rename/should_fail/T13839b.hs b/testsuite/tests/rename/should_fail/T13839b.hs
new file mode 100644
index 0000000000..da7b0f4073
--- /dev/null
+++ b/testsuite/tests/rename/should_fail/T13839b.hs
@@ -0,0 +1,10 @@
+{-# OPTIONS_GHC -Wall #-}
+
+nomain :: IO ()
+nomain = putStrLn used
+
+used :: String
+used = "T13839"
+
+nonUsed :: ()
+nonUsed = ()
diff --git a/testsuite/tests/rename/should_fail/T13839b.stderr b/testsuite/tests/rename/should_fail/T13839b.stderr
new file mode 100644
index 0000000000..93846bd410
--- /dev/null
+++ b/testsuite/tests/rename/should_fail/T13839b.stderr
@@ -0,0 +1,3 @@
+
+T13839b.hs:1:1: error:
+    The IO action ‘main’ is not defined in module ‘Main’
diff --git a/testsuite/tests/rename/should_fail/all.T b/testsuite/tests/rename/should_fail/all.T
index 4f1b1fa34b..4b5e9e9a72 100644
--- a/testsuite/tests/rename/should_fail/all.T
+++ b/testsuite/tests/rename/should_fail/all.T
@@ -126,6 +126,7 @@ test('T11592', normal, compile_fail, [''])
 test('T12879', normal, compile_fail, [''])
 test('T13644', normal, multimod_compile_fail, ['T13644','-v0'])
 test('T13568', normal, multimod_compile_fail, ['T13568','-v0'])
+test('T13839b', normal, compile_fail, [''])
 test('T13947', normal, compile_fail, [''])
 test('T13847', normal, multimod_compile_fail, ['T13847','-v0'])
 test('T14225', normal, ghci_script, ['T14225.script'])