#6152: Type synonym for Type family + DataKinds won't recompile due to internal error -------------------------------------------------+-------------------------- Reporter: konn | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.4.1 Resolution: fixed | Keywords: Os: MacOS X | Architecture: x86_64 (amd64) Failure: GHC rejects valid program | Difficulty: Unknown Testcase: indexed_types/should_compile/T6152 | Blockedby: Blocking: | Related: -------------------------------------------------+-------------------------- Changes (by simonpj):
* status: new => closed * difficulty: => Unknown * resolution: => fixed * testcase: => indexed_types/should_compile/T6152 Comment: Thanks. Happily, already fixed in HEAD. I added a regression test. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/6152#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs