#7730: :info and polykinds --------------------------------------------+------------------------------ Reporter: monoidal | Owner: archblob Type: bug | Status: new Priority: normal | Milestone: 7.8.1 Component: Compiler (Type checker) | Version: 7.6.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: #8776 --------------------------------------------+------------------------------ Comment (by simonpj): Replying to [comment:13 archblob]:
Right now I'm exporting ``` pprIfaceDecl ``` from ``` IfaceSyn ``` and I've modified it to look like this ``` pprIfaceDecl :: Maybe ShowSub -> IfaceDecl -> SDoc ``` this allows us to decide how we print things, if the first argument is ``` Nothing ``` we print ``` IfaceDecl ``` the old way.
That sounds roughly right, but I'm not sure what you mean by "the old way". Really `pprIfaceDecl` should simply behave like `ppr_ty_thing` does today. Re comment 14, the point is to combine the pretty printing not to complicate the duplicate code! So let's not do that. Simon -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/7730#comment:15 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler