projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Report source span instead of just source location for unused names.
[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')
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
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)
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
\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
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")
| otherwise
= ptext (sLit "Use -XTypeOperators to allow operators in types")