Perverse data type causes panic
The following data type definitions cause GHC to panic:
data T1
data T6 = T6 !T1 Int
ghc-5.02: panic! (the `impossible' happened, GHC
version 5.02): ctrlRetConvAlg Test.T1{-r6-}
I expected T6 to be isomorphic to T1; that is, bottom only.
Trac metadata
Trac field |
Value |
Version |
5.02 |
Type |
Bug |
TypeOfFailure |
OtherFailure |
Priority |
normal |
Resolution |
ResolvedFixed |
Component |
Compiler |
Test case |
|
Differential revisions |
|
BlockedBy |
|
Related |
|
Blocking |
|
CC |
|
Operating system |
|
Architecture |
|