<div dir="ltr">Anyone else have any thoughts about this? This seems like it would be a pretty straightforward thing to do, and I would be happy to go through the code and submit a patch. The only question is whether we want to do it in the first place; are there any reasons it can't/shouldn't be done that I'm not aware of?</div>

<div class="gmail_extra"><br><br><div class="gmail_quote">On Wed, May 29, 2013 at 8:09 PM, Steven D'Aprano <span dir="ltr"><<a href="mailto:steve@pearwood.info" target="_blank">steve@pearwood.info</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">On 30/05/13 10:04, Haoyi Li wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
I don't need to keep the source code, I just need a single integer for each<br>
node. I would then be able to reconstruct the source snippet.<br>
</blockquote>
<br></div>
And so you did say. Sorry for the noise.<div class="HOEnZb"><div class="h5"><br>
<br>
-- <br>
Steven<br>
______________________________<u></u>_________________<br>
Python-ideas mailing list<br>
<a href="mailto:Python-ideas@python.org" target="_blank">Python-ideas@python.org</a><br>
<a href="http://mail.python.org/mailman/listinfo/python-ideas" target="_blank">http://mail.python.org/<u></u>mailman/listinfo/python-ideas</a><br>
</div></div></blockquote></div><br></div>