Elaborate for-all message slightly

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

diff --git a/compiler/rename/RnEnv.lhs b/compiler/rename/RnEnv.lhs
index 63db61c..6c3567a 100644 (file)
--- 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 <tvs>. <type>?")]
          | otherwise = empty
 
 unknownSubordinateErr :: SDoc -> RdrName -> SDoc