Wibble to type signature

[ghc-hetmet.git] / ghc / compiler / typecheck / TcPat.lhs

diff --git a/ghc/compiler/typecheck/TcPat.lhs b/ghc/compiler/typecheck/TcPat.lhs
index ce9e99b..4c56b08 100644 (file)
--- 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)