diff options
Diffstat (limited to 'compiler/typecheck/TcValidity.hs')
| -rw-r--r-- | compiler/typecheck/TcValidity.hs | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/compiler/typecheck/TcValidity.hs b/compiler/typecheck/TcValidity.hs index 307ec6d0c5..7e7712cd9c 100644 --- a/compiler/typecheck/TcValidity.hs +++ b/compiler/typecheck/TcValidity.hs @@ -53,7 +53,6 @@ import Name import VarEnv import VarSet import Var ( VarBndr(..), mkTyVar ) -import Id ( idType, idName ) import FV import ErrUtils import DynFlags @@ -1270,17 +1269,10 @@ checkSimplifiableClassConstraint env dflags ctxt cls tys simplifiable_constraint_warn what = vcat [ hang (text "The constraint" <+> quotes (ppr (tidyType env pred)) <+> text "matches") - 2 (ppr_what what) + 2 (ppr what) , hang (text "This makes type inference for inner bindings fragile;") 2 (text "either use MonoLocalBinds, or simplify it using the instance") ] - ppr_what BuiltinInstance = text "a built-in instance" - ppr_what LocalInstance = text "a locally-quantified instance" - ppr_what (TopLevInstance { iw_dfun_id = dfun }) - = hang (text "instance" <+> pprSigmaType (idType dfun)) - 2 (text "--" <+> pprDefinedAt (idName dfun)) - - {- Note [Simplifiable given constraints] ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ A type signature like |