#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
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
