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
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")