Oh absolutely, it's thoroughly broken *except* in the case that you do
typeRep :: ...
The problem is that nhc's type system throws away all the types of the
expressions after it's finished. It's no doubt possible to get to the
type system to give the required information, unfortunately the type
system is such a huge mess that I see no obvious way to do it ...
Cheers :-)
Tom
On Tue, 2006-09-26 at 15:32 +0100, Neil Mitchell wrote:
> ---------- Forwarded message ----------
> From: Samuel Bronson <[EMAIL PROTECTED]>
> Date: Sep 26, 2006 3:02 PM
> Subject: darcs patch: I am skeptical about the handling of typeRep here...
> To: [EMAIL PROTECTED]
>
>
> Tue Sep 26 10:00:14 EDT 2006 Samuel Bronson <[EMAIL PROTECTED]>
> * I am skeptical about the handling of typeRep here...
> _______________________________________________
> Yhc mailing list
> [email protected]
> http://www.haskell.org/mailman/listinfo/yhc
_______________________________________________
Yhc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/yhc
