Re: [GHC] #7477: reifyInstances can't deal with polykinded type families

6 Nov 2013

      #7477: reifyInstances can't deal with polykinded type families
-------------------------+-------------------------------------------------
        Reporter:        |            Owner:
  goldfire               |           Status:  new
            Type:  bug   |        Milestone:  7.8.1
        Priority:        |          Version:  7.7
  normal                 |         Keywords:  TemplateHaskell TypeFamilies
       Component:        |  PolyKinds
  Compiler               |     Architecture:  Unknown/Multiple
      Resolution:        |       Difficulty:  Unknown
Operating System:        |       Blocked By:
  Unknown/Multiple       |  Related Tickets:
 Type of failure:        |
  None/Unknown           |
       Test Case:        |
        Blocking:        |
-------------------------+-------------------------------------------------

Comment (by Simon Peyton Jones ):

 In [changeset:"8944fd3fc5fa7d435f438c5680c8d177257d27e9/ghc"]:
 {{{
 #!CommitTicketReference repository="ghc"
 revision="8944fd3fc5fa7d435f438c5680c8d177257d27e9"
 Zonk the type in reifyInstances (fixes Trac #7477)

 A simple oversight, but crucial!  tcLHsType was returning
     F k Int
 where k is a unification variable that has been unified with *
 }}}

--
Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/7477#comment:3
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler