#7005 closed bug (fixed)

GHC 7.4.2 crashes with a panic when using type families and data kinds together

Reported by: Kangyuan Owned by:
Priority: normal Milestone:
Component: Compiler Version: 7.4.2
Keywords: panic typefamilies datakinds Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: Compile-time crash Difficulty: Unknown
Test Case: Blocked By:
Blocking: Related Tickets:

Description

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.

Change History (2)

comment:1 Changed 22 months ago by simonpj

  • Difficulty set to Unknown
  • Status changed from new to infoneeded

Hard to be certain, but this looks #6025 and #6011, both of which are now fixed. Would you be able to try with HEAD or a development snapshot?

Simon

comment:2 Changed 18 months ago by igloo

  • Resolution set to fixed
  • Status changed from infoneeded to closed

No precise reproduction instructions, probably fixed, and no response from submitter, so closing.

Note: See TracTickets for help on using tickets.