<div dir="ltr"><div dir="ltr">On Thu, Feb 14, 2019 at 9:10 AM Matthew Woehlke &lt;<a href="mailto:mwoehlke.floss@gmail.com">mwoehlke.floss@gmail.com</a>&gt; wrote:<br></div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">On 14/02/2019 11.51, JF Bastien wrote:<br>
&gt; On Thu, Feb 14, 2019 at 8:42 AM Matthew Woehlke wrote:<br>
&gt;&gt; ...then let a tool do it.<br>
&gt;&gt;<br>
&gt;&gt; Oh, look! You&#39;ve invented a portable, intermediate representation!<br>
&gt; <br>
&gt; Invention requires novelty. Extracting a header from source isn&#39;t novel.<br>
<br>
I think you missed the point... which was that, on one hand, you claim<br>
we don&#39;t need a PMIR, while on the other hand explaining how to produce<br>
exactly that (while seeming to not notice that&#39;s what you did).<br></blockquote><div><br></div><div>I&#39;ll remind you the context: your complaint that you have to maintain headers. I give you the obvious solution, which EWG discussed quite a few meetings ago. If you want to call headers &quot;PMIR&quot; and claim novelty, go for it. Or are we playing some sort of game now? I&#39;m sorry but I&#39;m not interested. This paper (and subsequent email discussion) was aimed at helping communication, and the tone of your response it&#39;s in that direction.</div><div><br></div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
&gt;&gt; On Wed, Feb 13, 2019 at 7:07 AM Ben Boeckel wrote:<br>
&gt;&gt;&gt;&gt; For projects which don&#39;t build zlib++ (as a strawman) as part of their<br>
&gt;&gt;&gt;&gt; build and instead assume that there is one provided by the system, yes.<br>
&gt;&gt;&gt;<br>
&gt;&gt;&gt; I don’t think that’s true, based on what my platform offers.<br>
&gt;&gt;<br>
&gt;&gt; What is shipped as the module interface? (Is that the same thing that<br>
&gt;&gt; would be shipped in an IS-modules world?)<br>
&gt; <br>
&gt; Our paper covers how clang modules work. We use modules internally (not for<br>
&gt; every project), and we ship headers + binary for some frameworks.<br>
<br>
Right. But we&#39;re also not copying clang-modules exactly. The objective<br>
was to determine how things can work in an IS-modules world.<br>
<br>
&quot;Divide your sources into interface and implementation like today and<br>
ship the interface sources&quot; is a possible answer. I&#39;m not sure if we<br>
have consensus on it, however.<br></blockquote><div><br></div><div>Agreed, it&#39;s one solution and we can solve it differently. Important to agree on is that this solution works, and developers using it doesn&#39;t prevent us from standardizing portable module interfaces some other way in the future. That&#39;s one of EWG&#39;s key decisions w.r.t. modules.</div><div><br></div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
&gt; Developers on our platform can use modules if they so desire. Some of our<br>
&gt; headers are massaged by a variety of tooling.<br>
<br>
Right... so you have a tool-generated PMIR. Which happens to look like<br>
headers.<br></blockquote><div><br></div><div>They work with an without modules, and we have a term of art for this: &quot;header&quot;.</div><div><br></div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
&gt;&gt; Can it be used by every compiler?<br>
&gt; <br>
&gt; Depends what you mean by &quot;it&quot;.<br>
<br>
PMIR&#39;s a.k.a. &quot;whatever packages ship that is portable and suitable for<br>
either being imported directly or generating something which can be<br>
imported, and need not include the implementation sources&quot;.<br>
<br>
&gt; Headers and linking work just fine. I also don&#39;t think this is<br>
&gt; relevant.<br>
<br>
&quot;Can I use modules without shipping in source form?&quot; seems relevant.<br></blockquote><div><br></div><div>That wasn&#39;t your question, but yes you can.</div><div><br></div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
&gt; You should probably talk to Bruno in Kona. I think this would help<br>
&gt; demystify things even more that what we&#39;ve tried with our paper.<br>
<br>
Alas, I won&#39;t be at Kona.<br>
</blockquote></div></div>