[GHC] #5454: reify seems to needlessly remove kind ascriptions from type synonym RHSs

[GHC]

#5454: reify seems to needlessly remove kind ascriptions from type synonym RHSs
-------------------------------+--------------------------------------------
  Reporter:  nicolas.frisby    |          Owner:                  
      Type:  feature request   |         Status:  closed          
  Priority:  normal            |      Milestone:                  
 Component:  Template Haskell  |        Version:  7.2.1           
Resolution:  wontfix           |       Keywords:                  
  Testcase:                    |      Blockedby:                  
Difficulty:                    |             Os:  Unknown/Multiple
  Blocking:                    |   Architecture:  Unknown/Multiple
   Failure:  None/Unknown      |  
-------------------------------+--------------------------------------------
Changes (by simonpj):

  * status:  new => closed
  * resolution:  => wontfix


Comment:

 I'm afraid it's deliberate.  'reify' tells what is in the type
 environment.  The kind ascription is part of the ''source'' program, but
 it is only used to guide the final kind GHC assigns to the type.  The kind
 signature doesn't form part of the final type, and it would be extremely
 difficult to make it so -- they are two completely different data
 structures. (Look at `HsType.lhs` and `TypeRep.lhs` respectively.)

 Anyway, #5412 is fixed!

 Simon

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5454#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler