Opened 12 years ago

Closed 12 years ago

Last modified 4 years ago

#685 closed bug (fixed)

Panic splitTyConApp a{tv a1nD} when dealing with GADTs in optimizing mode

Reported by: alcremi@… Owned by:
Priority: normal Milestone:
Component: Compiler Version: 6.4.1
Keywords: Cc:
Operating System: Linux Architecture: x86
Type of failure: None/Unknown Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:


I get the following panic (with *two* modules, because it works when the 2 are merged) in optimising mode (-O):

/usr/bin/ghc -c -Wall -O -i. -fglasgow-exts Operation.hs -o Operation.o /usr/bin/ghc -c -Wall -O -i. -fglasgow-exts Definition.hs -o Definition.o ghc-6.4.1: panic! (the `impossible' happened, GHC version 6.4.1):

splitTyConApp a{tv a1nD}

It is probably due to the GADTs being used in these modules.

I have a stripped-down example, packaged in a tar.bz2, but I don't know how to attach it to this ticket

Attachments (1)

bug.tar.bz2 (2.2 KB) - added by alcremi@… 12 years ago.
example of the panic (type 'make')

Download all attachments as: .zip

Change History (3)

Changed 12 years ago by alcremi@…

Attachment: bug.tar.bz2 added

example of the panic (type 'make')

comment:1 Changed 12 years ago by simonpj

Resolution: fixed
Status: newclosed

Good bug. Fixed, thank you.


comment:2 Changed 4 years ago by simonpj <simonpj@…>

Note: See TracTickets for help on using tickets.