Existential quantification is broken

[Simon Peyton-Jones]

Indeed.  We can't get generic operations for data types with
existentials in them.  Easily fixed; I've committed the fix to the branch

Thanks!

Simon

| -----Original Message-----
| From: qrczak@knm.org.pl [mailto:qrczak@knm.org.pl]
| Sent: 07 October 2000 21:34
| To: cvs-ghc@haskell.org
| Subject: Existential quantification is broken
| 
| 
| module M4 where
| data P = forall q. P q (q->[q])
| 
| panic! (the `impossible' happened):
|         applyTypeToArgs <THIS>.M4.zdwP{-rlO,x-} tpl2{-B2-} tpl3{-B3-}
| 
| This is ghc from Oct 4.
| 
| -- 
|  __("<  Marcin Kowalczyk * qrczak@knm.org.pl http://qrczak.ids.net.pl/
|  \__/
|   ^^                      SYGNATURA ZASTĘPCZA
| QRCZAK
| 
| 
| _______________________________________________
| Cvs-ghc mailing list
| Cvs-ghc@haskell.org
| http://www.haskell.org/mailman/listinfo/cvs-ghc
|