diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2016-04-18 14:54:03 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2016-04-19 08:38:47 +0100 |
| commit | d59939a4efeaca297cd2ad70a86ad589d1872003 (patch) | |
| tree | 538fee46202917e415f506ef591517385eedbf7b /compiler/typecheck/FunDeps.hs | |
| parent | a3c37c3f56759882c6ac8784b8b9ef55c8f8923c (diff) | |
| download | haskell-d59939a4efeaca297cd2ad70a86ad589d1872003.tar.gz | |
Define TyCoRep.ppSuggestExplicitKinds, and use it
This just defines a useful helper function that was being
duplicated in several places
Diffstat (limited to 'compiler/typecheck/FunDeps.hs')
| -rw-r--r-- | compiler/typecheck/FunDeps.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/typecheck/FunDeps.hs b/compiler/typecheck/FunDeps.hs index 5a9b57ace9..4aa7132ba3 100644 --- a/compiler/typecheck/FunDeps.hs +++ b/compiler/typecheck/FunDeps.hs @@ -404,7 +404,7 @@ checkInstCoverage be_liberal clas theta inst_taus , text "Un-determined variable" <> plural undet_list <> colon <+> pprWithCommas ppr undet_list , ppWhen (isEmptyVarSet $ pSnd undetermined_tvs) $ - text "(Use -fprint-explicit-kinds to see the kind variables in the types)" + ppSuggestExplicitKinds , ppWhen (not be_liberal && and (isEmptyVarSet <$> liberal_undet_tvs)) $ text "Using UndecidableInstances might help" ] |