#7006: Panic when promoted GADT arguments cross module boundaries
---------------------------------+------------------------------------------
Reporter: anders_ | Owner:
Type: bug | Status: closed
Priority: normal | Milestone:
Component: Compiler | Version: 7.4.1
Resolution: fixed | Keywords: DataKinds
Os: MacOS X | Architecture: x86_64 (amd64)
Failure: Compile-time crash | Difficulty: Unknown
Testcase: | Blockedby:
Blocking: | Related:
---------------------------------+------------------------------------------
Changes (by simonpj):
* status: new => closed
* difficulty: => Unknown
* resolution: => fixed
Comment:
Thanks. I think this is the same as #6011 and #6025, but your example is
fine in HEAD. We won't fix it in 7.4, because kind polymorphism is not an
advertised feature of 7.4.
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7006#comment:1>
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
