Allow type families to use GADT syntax (and be GADTs)

[ghc-hetmet.git] / compiler / rename / RnTypes.lhs

diff --git a/compiler/rename/RnTypes.lhs b/compiler/rename/RnTypes.lhs
index b1df31b..0e047fe 100644 (file)
--- 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")