X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Frename%2FRnEnv.lhs;h=6c3567a354200c83d9814ee6595ffcfb41d48b6f;hb=5e09d0886105fdfec4d7e8aaf2115b92ee18cfaa;hp=63db61ccb646e766e7529786b62f29d50d03b17d;hpb=d1984e439154e95b2804ee83897e740b1713c53d;p=ghc-hetmet.git diff --git a/compiler/rename/RnEnv.lhs b/compiler/rename/RnEnv.lhs index 63db61c..6c3567a 100644 --- a/compiler/rename/RnEnv.lhs +++ b/compiler/rename/RnEnv.lhs @@ -470,7 +470,7 @@ lookupQualifiedName rdr_name | Just (mod,occ) <- isQual_maybe rdr_name -- Note: we want to behave as we would for a source file import here, -- and respect hiddenness of modules/packages, hence loadSrcInterface. - = loadSrcInterface doc mod False `thenM` \ iface -> + = loadSrcInterface doc mod False Nothing `thenM` \ iface -> case [ (mod,occ) | (mod,avails) <- mi_exports iface, @@ -987,7 +987,8 @@ unknownNameErr rdr_name , extra ] where extra | rdr_name == forall_tv_RDR - = ptext (sLit "Perhaps you intended to use -XRankNTypes or similar flag") + = vcat [ptext (sLit "Perhaps you intended to use -XRankNTypes or similar flag"), + ptext (sLit "to enable explicit-forall syntax: forall . ?")] | otherwise = empty unknownSubordinateErr :: SDoc -> RdrName -> SDoc