[Yhc] mapping lambda names to code

[Neil Mitchell]

Hi Kartik,

Tom was going to give a go at implementing this a month ago, I'm not
sure if he got anywhere - I'll ask him. This would be useful for
various other Yhc.Core tools as well.

Thanks

Neil


On 6/22/07, Kartik Vaddadi <itskartik at iitb.ac.in> wrote:
> Hello,
> When I compile a program that contains a lambda, the compiler assigns it
> a name like LAMBDA245. Is there any simple way to retrieve the body of
> the lambda, in an automated way, perhaps by modifying the compiler?
>
> I'm building a tracer/debugger that shows the structure of the heap,
> using a redex trail-like data structure, and it describes indirections
> in the heap well, except when lambdas are involved. In the latter case,
> the compiler-generated names obviously mean nothing to the user and
> don't help him identify which of the lambdas in the code was evaluated.
> Is there any easy way to map the name of the lambda to its body (as
> Haskell source, not bytecode) without doing a source-to-source
> transformation? Thanks.
>
> -Kartik
> --
> Blogs: http://kartik-log.blogspot.com, http://randomkart.blogspot.com
>
>
> _______________________________________________
> Yhc mailing list
> Yhc at haskell.org
> http://www.haskell.org/mailman/listinfo/yhc
>
>
>