More info for Implication with -dppr-debug
authorSimon Peyton Jones <simonpj@microsoft.com>
Thu, 13 Sep 2018 11:56:29 +0000 (12:56 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Thu, 13 Sep 2018 11:56:29 +0000 (12:56 +0100)
compiler/typecheck/TcRnTypes.hs

index 41defc7..bdcb5b1 100644 (file)
@@ -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