Improve pretty-printing of IfaceCoercions
authorSimon Peyton Jones <simonpj@microsoft.com>
Fri, 20 Jan 2017 23:37:21 +0000 (23:37 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Mon, 23 Jan 2017 08:25:09 +0000 (08:25 +0000)
For some reason, unless you have -fprint-explicit-coercions, when
printing an explicit coercion we were then going to special trouble to
suppress the unique of a hole (which only happens during debugging
anyway).  This is bizarre.

So I deleted three lines of code -- hooray.

compiler/iface/IfaceType.hs

index 47f284e..0dded21 100644 (file)
@@ -1135,12 +1135,8 @@ ppr_co ctxt_prec (IfaceUnivCo IfaceUnsafeCoerceProv r ty1 ty2)
     text "UnsafeCo" <+> ppr r <+>
     pprParendIfaceType ty1 <+> pprParendIfaceType ty2
 
-ppr_co ctxt_prec (IfaceUnivCo (IfaceHoleProv u) _ _ _)
- = maybeParen ctxt_prec TyConPrec $
-   sdocWithDynFlags $ \dflags ->
-     if gopt Opt_PrintExplicitCoercions dflags
-       then braces $ ppr u
-       else braces $ text "a hole"
+ppr_co _ctxt_prec (IfaceUnivCo (IfaceHoleProv u) _ _ _)
+ = braces $ ppr u
 
 ppr_co _         (IfaceUnivCo _ _ ty1 ty2)
   = angleBrackets ( ppr ty1 <> comma <+> ppr ty2 )