X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcExpr.lhs;h=0ac873ef04357e75ad641c9d8793cce602163a10;hp=fa0e419aed2200816f1e08da6456224cf9c40b5c;hb=84923cc7de2a93c22a2f72daf9ac863959efae13;hpb=a2fcf3aa210edff15c5f4603ac267171f89366f0

diff --git a/compiler/typecheck/TcExpr.lhs b/compiler/typecheck/TcExpr.lhs
index fa0e419..0ac873e 100644
--- a/compiler/typecheck/TcExpr.lhs
+++ b/compiler/typecheck/TcExpr.lhs
@@ -129,6 +129,9 @@ tcExpr (HsPar expr)     res_ty = do { expr' <- tcMonoExpr expr res_ty
 
 tcExpr (HsSCC lbl expr) res_ty = do { expr' <- tcMonoExpr expr res_ty
 				    ; returnM (HsSCC lbl expr') }
+tcExpr (HsTickPragma info expr) res_ty 
+       		     	       = do { expr' <- tcMonoExpr expr res_ty
+				    ; returnM (HsTickPragma info expr') }
 
 tcExpr (HsCoreAnn lbl expr) res_ty 	 -- hdaume: core annotation
   = do	{ expr' <- tcMonoExpr expr res_ty
@@ -746,7 +749,7 @@ instFun orig fun subst tv_theta_prs
 	; go True fun ty_theta_prs' }
   where
     subst_pr (tvs, theta) 
-	= (map (substTyVar subst) tvs, substTheta subst theta)
+	= (substTyVars subst tvs, substTheta subst theta)
 
     go _ fun [] = return fun