Bug with implicit params and record update

Simon Peyton-Jones simonpj@microsoft.com
Thu, 12 Jul 2001 09:24:43 -0700


Thanks!  Fixed I think

S

| -----Original Message-----
| From: Marcin 'Qrczak' Kowalczyk [mailto:qrczak@knm.org.pl]=20
| Sent: 11 July 2001 15:02
| To: cvs-ghc@haskell.org
| Subject: Bug with implicit params and record update
|=20
|=20
| {-# OPTIONS -fglasgow-exts #-}
| module Test where
| data R =3D R {field :: Int}
| test:: (?param :: R) =3D> Int
| test =3D field (?param {field =3D 42})
|=20
| ghc-5.01: panic! (the `impossible' happened, GHC version 5.01):
|         tcSplitTyConApp {?param{-roQ-} :: Test.R{-rH-}}
|=20
| --=20
|  __("<  Marcin Kowalczyk * qrczak@knm.org.pl=20
| http://qrczak.ids.net.pl/  \__/
|   ^^                     =20
| SYGNATURA ZAST=CAPCZA
| QRCZAK
|=20
|=20
| _______________________________________________
| Cvs-ghc mailing list
| Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc
|=20
|=20