From: simonpj@microsoft.com <unknown>
Date: Tue, 7 Feb 2006 17:12:54 +0000 (+0000)
Subject: Wibble to type signature
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=64fddcbee1a20069252c70ef45e9429ea44c6892;p=ghc-hetmet.git

Wibble to type signature
---

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)