[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