Skip to content

panic when pattern matching infix constructors with too many arguments

When compiling the following incorrect code

data Foo = (:::)
--data Foo = (:::) ()

foo (_ ::: _) = ()

both 6.8.0.20071025 and 6.9.20071025 panic:

ghc-6.8.0.20071025: panic! (the 'impossible' happened)
  (GHC version 6.8.0.20071025 for i386-unknown-linux):
    tcConArgs main:Test.:::{d r5E}

ghc-6.9.20071025: panic! (the 'impossible' happened)
  (GHC version 6.9.20071025 for i386-unknown-linux):
    tcConArgs main:Test.:::{d r5A}
Trac metadata
Trac field Value
Version 6.8
Type Bug
TypeOfFailure OtherFailure
Priority normal
Resolution Unresolved
Component Compiler
Test case
Differential revisions
BlockedBy
Related
Blocking
CC rturk@science.uva.nl
Operating system Unknown
Architecture Unknown
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information