#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