#7005: GHC 7.4.2 crashes with a panic when using type families and data kinds
together
--------------------------------+-------------------------------------------
Reporter: Kangyuan | Owner:
Type: bug | Status: new
Priority: normal | Component: Compiler
Version: 7.4.2 | Keywords: panic typefamilies datakinds
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: Compile-time crash | Testcase:
Blockedby: | Blocking:
Related: |
--------------------------------+-------------------------------------------
I have no idea how to isolate this bug, since it seems to span multiple
modules. If I recompile the entire program (by doing a cabal clean
beforehand) the bug disappears. But if I just touch one of the files and
try to recompile, it gives me:
== compiler output ==
{{{
[3 of 4] Compiling Checker ( Checker.hs, dist/build/Hammer
/Hammer-tmp/Checker.o )
ghc: panic! (the 'impossible' happened)
(GHC version 7.4.2 for x86_64-unknown-linux):
tyThingTyCon Data constructor `main:Types.Succ{d r2k}'
Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug
}}}
The code I'm working on is at
[https://github.com/niuk/Hammer/tree/66c3dda3ec829179b859d37c5bad5b6b2009a9f6].
The crash happens in both Linux and Windows, using packages from Haskell
Platform.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7005>
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
