Pattern matching with implicit par. bug

[Simon Peyton-Jones]

This is ok in ghc-5.04.2 onwards.  Time to update your GHC

Simon

| -----Original Message-----
| From: Jorge Adriano [mailto:jadrian at mat.uc.pt]
| Sent: 13 February 2003 14:21
| To: glasgow-haskell-bugs at 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 at haskell.org,
| or http://sourceforge.net/projects/ghc/.
| 
| 
| _______________________________________________
| Glasgow-haskell-bugs mailing list
| Glasgow-haskell-bugs at haskell.org
| http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs