#7070: DataKinds and package boundaries: "the 'impossible' happened"
---------------------------------+------------------------------------------
Reporter: aristidb | Owner:
Type: bug | Status: closed
Priority: normal | Milestone:
Component: Compiler | Version: 7.4.2
Resolution: fixed | Keywords:
Os: Linux | Architecture: x86_64 (amd64)
Failure: Compile-time crash | Difficulty: Unknown
Testcase: | Blockedby:
Blocking: | Related:
---------------------------------+------------------------------------------
Comment(by aristidb):
OK, I guess I need to implement the "ugly" solution to my problem that
doesn't require DataKinds. For an "unadvertised" feature, word spread
pretty quickly, perhaps you should have include a few big red warning
texts to tell people that it's considered highly experimental in 7.4.
I should note by the way that no problem was caused as long as the
DataKinds code was loaded as source modules, not as package modules. If
that helps pin down a cause for a possible regression text.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7070#comment:7>
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
