X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcHsSyn.lhs;h=fecc6d41cecb81e980952178aeab7c9bc726455c;hb=958924a2b338aebbcc8a88ba2cab511517762a19;hp=a5d3f64479e42527107a74ae2b424d02f37f3bf1;hpb=47d253ba58b8b7bbbdd2ad21b6aa7ab78f7aef53;p=ghc-hetmet.git

diff --git a/ghc/compiler/typecheck/TcHsSyn.lhs b/ghc/compiler/typecheck/TcHsSyn.lhs
index a5d3f64..fecc6d4 100644
--- a/ghc/compiler/typecheck/TcHsSyn.lhs
+++ b/ghc/compiler/typecheck/TcHsSyn.lhs
@@ -340,11 +340,11 @@ zonk_bind env (AbsBinds tyvars dicts exports val_binds)
 	  zonkIdBndr env global		`thenM` \ new_global ->
 	  mapM zonk_prag prags		`thenM` \ new_prags -> 
 	  returnM (new_tyvars, new_global, zonkIdOcc env local, new_prags)
-    zonk_prag prag@(InlinePrag _ _) = return prag
-    zonk_prag (SpecPrag expr ty ds) = do { expr' <- zonkExpr env expr 
-					 ; ty'   <- zonkTcTypeToType env ty
-					 ; let ds' = zonkIdOccs env ds
-					 ; return (SpecPrag expr' ty' ds') }
+    zonk_prag prag@(InlinePrag {})  = return prag
+    zonk_prag (SpecPrag expr ty ds inl) = do { expr' <- zonkExpr env expr 
+					     ; ty'   <- zonkTcTypeToType env ty
+					     ; let ds' = zonkIdOccs env ds
+					     ; return (SpecPrag expr' ty' ds' inl) }
 \end{code}
 
 %************************************************************************