X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Fmain%2FMkIface.lhs;h=b72b73e49980acc70e13d031c230e1ccbc3e21ff;hb=d0f325ce37d6ee322168e44392f10e0ed52f8294;hp=0f8c65770570dcf98528d109846206c384563c5a;hpb=8b935dd5c2679476b47543c48b5a65ec11b6ba24;p=ghc-hetmet.git

diff --git a/ghc/compiler/main/MkIface.lhs b/ghc/compiler/main/MkIface.lhs
index 0f8c657..b72b73e 100644
--- a/ghc/compiler/main/MkIface.lhs
+++ b/ghc/compiler/main/MkIface.lhs
@@ -315,10 +315,12 @@ ifaceId get_idinfo needed_ids is_rec id rhs
     ------------  Specialisations --------------
     spec_pretty = hsep (map pp_spec (specEnvToList (getIdSpecialisation id)))
     pp_spec (tyvars, tys, rhs) = hsep [ptext SLIT("_P_"),
-				       brackets (interpp'SP tyvars),
+				       if null tyvars then ptext SLIT("[ ]")
+						      else brackets (interpp'SP tyvars),
+					-- The lexer interprets "[]" as a CONID.  Sigh.
 				       hsep (map pprParendType tys),
 				       ptext SLIT("="),
-				       ppr rhs
+				       pprIfaceUnfolding rhs
 				 ]					
     
     ------------  Extra free Ids  --------------