Oh bother! It works perfectly well in the HEAD, but it looks as
if something crept into 4.08 that should not have. Major sigh.
We'll look into this.
Simon
| -----Original Message-----
| From: Michael Weber [mailto:[EMAIL PROTECTED]]
| Sent: 17 July 2000 13:28
| To: [EMAIL PROTECTED]
| Subject: Re: What is `AClass'?
|
|
| On Mon, Jul 17, 2000 at 03:40:29 +0200, Michael Weber wrote:
|
| > Marcin reported a fault with AClass before, it looked like this:
| >
| --------------------------------------------------------------
| ----------
| > 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
| >
| --------------------------------------------------------------
| ----------
|
| I tested the above piece with my 4.08.0 package and it *really* emits
| just `AClass' (as Martin reported before).
|
| IMHO, this comes from ghc/compiler/typecheck/TcTyClsDecls.lhs:203
|
| [...]
| getTyBinding1 (ClassDecl _ name tyvars _ _ _ _ _ _ _ _ _)
| = mapNF_Tc kcHsTyVar tyvars `thenNF_Tc` \ arg_kinds ->
| returnNF_Tc (name, (foldr mkArrowKind boxedTypeKind arg_kinds,
| Just (length tyvars),
| AClass (error "AClass")))
| [...]
|
| In the HEAD, it's a bit more descriptive:
|
| AClass (pprPanic "AClass" (ppr name)) (length tyvars)))
|
|
| Cheers,
| Michael
| --
| () ASCII ribbon campaign | Chair for Computer Science II |
| GPG: F65C68CD
| /\ against HTML mail | RWTH Aachen, Germany |
| PGP: 1D0DD0B9
| When someone says "I want a programming language in which
| I need only
| say what I wish done," give him a lollipop.
|
