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 |