[Yhc] Some more changes to core

Isaac Dupree isaacdupree at charter.net
Mon Aug 6 15:38:00 EDT 2007


>>  Even better if the number was
>> essentially a line number or similar (clause number?), to make it even
>> more readable.
> 
> It can't be a line number, since you can potentially put two clauses
> on the same line. You could certainly do better with the desugaring,
> but I think a more annoying desugar problem comes with _LAMBDA's which
> crop up quite a bit, and have absolutely nothing tying them back to
> their original location.

How much in Core has an "obvious" translation from Haskell, such that 
different implementations or versions, can compile the same Haskell code 
and get the exact same Core text out?  If only local things like the 
details of how let/lambda-bound variables are named, vary, there is more 
possible separate compilation of separate files (or something like that...).

I think (line,column) is sufficiently unique identification? Maybe 200_4 
would represent line 200, column 4. (or "200.4"? By itself, that looks 
like a fractional number, which is bad)

Isaac


More information about the Yhc mailing list