diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2018-09-13 12:56:29 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2018-09-13 12:56:29 +0100 |
| commit | 02edb8f2f973a8df26cfb6dfab0ef99a832f711f (patch) | |
| tree | 51fb66bf6f36cd4c93c3d38898655730fb7fe081 | |
| parent | 0d4f394810e13b4643f9361b6d2b3b29cb2d5003 (diff) | |
| download | haskell-02edb8f2f973a8df26cfb6dfab0ef99a832f711f.tar.gz | |
More info for Implication with -dppr-debug
| -rw-r--r-- | compiler/typecheck/TcRnTypes.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/compiler/typecheck/TcRnTypes.hs b/compiler/typecheck/TcRnTypes.hs index 41defc7042..bdcb5b1269 100644 --- a/compiler/typecheck/TcRnTypes.hs +++ b/compiler/typecheck/TcRnTypes.hs @@ -2598,7 +2598,7 @@ instance Outputable Implication where , ic_given = given, ic_no_eqs = no_eqs , ic_wanted = wanted, ic_status = status , ic_binds = binds --- , ic_need_inner = need_in, ic_need_outer = need_out + , ic_need_inner = need_in, ic_need_outer = need_out , ic_info = info }) = hang (text "Implic" <+> lbrace) 2 (sep [ text "TcLevel =" <+> ppr tclvl @@ -2608,8 +2608,8 @@ instance Outputable Implication where , hang (text "Given =") 2 (pprEvVars given) , hang (text "Wanted =") 2 (ppr wanted) , text "Binds =" <+> ppr binds --- , text "Needed inner =" <+> ppr need_in --- , text "Needed outer =" <+> ppr need_out + , whenPprDebug (text "Needed inner =" <+> ppr need_in) + , whenPprDebug (text "Needed outer =" <+> ppr need_out) , pprSkolInfo info ] <+> rbrace) instance Outputable ImplicStatus where |