<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    <p><br>
    </p>
    <div class="moz-cite-prefix">On 30/06/2020 00:22, David Rector
      wrote:<br>
    </div>
    <blockquote type="cite"
      cite="mid:99ADF8EF-E35F-4708-B0EA-7F31888E8DC1@gmail.com">
      <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
      <div style="margin: 0px; font-stretch: normal; font-size: 10px;
        line-height: normal; font-family: Courier;" class="">Bottom
        line: you’ve raised a great but subtle point, doggedly pursued
        it, but now, let’s just get rid of the half measures — let’s go
        all out with a solution that is easy and lifts all boats.</div>
    </blockquote>
    <p><br>
    </p>
    <p>I don't agree that it's a half-measure if we don't go with your
      proposal. I deliberately didn't pursue your proposal long ago. <br>
    </p>
    <p>I don't think you pointed out anything in your proposal regarding
      the clang-query feature.<br>
    </p>
    <p>I agree that typeloc matching can also be improved. I've focussed
      on Exprs so far.</p>
    <p>I think it would be great to conclude this thread with either <br>
    </p>
    <p>1) at least a reversal of the default (perhaps so that you can
      pursue your design) or <br>
    </p>
    <p>2) intention to proceed in the way things are already going with
      my design.<br>
    </p>
    <p>I don't mind which we do. <br>
    </p>
    <p>I don't want to be left with the blame of having my design
      half-implemented though :). There are bugs that I can not fix,
      partly because this is not concluded. <br>
    </p>
    <p>If I can't move forward, then reversal is the only way (to give
      others the space to validate their designs) and I'd like to do
      that soon, so that this thread is not an open item for me (or
      anyone else) to deal with.<br>
    </p>
    <p>Thanks,</p>
    <p>Stephen.<br>
    </p>
    <p><br>
    </p>
  </body>
</html>