#5912: exporting while having defined a non-nullary promoted type synonym causes
panic
--------------------------------+-------------------------------------------
Reporter: guest | Owner:
Type: bug | Status: new
Priority: normal | Component: Compiler
Version: 7.4.1 | Keywords: promoted synonym
Os: Linux | Architecture: x86_64 (amd64)
Failure: Compile-time crash | Testcase: http://hpaste.org/64692
Blockedby: | Blocking:
Related: |
--------------------------------+-------------------------------------------
Comment(by simonpj@…):
commit 48cab6d497b3e1dafb3ddbfadc64417ca655051f
{{{
Author: Simon Peyton Jones <simo...@microsoft.com>
Date: Sun Mar 4 09:05:34 2012 +0000
Make type trimming more conservative with -XDataKinds (fixes Trac
#5912)
See Note [When we can't trim types] in TidyPgm. The real solution
is to do a full dependency analysis, but that seems rather overkill.
compiler/main/TidyPgm.lhs | 66
++++++++++++++++++++++++++++++++++-----------
1 files changed, 50 insertions(+), 16 deletions(-)
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5912#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
