[Yhc] Fwd: darcs patch: I am skeptical about the handling of typeRep here...

[Tom Shackell]

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 <naesten at gmail.com>
> Date: Sep 26, 2006 3:02 PM
> Subject: darcs patch: I am skeptical about the handling of typeRep here...
> To: ndmitchell at gmail.com
> 
> 
> Tue Sep 26 10:00:14 EDT 2006  Samuel Bronson <naesten at gmail.com>
>   * I am skeptical about the handling of typeRep here...
> _______________________________________________
> Yhc mailing list
> Yhc at haskell.org
> http://www.haskell.org/mailman/listinfo/yhc