<div class="gmail_quote">2009/11/27 Daniel Schüssler <span dir="ltr">&lt;<a href="mailto:anotheraddress@gmx.de" target="_blank">anotheraddress@gmx.de</a>&gt;</span><br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">


<br>
I think punning is a worthwhile goal on its own, since I find myself wasting<br>
quite some thought on whether to prefix a record field name somehow, and if I<br>
do, what I should use as a short but sufficiently unique prefix.<br></blockquote><div><br>I agree, especially since it looks like the record situation is not about to be solved; for example by looking at the discussion generated by Simon Peyton-Jones&#39;s TDNR proposal (which I like, but I don&#39;t feel like my opinion should count on that matter )<br>


<br>David.<br></div></div>