#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 <simonpj@…>): 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