[ ghc-Bugs-646201 ] ghc-5.04: panic! ... tySplitTyConApp ...

Bugs item #646201, was opened at 2002-11-30 21:11
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=108032&aid=646201&group_id=8032

Category: Compiler
Group: 5.04.1
>Status: Closed
>Resolution: Fixed
Priority: 5
Submitted By: Markus Lauer (mlauer)
Assigned to: Nobody/Anonymous (nobody)
Summary: ghc-5.04: panic! ... tySplitTyConApp ...

Initial Comment:
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 ->
"foo"++y 

main = print sample


----------------------------------------------------------------------

>Comment By: Simon Peyton Jones (simonpj)
Date: 2002-12-02 09:08

Message:
Logged In: YES 
user_id=50165

This bug is fixed in 5.04.1

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=108032&aid=646201&group_id=8032