From 57bdd6a6e55f0f147ca408895ba399e33e2f87ca Mon Sep 17 00:00:00 2001
From: simonpj <unknown>
Date: Mon, 4 Apr 2005 15:54:50 +0000
Subject: [PATCH] [project @ 2005-04-04 15:54:50 by simonpj] More wibbles to
 HsSyn changes

---
 ghc/compiler/deSugar/Match.hi-boot-6 |    2 +-
 ghc/compiler/hsSyn/HsPat.lhs         |    8 ++++----
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/ghc/compiler/deSugar/Match.hi-boot-6 b/ghc/compiler/deSugar/Match.hi-boot-6
index 51e1589..df806ec 100644
--- a/ghc/compiler/deSugar/Match.hi-boot-6
+++ b/ghc/compiler/deSugar/Match.hi-boot-6
@@ -20,7 +20,7 @@ matchSimply
 
 matchSinglePat
 	:: CoreSyn.CoreExpr
-	-> DsMonad.DsMatchContext
+	-> HsExpr.HsMatchContext Name.Name
 	-> HsPat.LPat Var.Id
         -> TcType.TcType
 	-> DsMonad.MatchResult
diff --git a/ghc/compiler/hsSyn/HsPat.lhs b/ghc/compiler/hsSyn/HsPat.lhs
index 4d64a46..322549b 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 _) 
-- 
1.7.10.4