<div dir="ltr">It was already declared in a tooling header, but somehow I missed it, even though I ran make on a Linux build with my changes.  It might be that that was the only issue, but I'm too chicken today to give it another shot.  Maybe tomorrow...</div>
<div class="gmail_extra"><br><br><div class="gmail_quote">On Thu, Oct 24, 2013 at 5:03 PM, Sean Silva <span dir="ltr"><<a href="mailto:silvas@purdue.edu" target="_blank">silvas@purdue.edu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div dir="ltr"><br><div class="gmail_extra"><br><br><div class="gmail_quote"><div class="im">On Thu, Oct 24, 2013 at 11:35 AM, John Thompson <span dir="ltr"><<a href="mailto:john.thompson.jtsoftware@gmail.com" target="_blank">john.thompson.jtsoftware@gmail.com</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;padding-left:1ex;border-left-color:rgb(204,204,204);border-left-width:1px;border-left-style:solid"><br>
  It broke a number of builds, so I'm taking a more local approach with a local mapping.<br></blockquote><div><br></div></div><div>What exactly was the issue with introducing this functionality? I can't imagine that there would be a fundamental issue with doing this (e.g., there might be some issues where the client code needs to be tightened up, but they can just be fixed up at the usage sites).</div>

<div><br></div><div>I really don't think a local mapping is the right approach (unless there's some truly fundamental issue with having this specialization).</div><div><br></div><div>-- Sean Silva</div><div> </div>

<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;padding-left:1ex;border-left-color:rgb(204,204,204);border-left-width:1px;border-left-style:solid">
<br>
<a href="http://llvm-reviews.chandlerc.com/D2006" target="_blank">http://llvm-reviews.chandlerc.com/D2006</a><br>
</blockquote></div><br></div></div>
</blockquote></div><br><br clear="all"><br>-- <br>John Thompson<br><a href="mailto:John.Thompson.JTSoftware@gmail.com">John.Thompson.JTSoftware@gmail.com</a><br>
</div>