#7730: :info and polykinds --------------------------------------------+------------------------------ Reporter: monoidal | Owner: archblob Type: bug | Status: new Priority: normal | Milestone: 7.8.3 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 archblob): I have implemented what we discussed ,{{{IfaceTyConParent}}} , the new constructor {{{IfaceDFunTy}}} to {{{IfaceType}}} and printing of extra information when using {{{-dppr-debug}}}. I have submitted a patch for review and also so that we can have something to discuss on. The patch has no tests or new comments yet, it is just work in progress. Every thing works as expected except: 1. I don't really know how to suppress kinds on {{{IfaceTyConApp}}} , when printing {{{TyConApp}}} from {{{TyThing}}} the {{{TyCon}}} is passed along but I don't know what to do in this case. Ex. Something like {{{(~) a a1}}} would actually print {{{(~) * a a1}}} 2. Although I thought I could solve this, strictness annotations are printed as decided not as typed by the user. These are the problems I'm stuck on right now, I just need to clear my head and I'll probably come with solutions, but I can always use some guidance and feedback. Andrei -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/7730#comment:24 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler