diff options
| author | chessai <chessai1996@gmail.com> | 2018-12-19 19:16:49 +0100 |
|---|---|---|
| committer | Krzysztof Gogolewski <krz.gogolewski@gmail.com> | 2018-12-19 20:57:06 +0100 |
| commit | de50f8fd432f88d26a08b07c7bf08c5bff25472e (patch) | |
| tree | ab7df5885728e2336795fecf90db671dc90c4a9e /compiler | |
| parent | 68d6a71646de52096ebc196320332a2d98daeb47 (diff) | |
| download | haskell-de50f8fd432f88d26a08b07c7bf08c5bff25472e.tar.gz | |
don't suggest Rank2Types in error messages (Fixed #16000)
Summary: Rank2Types is deprecated. Don't suggest to users to use it.
Reviewers: bgamari, RyanGlScott, simonpj
Reviewed By: RyanGlScott, simonpj
Subscribers: RyanGlScott, rwbarton, carter
GHC Trac Issues: #16000
Differential Revision: https://phabricator.haskell.org/D5447
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/typecheck/TcValidity.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/typecheck/TcValidity.hs b/compiler/typecheck/TcValidity.hs index ca5db45608..867e202218 100644 --- a/compiler/typecheck/TcValidity.hs +++ b/compiler/typecheck/TcValidity.hs @@ -427,7 +427,7 @@ data Rank = ArbitraryRank -- Any rank ok rankZeroMonoType, tyConArgMonoType, synArgMonoType, constraintMonoType :: Rank -rankZeroMonoType = MonoType (text "Perhaps you intended to use RankNTypes or Rank2Types") +rankZeroMonoType = MonoType (text "Perhaps you intended to use RankNTypes") tyConArgMonoType = MonoType (text "GHC doesn't yet support impredicative polymorphism") synArgMonoType = MonoType (text "Perhaps you intended to use LiberalTypeSynonyms") constraintMonoType = MonoType (vcat [ text "A constraint must be a monotype" @@ -618,7 +618,7 @@ forAllTyErr env rank ty herald | null tvs = text "Illegal qualified type:" | otherwise = text "Illegal polymorphic type:" suggestion = case rank of - LimitedRank {} -> text "Perhaps you intended to use RankNTypes or Rank2Types" + LimitedRank {} -> text "Perhaps you intended to use RankNTypes" MonoType d -> d _ -> Outputable.empty -- Polytype is always illegal |