[GHC] #7730: :info and polykinds

[GHC]

#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