diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2017-04-23 10:59:02 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2017-04-23 11:05:48 -0400 |
| commit | 868bdcc8f152935803f6ff133766719ada077bdb (patch) | |
| tree | 53c8d295b97ff3638120d845fcdc221e1c7bc528 | |
| parent | 3efa5be4f343716fbeda524451aca5a03de3e2b6 (diff) | |
| download | haskell-868bdcc8f152935803f6ff133766719ada077bdb.tar.gz | |
testsuite: Add testcase for #13075
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T13075.hs | 7 | ||||
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/all.T | 1 |
2 files changed, 8 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T13075.hs b/testsuite/tests/typecheck/should_fail/T13075.hs new file mode 100644 index 0000000000..9c76434822 --- /dev/null +++ b/testsuite/tests/typecheck/should_fail/T13075.hs @@ -0,0 +1,7 @@ +{-# LANGUAGE BangPatterns #-} + +module Main where + +!(Just x) = Nothing + +main = putStrLn "hi there!" diff --git a/testsuite/tests/typecheck/should_fail/all.T b/testsuite/tests/typecheck/should_fail/all.T index fe69ce0176..e70f255056 100644 --- a/testsuite/tests/typecheck/should_fail/all.T +++ b/testsuite/tests/typecheck/should_fail/all.T @@ -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, ['']) |