[commit: testsuite] master: Test Trac #5117 (3ff1ad5)

[Simon Peyton Jones]

Repository : ssh://darcs.haskell.org//srv/darcs/testsuite

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/3ff1ad5043a220421e8a53fc1098875f1fb75ddb

>---------------------------------------------------------------

commit 3ff1ad5043a220421e8a53fc1098875f1fb75ddb
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Wed May 4 11:50:24 2011 +0100

    Test Trac #5117

>---------------------------------------------------------------

 tests/ghc-regress/deSugar/should_compile/T5117.hs  |   17 +++++++++++++++++
 .../deSugar/should_compile/T5117.stderr            |    4 ++++
 tests/ghc-regress/deSugar/should_compile/all.T     |    1 +
 3 files changed, 22 insertions(+), 0 deletions(-)

diff --git a/tests/ghc-regress/deSugar/should_compile/T5117.hs b/tests/ghc-regress/deSugar/should_compile/T5117.hs
new file mode 100644
index 0000000..15f9c79
--- /dev/null
+++ b/tests/ghc-regress/deSugar/should_compile/T5117.hs
@@ -0,0 +1,17 @@
+{-# LANGUAGE OverloadedStrings #-}
+module BadWarning where
+
+data MyString = MyString String
+
+f1 (MyString "a") = undefined
+f1 (MyString "bb") = undefined
+f1 _ = undefined
+
+f2 (MyString "aa") = undefined
+f2 (MyString "bb") = undefined
+f2 _ = undefined
+
+-- Genuine overlap here!
+f3(MyString ('a':_)) = undefined
+f3 (MyString "a") = undefined
+f3 _ = undefined
diff --git a/tests/ghc-regress/deSugar/should_compile/T5117.stderr b/tests/ghc-regress/deSugar/should_compile/T5117.stderr
new file mode 100644
index 0000000..e9ddba1
--- /dev/null
+++ b/tests/ghc-regress/deSugar/should_compile/T5117.stderr
@@ -0,0 +1,4 @@
+
+T5117.hs:15:1:
+    Warning: Pattern match(es) are overlapped
+             In an equation for `f3': f3 (MyString "a") = ...
diff --git a/tests/ghc-regress/deSugar/should_compile/all.T b/tests/ghc-regress/deSugar/should_compile/all.T
index 2441709..6b85275 100644
--- a/tests/ghc-regress/deSugar/should_compile/all.T
+++ b/tests/ghc-regress/deSugar/should_compile/all.T
@@ -83,3 +83,4 @@ test('T4870',
       extra_clean(['T4870a.hi', 'T4870a.o'])],
      multimod_compile,
      ['T4870', '-v0'])
+test('T5117', normal, compile, [''])