21 Jun
2010
21 Jun
'10
11:32 p.m.
On 22.06.10 05:01, Tim Chevalier wrote:
It is hard to trace a link between source code appearing as values in GHC functions and what "-ddump-simpl" outputs. And I guess that "-ddump-simpl"
Indeed, I think that including enough information in an External Core file, or internal Core module, to map any value back to the original Haskell expression would be a research project in and of itself. Part of that project would involve specifying exactly what "the original Haskell expression" means -- for example, in the presence of aggressive inlining...
That is too big. For now I simply cut a small problematic part of a program. There are only values I want to see in it. -- Best regards, Roman Beslik.