testsuite: Add testcase for #13075
authorBen Gamari <ben@smart-cactus.org>
Sun, 23 Apr 2017 14:59:02 +0000 (10:59 -0400)
committerBen Gamari <ben@smart-cactus.org>
Sun, 23 Apr 2017 15:05:48 +0000 (11:05 -0400)
testsuite/tests/typecheck/should_fail/T13075.hs [new file with mode: 0644]
testsuite/tests/typecheck/should_fail/all.T

diff --git a/testsuite/tests/typecheck/should_fail/T13075.hs b/testsuite/tests/typecheck/should_fail/T13075.hs
new file mode 100644 (file)
index 0000000..9c76434
--- /dev/null
@@ -0,0 +1,7 @@
+{-# LANGUAGE BangPatterns #-}
+
+module Main where
+
+!(Just x) = Nothing
+
+main = putStrLn "hi there!"
index fe69ce0..e70f255 100644 (file)
@@ -425,6 +425,7 @@ test('T12921', normal, compile_fail, [''])
 test('T12973', normal, compile_fail, [''])
 test('StrictBinds', normal, compile_fail, [''])
 test('T13068', [extra_files(['T13068.hs', 'T13068a.hs', 'T13068.hs-boot', 'T13068m.hs'])], multimod_compile_fail, ['T13068m', ''])
+test('T13075', normal, compile_fail, [''])
 test('T13105', normal, compile_fail, [''])
 test('LevPolyBounded', normal, compile_fail, [''])
 test('T13487', normal, compile, [''])