This is ok in ghc-5.04.2 onwards. Time to update your GHC Simon | -----Original Message----- | From: Jorge Adriano [mailto:jadrian@mat.uc.pt] | Sent: 13 February 2003 14:21 | To: glasgow-haskell-bugs@haskell.org; GHC Users Mailing List | Subject: Pattern matching with implicit par. bug | | 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 glasgow-haskell-bugs@haskell.org, | or http://sourceforge.net/projects/ghc/. | | | _______________________________________________ | Glasgow-haskell-bugs mailing list | Glasgow-haskell-bugs@haskell.org | http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs