X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2FdeSugar%2FDsGRHSs.lhs;h=57ef74f5694521ba9fd84bd82edffa48f5b474cf;hb=2c6d73e2ca9a545c4295c6f532cd3612e7fd3d8d;hp=ab236f96d0a54bc792fd971a51de91f0492446b8;hpb=0004357ccaa3149cb112f5f5df1af60e65baad79;p=ghc-hetmet.git

diff --git a/ghc/compiler/deSugar/DsGRHSs.lhs b/ghc/compiler/deSugar/DsGRHSs.lhs
index ab236f9..57ef74f 100644
--- a/ghc/compiler/deSugar/DsGRHSs.lhs
+++ b/ghc/compiler/deSugar/DsGRHSs.lhs
@@ -12,7 +12,7 @@ import {-# SOURCE #-} DsExpr  ( dsExpr, dsLet )
 import {-# SOURCE #-} Match   ( matchSinglePat )
 
 import HsSyn		( Stmt(..), HsExpr(..), GRHSs(..), GRHS(..), HsMatchContext(..) )
-import TcHsSyn		( TypecheckedGRHSs, TypecheckedPat, TypecheckedStmt )
+import TcHsSyn		( TypecheckedGRHSs, TypecheckedPat, TypecheckedStmt, TypecheckedMatchContext )
 import CoreSyn		( CoreExpr )
 import Type		( Type )
 
@@ -45,8 +45,8 @@ dsGuarded grhss
 In contrast, @dsGRHSs@ produces a @MatchResult@.
 
 \begin{code}
-dsGRHSs :: HsMatchContext -> [TypecheckedPat]	-- These are to build a MatchContext from
-	-> TypecheckedGRHSs			-- Guarded RHSs
+dsGRHSs :: TypecheckedMatchContext -> [TypecheckedPat]	-- These are to build a MatchContext from
+	-> TypecheckedGRHSs				-- Guarded RHSs
 	-> DsM (Type, MatchResult)
 
 dsGRHSs kind pats (GRHSs grhss binds (Just ty))