[Yhc] Fwd: darcs patch: I am skeptical about the handling of
shackell at cs.york.ac.uk
Wed Sep 27 05:20:59 EDT 2006
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 ...
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
More information about the Yhc