Urk. A bad structure has finally failed.
GHC tries to do kind checking and type checking in one pass.
This basically does not work, and the new ambiguity checking
in TcMonoType has finally made the scheme fail. It will be simpler
and more robust to separate them.
But it'll take me a week or two to do so. I hope this isn't a show-stopper
for anyone.
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-
|
|
