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