[commit: testsuite] master: Wibbles for Trac #5455 test (0551f7e)

Simon Peyton Jones simonpj at microsoft.com
Mon Sep 5 18:33:28 CEST 2011


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

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/0551f7eaa42159e78460a00ab78731e9da460b21

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

commit 0551f7eaa42159e78460a00ab78731e9da460b21
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Mon Sep 5 17:28:46 2011 +0100

    Wibbles for Trac #5455 test

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

 tests/deSugar/should_compile/T5455.hs     |    7 +++++--
 tests/deSugar/should_compile/T5455.stderr |    6 +-----
 2 files changed, 6 insertions(+), 7 deletions(-)

diff --git a/tests/deSugar/should_compile/T5455.hs b/tests/deSugar/should_compile/T5455.hs
index fa1e7f2..b6d44b8 100644
--- a/tests/deSugar/should_compile/T5455.hs
+++ b/tests/deSugar/should_compile/T5455.hs
@@ -1,10 +1,13 @@
 {-# OPTIONS_GHC -fwarn-incomplete-uni-patterns #-}
 module T5455 where
 
--- We should get just one error message for each defn
+-- No error message for this one: 
+-- the pattern will never be demanded
 
 w :: String -> String
 w x = let (_:_) = x in "1"
 
+-- We should get just one error message here
+
 w2 :: String -> String
-w2 x2 = let (_a:_b) = x2 in "1"
+w2 x2 = let (a:as) = x2 in (a:a:as)
diff --git a/tests/deSugar/should_compile/T5455.stderr b/tests/deSugar/should_compile/T5455.stderr
index adeae80..9ff56b5 100644
--- a/tests/deSugar/should_compile/T5455.stderr
+++ b/tests/deSugar/should_compile/T5455.stderr
@@ -1,8 +1,4 @@
 
-T5455.hs:7:11:
-    Warning: Pattern match(es) are non-exhaustive
-             In a pattern binding: Patterns not matched: []
-
-T5455.hs:10:13:
+T5455.hs:13:13:
     Warning: Pattern match(es) are non-exhaustive
              In a pattern binding: Patterns not matched: []





More information about the Cvs-ghc mailing list