diff options
| author | Ian Lynagh <ian@well-typed.com> | 2013-07-28 17:01:38 +0100 |
|---|---|---|
| committer | Ian Lynagh <ian@well-typed.com> | 2013-07-28 17:01:38 +0100 |
| commit | 5970bafbc8f0afc161b7afdd3a19e597769f16af (patch) | |
| tree | 21f57c7063f9dc9056fd0b02b740a01a6afc080f | |
| parent | 1facc19c0526b3a11a73dc3f83b6262a7b795096 (diff) | |
| download | haskell-5970bafbc8f0afc161b7afdd3a19e597769f16af.tar.gz | |
Add a test for #8101
| -rw-r--r-- | testsuite/tests/driver/T8101.hs | 8 | ||||
| -rw-r--r-- | testsuite/tests/driver/T8101.stderr | 7 | ||||
| -rw-r--r-- | testsuite/tests/driver/all.T | 2 |
3 files changed, 17 insertions, 0 deletions
diff --git a/testsuite/tests/driver/T8101.hs b/testsuite/tests/driver/T8101.hs new file mode 100644 index 0000000000..d7bcc1bd5e --- /dev/null +++ b/testsuite/tests/driver/T8101.hs @@ -0,0 +1,8 @@ + +module A where + +data ABC = A | B | C + +abc :: ABC -> Int +abc x = case x of + A -> 1 diff --git a/testsuite/tests/driver/T8101.stderr b/testsuite/tests/driver/T8101.stderr new file mode 100644 index 0000000000..6fda85797f --- /dev/null +++ b/testsuite/tests/driver/T8101.stderr @@ -0,0 +1,7 @@ + +T8101.hs:7:9: Warning: + Pattern match(es) are non-exhaustive + In a case alternative: + Patterns not matched: + B + C diff --git a/testsuite/tests/driver/all.T b/testsuite/tests/driver/all.T index 34e57a503b..dc5153574d 100644 --- a/testsuite/tests/driver/all.T +++ b/testsuite/tests/driver/all.T @@ -378,3 +378,5 @@ test('T2507', ['$MAKE -s --no-print-directory T2507']) test('T703', normal, run_command, ['$MAKE -s --no-print-directory T703']) +test('T8101', normal, compile, ['-Wall -fno-code']) + |