Ticket #42 (closed bug: Fixed)

Opened 11 years ago

Last modified 43 years ago

Perverse data type causes panic

Reported by: nobody Owned by: nobody
Priority: normal Milestone:
Component: Compiler Version: 5.02
Keywords: Cc:
Operating System: Architecture:
Type of failure: Difficulty:
Test Case: Blocked By:
Blocking: Related Tickets:

Description 

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.

Change History

Changed 11 years ago by simonmar

  • status changed from assigned to closed 
Logged In: YES 
user_id=48280

Fixed in the HEAD, test is codeGen/should_run/cg051.hs
Note: See TracTickets for help on using tickets.