X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcExpr.lhs;h=f622d1cb266eabeef6e458b7420a7e259dcc99ff;hb=6c872fff42025a842e8500ddbb13fdcca60eaf75;hp=9ab1460406c64401b642fea41cd798150391cdcf;hpb=111cee3f1ad93816cb828e38b38521d85c3bcebb;p=ghc-hetmet.git

diff --git a/ghc/compiler/typecheck/TcExpr.lhs b/ghc/compiler/typecheck/TcExpr.lhs
index 9ab1460..f622d1c 100644
--- a/ghc/compiler/typecheck/TcExpr.lhs
+++ b/ghc/compiler/typecheck/TcExpr.lhs
@@ -35,7 +35,7 @@ import TcEnv		( tcInstId,
 			  tcLookupTyCon, tcLookupDataCon
 			)
 import TcMatches	( tcMatchesCase, tcMatchLambda, tcStmts )
-import TcMonoType	( tcHsType, checkSigTyVars, sigCtxt )
+import TcMonoType	( tcHsSigType, checkSigTyVars, sigCtxt )
 import TcPat		( badFieldCon )
 import TcSimplify	( tcSimplify, tcSimplifyAndCheck, partitionPredsOfLIE )
 import TcType		( TcType, TcTauType,
@@ -699,7 +699,7 @@ tcMonoExpr in_expr@(ArithSeqIn seq@(FromThenTo expr1 expr2 expr3)) res_ty
 \begin{code}
 tcMonoExpr in_expr@(ExprWithTySig expr poly_ty) res_ty
  = tcSetErrCtxt (exprSigCtxt in_expr)	$
-   tcHsType  poly_ty		`thenTc` \ sig_tc_ty ->
+   tcHsSigType  poly_ty		`thenTc` \ sig_tc_ty ->
 
    if not (isForAllTy sig_tc_ty) then
 	-- Easy case