diff options
| author | simonpj <unknown> | 2005-04-04 15:54:50 +0000 |
|---|---|---|
| committer | simonpj <unknown> | 2005-04-04 15:54:50 +0000 |
| commit | 57bdd6a6e55f0f147ca408895ba399e33e2f87ca (patch) | |
| tree | 0837a96d7f5fbc3d269639f3c35fe3b618564acd /ghc/compiler/hsSyn | |
| parent | 61988d6363aad1c5dea5eea24a29fd63a634cb4f (diff) | |
| download | haskell-57bdd6a6e55f0f147ca408895ba399e33e2f87ca.tar.gz | |
[project @ 2005-04-04 15:54:50 by simonpj]
More wibbles to HsSyn changes
Diffstat (limited to 'ghc/compiler/hsSyn')
| -rw-r--r-- | ghc/compiler/hsSyn/HsPat.lhs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/ghc/compiler/hsSyn/HsPat.lhs b/ghc/compiler/hsSyn/HsPat.lhs index 4d64a466a5..322549ba1e 100644 --- a/ghc/compiler/hsSyn/HsPat.lhs +++ b/ghc/compiler/hsSyn/HsPat.lhs @@ -271,7 +271,7 @@ isLitPat other = False isIrrefutableHsPat :: LPat id -> Bool -- This function returns False if it's in doubt; specifically --- on a ConPatIn it doesn't know th size of the constructor family +-- on a ConPatIn it doesn't know the size of the constructor family -- But if it returns True, the pattern is definitely irrefutable isIrrefutableHsPat pat = go pat @@ -281,14 +281,14 @@ isIrrefutableHsPat pat go1 (WildPat _) = True go1 (VarPat _) = True go1 (VarPatOut _ _) = True - go1 (LazyPat _) = True + go1 (LazyPat pat) = True go1 (ParPat pat) = go pat go1 (AsPat _ pat) = go pat go1 (SigPatIn pat _) = go pat go1 (SigPatOut pat _) = go pat - go1 (ListPat pats _) = all go pats go1 (TuplePat pats _) = all go pats - go1 (PArrPat pats _) = all go pats + go1 (ListPat pats _) = False + go1 (PArrPat pats _) = False -- ? go1 (ConPatIn _ _) = False -- Conservative go1 (ConPatOut (L _ con) _ _ _ details _) |