diff options
| author | Manuel M T Chakravarty <chak@cse.unsw.edu.au> | 2006-08-07 17:09:53 +0000 |
|---|---|---|
| committer | Manuel M T Chakravarty <chak@cse.unsw.edu.au> | 2006-08-07 17:09:53 +0000 |
| commit | 23cf42c04db04f2a4d960b56079d2b30878836ce (patch) | |
| tree | b3143924d5b5f54dac5c215cdf4b97dfcfd0bf0d /compiler/deSugar/Check.lhs | |
| parent | d841b6291656761f6b57e6828cad25b3f0ff75eb (diff) | |
| download | haskell-23cf42c04db04f2a4d960b56079d2b30878836ce.tar.gz | |
Fix pattern w/o location in Check
Diffstat (limited to 'compiler/deSugar/Check.lhs')
| -rw-r--r-- | compiler/deSugar/Check.lhs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/deSugar/Check.lhs b/compiler/deSugar/Check.lhs index 517dc79398..7562083293 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) |