X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2FdeSugar%2FCheck.lhs;h=097a008746c31a4d0dd5c647db0e8cd02c7108d0;hp=9aac5ce777c04309f4d34bfc7982b5544c3a0bc8;hb=9ebd6baeb3955a9f3daa9b57a3d1b8f3b328893d;hpb=5154a1ad09b2717b55fd2fdcf9dd57df722c0d21

diff --git a/compiler/deSugar/Check.lhs b/compiler/deSugar/Check.lhs
index 9aac5ce..097a008 100644
--- a/compiler/deSugar/Check.lhs
+++ b/compiler/deSugar/Check.lhs
@@ -623,7 +623,8 @@ simplify_pat pat@(WildPat gt) = pat
 simplify_pat (VarPat id)      = WildPat (idType id) 
 simplify_pat (VarPatOut id _) = WildPat (idType id) 	-- Ignore the bindings
 simplify_pat (ParPat p)       = unLoc (simplify_lpat p)
-simplify_pat (LazyPat p)      = unLoc (simplify_lpat p)
+simplify_pat (LazyPat p)      = WildPat (hsPatType p)	-- For overlap and exhaustiveness checking
+							-- purposes, a ~pat is like a wildcard
 simplify_pat (BangPat p)      = unLoc (simplify_lpat p)
 simplify_pat (AsPat id p)     = unLoc (simplify_lpat p)
 simplify_pat (SigPatOut p _)  = unLoc (simplify_lpat p)	-- I'm not sure this is right