blob: b6d44b8bcb9cffd9f0177904572c8a4a63ea6e3b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
{-# OPTIONS_GHC -fwarn-incomplete-uni-patterns #-}
module T5455 where
-- 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:as) = x2 in (a:a:as)
|