Super-monster patch implementing the new typechecker -- at last

[ghc-hetmet.git] / compiler / typecheck / TcMatches.lhs-boot

diff --git a/compiler/typecheck/TcMatches.lhs-boot b/compiler/typecheck/TcMatches.lhs-boot
index e50949f..8d0fba2 100644 (file)
--- a/compiler/typecheck/TcMatches.lhs-boot
+++ b/compiler/typecheck/TcMatches.lhs-boot
@@ -2,15 +2,15 @@
 module TcMatches where
 import HsSyn   ( GRHSs, MatchGroup, HsWrapper )
 import Name    ( Name )
-import TcType  ( BoxyRhoType )
+import TcType  ( TcRhoType )
 import TcRnTypes( TcM, TcId )
 
 tcGRHSsPat    :: GRHSs Name
-             -> BoxyRhoType
+             -> TcRhoType
              -> TcM (GRHSs TcId)
 
 tcMatchesFun :: Name -> Bool
             -> MatchGroup Name
-            -> BoxyRhoType
+            -> TcRhoType
             -> TcM (HsWrapper, MatchGroup TcId)
 \end{code}