<div dir="ltr"><div dir="ltr">On Tue, Nov 3, 2020 at 4:05 PM Andrei Alexandrescu via Digitalmars-d <<a href="mailto:digitalmars-d@puremagic.com">digitalmars-d@puremagic.com</a>> 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 11/2/20 9:30 PM, Manu wrote:<br>
> It's very hard to express a grammar change in a DIP like this, since D <br>
> doesn't have a grammar as such; it's just an implementation, and <br>
> reverse-engineering a grammar from the implementation is imprecise. <br>
> Perhaps my implementation implies additional grammar changes that I <br>
> didn't notice.<br>
<br>
I thought the grammar is fairly complete, no? It's the semantics that's <br>
poorly defined.<br></blockquote><div><br></div><div>It may be complete, but it's difficult to relate to the code, and when making changes to DMD, it's easy to make changes and not clearly see how it might have affected the grammar shown in the spec.</div><div>It's just that someone reverse-engineered an approx grammar from the implementation. DMD doesn't have a formal grammar; it's implementation defined.</div></div></div>