I allege that I have fixed this.
Jeff: you should be unblocked now.
Simon
| -----Original Message-----
| From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED]]
| Sent: 24 June 2000 13:05
| To: [EMAIL PROTECTED]
| Subject: Bug with crazy classes
|
|
| --------------------------------------------------------------
| ----------
| module Test where
|
| class Lookup c k a where
| lookupAll :: Sequence seq a => c -> k -> seq a
|
| class Lookup (s a) Int a => Sequence s a where
| foo :: s a
| --------------------------------------------------------------
| ----------
|
| panic! (the `impossible' happened):
| AClass <THIS>.Test.Sequence{-r8,x-}
|
| --
| __("< Marcin Kowalczyk * [EMAIL PROTECTED] http://qrczak.ids.net.pl/
| \__/ GCS/M d- s+:-- a23 C+++$ UL++>++++$ P+++ L++>++++$ E-
| ^^ W++ N+++ o? K? w(---) O? M- V? PS-- PE++ Y? PGP+ t
| QRCZAK 5? X- R tv-- b+>++ DI D- G+ e>++++ h! r--%>++ y-
|
|
