From: Manuel M T Chakravarty Date: Mon, 7 Aug 2006 17:09:53 +0000 (+0000) Subject: Fix pattern w/o location in Check X-Git-Tag: After_FC_branch_merge~134 X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=23cf42c04db04f2a4d960b56079d2b30878836ce;hp=d841b6291656761f6b57e6828cad25b3f0ff75eb Fix pattern w/o location in Check --- diff --git a/compiler/deSugar/Check.lhs b/compiler/deSugar/Check.lhs index 517dc79..7562083 100644 --- a/compiler/deSugar/Check.lhs +++ b/compiler/deSugar/Check.lhs @@ -623,7 +623,7 @@ 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) = WildPat (hsPatType p) -- For overlap and exhaustiveness checking +simplify_pat (LazyPat p) = WildPat (hsLPatType 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)