X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Frename%2FRnTypes.lhs;h=0e047fe54ea7ee81adbc13971e403056889d26b3;hb=af075cd3341968e4eac6f95cd76df17e99597fa8;hp=20803bea40a80725a3bab902c77b26998e637752;hpb=ea807c3ab68876c5b00eebed57207d4902f5d2c4;p=ghc-hetmet.git diff --git a/compiler/rename/RnTypes.lhs b/compiler/rename/RnTypes.lhs index 20803be..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 @@ -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")