This is ok in ghc-5.04.2 onwards. Time to update your GHC Simon
| -----Original Message----- | From: Jorge Adriano [mailto:[EMAIL PROTECTED]] | Sent: 13 February 2003 14:21 | To: [EMAIL PROTECTED]; 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 [EMAIL PROTECTED], | or http://sourceforge.net/projects/ghc/. | | | _______________________________________________ | Glasgow-haskell-bugs mailing list | [EMAIL PROTECTED] | http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs _______________________________________________ Glasgow-haskell-bugs mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs