Test Trac #11245

testsuite/tests/pmcheck/should_compile/T11245.hs

+module T11245 where
+
+
+foo x = do
+  let a | Just i <- x
+        , odd i
+        = True
+
+        | Nothing <- x
+        = False
+
+  print x
+  print a

testsuite/tests/pmcheck/should_compile/T11245.stderr

+
+T11245.hs:5:7: warning:
+    Pattern match(es) are non-exhaustive
+    In an equation for ‘a’: Guards do not cover entire pattern space

testsuite/tests/pmcheck/should_compile/all.T

@@ -32,3 +32,4 @@ test('pmc004', only_compiler_types(['ghc']), compile, ['-fwarn-incomplete-patter
 test('pmc005', only_compiler_types(['ghc']), compile, ['-fwarn-incomplete-patterns -fwarn-overlapping-patterns'])
 test('pmc006', only_compiler_types(['ghc']), compile, ['-fwarn-incomplete-patterns -fwarn-overlapping-patterns'])
 test('pmc007', only_compiler_types(['ghc']), compile, ['-fwarn-incomplete-patterns -fwarn-overlapping-patterns'])
+test('T11245', only_compiler_types(['ghc']), compile, ['-fwarn-incomplete-patterns -fwarn-overlapping-patterns'])