diff --git a/testsuite/tests/driver/T10600.hs b/testsuite/tests/driver/T10600.hs new file mode 100644 index 0000000000000000000000000000000000000000..86b6e6cbfc55b45ebec36e5571285155a9fa6378 --- /dev/null +++ b/testsuite/tests/driver/T10600.hs @@ -0,0 +1,10 @@ +{-# LANGUAGE MagicHash #-} +module T10600 where + +import GHC.Prim + +-- This shouldn't compile as unlifted bindings aren't allowed at top-level. +-- However, #10600 described the situation where an error isn't throw when we +-- compile with -fno-code. +foo :: Int# +foo = 10600# diff --git a/testsuite/tests/driver/T10600.stderr b/testsuite/tests/driver/T10600.stderr new file mode 100644 index 0000000000000000000000000000000000000000..4298e67dfc8b050650dc550990279595e499a47a --- /dev/null +++ b/testsuite/tests/driver/T10600.stderr @@ -0,0 +1,2 @@ +T10600.hs:10:1: + Top-level bindings for unlifted types aren't allowed: foo = 10600# \ No newline at end of file diff --git a/testsuite/tests/driver/T8101.stderr b/testsuite/tests/driver/T8101.stderr index 6fda85797ff8f60b8725b7fe6e1afd5013d12372..9f5736044826dbf941fa78a27a77e73d4a34aa55 100644 --- a/testsuite/tests/driver/T8101.stderr +++ b/testsuite/tests/driver/T8101.stderr @@ -1,5 +1,4 @@ - -T8101.hs:7:9: Warning: +T8101.hs:7:9: warning: [-Wincomplete-patterns (in -Wextra)] Pattern match(es) are non-exhaustive In a case alternative: Patterns not matched: diff --git a/testsuite/tests/driver/T8101b.stderr b/testsuite/tests/driver/T8101b.stderr index 555b0362d010cfe4214886d767c2bfae6cabb53a..ea8bcf0c4dbc3373dbd25b76e11ece5136a64f96 100644 --- a/testsuite/tests/driver/T8101b.stderr +++ b/testsuite/tests/driver/T8101b.stderr @@ -1,5 +1,6 @@ +[1 of 1] Compiling A ( T8101b.hs, nothing ) -T8101b.hs:7:9: Warning: +T8101b.hs:7:9: warning: [-Wincomplete-patterns (in -Wextra)] Pattern match(es) are non-exhaustive In a case alternative: Patterns not matched: diff --git a/testsuite/tests/driver/all.T b/testsuite/tests/driver/all.T index 09dc79ab79770472e1c1b4b0682fde074d344aa1..7971d46cb333729066d5b459e35c5d16a9d60e3e 100644 --- a/testsuite/tests/driver/all.T +++ b/testsuite/tests/driver/all.T @@ -203,6 +203,7 @@ test('T2182', normal, run_command, ['$MAKE -s --no-print-directory T2182']) test('T8101', expect_broken(10600), compile, ['-Wall -fno-code']) test('T8101b', expect_broken(10600), multimod_compile, ['T8101b', '-Wall -fno-code']) +test('T10600', expect_broken(10600), compile_fail, ['-fno-code']) # Should not panic when compiling cmm file together with -outputdir. test('T9050', cmm_src, compile, ['-outputdir=.'])