Subject: Re: recursive group context bug?
From: Carsten Schultz <[email-masked]>
To: Ashley Yakeley <[email-masked]>
Date: Mon, 17 Jan 2005 12:55:09 +0100

Hi!

On Sun, Jan 16, 2005 at 06:17:24PM -0800, Ashley Yakeley wrote:
> I suspect someone's come across this before, so maybe there's an 
> explanation for it.
> 
> This does not compile:
> 
> module Bug where
> {
>     p :: IO ();
>     p = q >>= id;
> 
>     q :: (Monad m) => m (IO ());
>     q = return p;
> }

A simpler example might be:

    x :: Int
    x = y

    y :: Num a => a
    y = fromIntegral x

I have not studied the report to see if this should be legal.

Take care,

Carsten

-- 
Carsten Schultz (2:38, 33:47), FB Mathematik, FU Berlin
http://carsten.codimi.de/
PGP/GPG key on the pgp.net key servers, 
fingerprint on my home page.