There it goes, J.A.
type CTPar = ([Double],Int,Int) us :: (?ctPar :: CTPar) => [Double] us = let (us',_,_) = ?ctPar in us' ghc-5.04: panic! (the `impossible' happened, GHC version 5.04): tcSplitTyConApp {?ctPar{-r2kd-} :: ([GHCziFloat.Double{-3u-}], GHCziBase.Int{-3J-}, GHCziBase.Int{-3J-})} Please report it as a compiler bug to [EMAIL PROTECTED], or http://sourceforge.net/projects/ghc/. _______________________________________________ Glasgow-haskell-bugs mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs