<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><br class=""><div><blockquote type="cite" class=""><div class="">On Feb 8, 2016, at 2:05 PM, Kevin Ballard <<a href="mailto:kevin@sb.org" class="">kevin@sb.org</a>> wrote:</div><br class="Apple-interchange-newline"><div class="">
<title class=""></title>
<div class=""><div class="">Where did "make it long" come from? I'm not sure what the benefit is in using a long identifier.<br class=""></div>
<div class=""> </div>
<div class="">-Kevin Ballard</div>
<div class=""> </div>
<div class="">On Mon, Feb 8, 2016, at 10:09 AM, Erica Sadun wrote:<br class=""></div>
<blockquote type="cite" class=""><div class=""><p style="margin-top:0px;margin-bottom:16px;color:rgb(51, 51, 51);font-family:'Helvetica Neue', Helvetica, 'Segoe UI', Arial, freesans, sans-serif, 'Apple Color Emoji', 'Segoe UI Emoji', 'Segoe UI Symbol';font-size:16px;background-color:rgb(255, 255, 255);" class="">Several alternatives were put forward, of which <code style="font-family:Consolas, 'Liberation Mono', Menlo, Courier, monospace;font-size:14px;padding-top:0.2em;padding-right:0px;padding-bottom:0.2em;padding-left:0px;margin-top:0px;margin-right:0px;margin-bottom:0px;margin-left:0px;background-color:rgba(0, 0, 0, 0.0392157);border-top-left-radius:3px;border-top-right-radius:3px;border-bottom-right-radius:3px;border-bottom-left-radius:3px;" class="">#setline</code> was the most popular. This failed the "make it specific and long" (and presumably avoid future naming conflicts) request. <br class=""></p></div>
</blockquote><div class=""> </div>
</div>
</div></blockquote></div><br class=""><div class="">From this:</div><div class=""><br class=""></div><div class=""><blockquote type="cite" class=""><span style="font-family: Palatino-Roman;" class="">Using something like this as the grammar structure makes sense to me, but I’d suggest something more specific (and longer) for this, perhaps:</span><br style="font-family: Palatino-Roman;" class=""><br style="font-family: Palatino-Roman;" class=""><span style="font-family: Palatino-Roman;" class="">#setsyntacticsourcelocation</span><br style="font-family: Palatino-Roman;" class=""><br style="font-family: Palatino-Roman;" class=""><span style="font-family: Palatino-Roman;" class="">or something. :-)</span><br style="font-family: Palatino-Roman;" class=""><br style="font-family: Palatino-Roman;" class=""><span style="font-family: Palatino-Roman;" class="">-Chris</span></blockquote></div></body></html>