X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Frename%2FRnTypes.lhs;h=0e047fe54ea7ee81adbc13971e403056889d26b3;hb=d7b36bbbcd56ee14656223d02e32f5a1f52ea17b;hp=b1df31b8bc39549eb27de4f104605141e5be199a;hpb=0dd5138783c1a24de0f6c0fdbbbe5bab0aeeea25;p=ghc-hetmet.git

diff --git a/compiler/rename/RnTypes.lhs b/compiler/rename/RnTypes.lhs
index b1df31b..0e047fe 100644
--- a/compiler/rename/RnTypes.lhs
+++ b/compiler/rename/RnTypes.lhs
@@ -170,9 +170,8 @@ rnHsType doc (HsPredTy pred) = do
     pred' <- rnPred doc pred
     return (HsPredTy pred')
 
-rnHsType _ (HsSpliceTy _) = do
-    addErr (ptext (sLit "Type splices are not yet implemented"))
-    failM
+rnHsType _ (HsSpliceTy _) =
+    failWith (ptext (sLit "Type splices are not yet implemented"))
 
 rnHsType doc (HsDocTy ty haddock_doc) = do
     ty' <- rnLHsType doc ty
@@ -490,7 +489,7 @@ checkSectionPrec direction section op arg
 	  checkErr (op_prec < arg_prec
 		     || op_prec == arg_prec && direction == assoc)
 		  (sectionPrecErr (ppr_op op_name, op_fix) 	
-		  (pp_arg_op, arg_fix) section)
+				  (pp_arg_op, arg_fix) section)
 \end{code}
 
 Precedence-related error messages
@@ -539,7 +538,7 @@ opTyErr op ty@(HsOpTy ty1 _ _)
 	 2 extra
   where
     extra | op == dot_tv_RDR && forall_head ty1
-	  = ptext (sLit "Perhaps you intended to use -XRankNTypes or similar flag")
+	  = perhapsForallMsg
 	  | otherwise 
 	  = ptext (sLit "Use -XTypeOperators to allow operators in types")