From ba52692e6e7edcbd5bead52eaff7998ff5f8bd3e Mon Sep 17 00:00:00 2001 From: nineonine Date: Thu, 24 Feb 2022 01:16:18 -0800 Subject: Add test for #19271 --- testsuite/tests/pmcheck/should_compile/T19271.hs | 11 +++++++++++ testsuite/tests/pmcheck/should_compile/T19271.stderr | 9 +++++++++ testsuite/tests/pmcheck/should_compile/all.T | 2 +- 3 files changed, 21 insertions(+), 1 deletion(-) create mode 100644 testsuite/tests/pmcheck/should_compile/T19271.hs create mode 100644 testsuite/tests/pmcheck/should_compile/T19271.stderr diff --git a/testsuite/tests/pmcheck/should_compile/T19271.hs b/testsuite/tests/pmcheck/should_compile/T19271.hs new file mode 100644 index 0000000000..1c96d67d6e --- /dev/null +++ b/testsuite/tests/pmcheck/should_compile/T19271.hs @@ -0,0 +1,11 @@ +{-# OPTIONS_GHC -Wincomplete-patterns #-} +module T19271 where + +data Roles = RolesUnsubscribed Bool + | RolesPartner Int + | RolesAnonymousClient Char + | RolesAnonymousVendor () + +doingThing :: Roles -> () +doingThing roles = + case roles of diff --git a/testsuite/tests/pmcheck/should_compile/T19271.stderr b/testsuite/tests/pmcheck/should_compile/T19271.stderr new file mode 100644 index 0000000000..6ca6ebdadd --- /dev/null +++ b/testsuite/tests/pmcheck/should_compile/T19271.stderr @@ -0,0 +1,9 @@ + +T19271.hs:11:5: warning: [-Wincomplete-patterns (in -Wextra)] + Pattern match(es) are non-exhaustive + In a case alternative: + Patterns of type ‘Roles’ not matched: + RolesUnsubscribed _ + RolesPartner _ + RolesAnonymousClient _ + RolesAnonymousVendor _ diff --git a/testsuite/tests/pmcheck/should_compile/all.T b/testsuite/tests/pmcheck/should_compile/all.T index 59937f9291..9f55966ae8 100644 --- a/testsuite/tests/pmcheck/should_compile/all.T +++ b/testsuite/tests/pmcheck/should_compile/all.T @@ -154,4 +154,4 @@ test('EmptyCase007', [], compile, [overlapping_incomplete]) test('EmptyCase008', [], compile, [overlapping_incomplete]) test('EmptyCase009', [], compile, [overlapping_incomplete]) test('EmptyCase010', [], compile, [overlapping_incomplete]) - +test('T19271', [], compile, [overlapping_incomplete]) -- cgit v1.2.1