[commit: ghc] wip/forall-keyword: Remove 'perhapsForallMsg' (2fce98a)

git at git.haskell.org git at git.haskell.org
Thu Feb 14 09:13:05 UTC 2019


Repository : ssh://git@git.haskell.org/ghc

On branch  : wip/forall-keyword
Link       : http://ghc.haskell.org/trac/ghc/changeset/2fce98a06ac84f1cf9e14b51ae9d160531623769/ghc

>---------------------------------------------------------------

commit 2fce98a06ac84f1cf9e14b51ae9d160531623769
Author: Vladislav Zavialov <vlad.z.4096 at gmail.com>
Date:   Thu Feb 14 01:08:42 2019 +0300

    Remove 'perhapsForallMsg'


>---------------------------------------------------------------

2fce98a06ac84f1cf9e14b51ae9d160531623769
 compiler/rename/RnTypes.hs   | 1 -
 compiler/rename/RnUnbound.hs | 6 ------
 2 files changed, 7 deletions(-)

diff --git a/compiler/rename/RnTypes.hs b/compiler/rename/RnTypes.hs
index d36bee5..8e390f0 100644
--- a/compiler/rename/RnTypes.hs
+++ b/compiler/rename/RnTypes.hs
@@ -44,7 +44,6 @@ import DynFlags
 import HsSyn
 import RnHsDoc          ( rnLHsDoc, rnMbLHsDoc )
 import RnEnv
-import RnUnbound        ( perhapsForallMsg )
 import RnUtils          ( HsDocContext(..), withHsDocContext, mapFvRn
                         , pprHsDocContext, bindLocalNamesFV, typeAppErr
                         , newLocalBndrRn, checkDupRdrNames, checkShadowedRdrNames )
diff --git a/compiler/rename/RnUnbound.hs b/compiler/rename/RnUnbound.hs
index a0fe729..2de2fc1 100644
--- a/compiler/rename/RnUnbound.hs
+++ b/compiler/rename/RnUnbound.hs
@@ -12,7 +12,6 @@ module RnUnbound ( mkUnboundName
                  , WhereLooking(..)
                  , unboundName
                  , unboundNameX
-                 , perhapsForallMsg
                  , notInScopeErr ) where
 
 import GhcPrelude
@@ -349,11 +348,6 @@ extensionSuggestions rdrName
       = text "Perhaps you meant to use RecursiveDo"
   | otherwise = Outputable.empty
 
-perhapsForallMsg :: SDoc
-perhapsForallMsg
-  = vcat [ text "Perhaps you intended to use ExplicitForAll or similar flag"
-         , text "to enable explicit-forall syntax: forall <tvs>. <type>"]
-
 qualsInScope :: GlobalRdrElt -> [(ModuleName, HowInScope)]
 -- Ones for which the qualified version is in scope
 qualsInScope GRE { gre_name = n, gre_lcl = lcl, gre_imp = is }



More information about the ghc-commits mailing list