From 64fddcbee1a20069252c70ef45e9429ea44c6892 Mon Sep 17 00:00:00 2001
From: "simonpj@microsoft.com" <unknown>
Date: Tue, 7 Feb 2006 17:12:54 +0000
Subject: [PATCH] Wibble to type signature

---
 ghc/compiler/typecheck/TcPat.lhs |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ghc/compiler/typecheck/TcPat.lhs b/ghc/compiler/typecheck/TcPat.lhs
index ce9e99b..4c56b08 100644
--- a/ghc/compiler/typecheck/TcPat.lhs
+++ b/ghc/compiler/typecheck/TcPat.lhs
@@ -98,7 +98,7 @@ tcPats ctxt pats tys res_ty thing_inside
 
 -----------------
 tcPat :: PatCtxt 
-      -> LPat Name -> TcType 
+      -> LPat Name -> BoxySigmaType 
       -> BoxyRhoType		-- Result type
       -> (BoxyRhoType -> TcM a)	-- Checker for body, given its result type
       -> TcM (LPat TcId, a)
-- 
1.7.10.4