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: Open Resolution: None 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 ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=108032&aid=646201&group_id=8032 _______________________________________________ Glasgow-haskell-bugs mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs