Opened 15 years ago

Closed 15 years ago

Last modified 48 years ago

#100 closed bug (Fixed)

ghc-5.04: panic! ... tySplitTyConApp ...

Reported by: mlauer Owned by: nobody
Priority: normal Milestone:
Component: Compiler Version: 5.04.1
Keywords: Cc:
Operating System: Architecture:
Type of failure: None/Unknown Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:


compiling the below program with
   ghc -fglasgow-exts Main.hs

gives the following error:

ghc-5.04: panic! (the `impossible' happened, GHC
version 5.04):
        tcSplitTyConApp forall x{-r6S-} :: *.
Main.L{-rr-} x{-r6S-}

-- Main.hs

module Main where

newtype FA c = FA (forall x . c x)
newtype L x = L [x]

my_nil = FA (L []) :: FA L

sample :: String
sample = case my_nil of FA (L x) -> "foo"++x 

-- -- but this works fine
-- sample = case my_nil of FA x -> case x of L y ->

main = print sample

Change History (1)

comment:1 Changed 15 years ago by simonpj

Status: assignedclosed
Logged In: YES 

This bug is fixed in 5.04.1
Note: See TracTickets for help on using tickets.