Toby Hutton

Oh wow, these are quite surprising. OTOH, they aren't since all our tests are written by humans. We should consider using a fuzzer to come up with these sorts of...

Cool. The above list is of optimisation pass categories really, and we can add sublists as we go. E.g., there's already function inlining but it needs improvement as it currently...

Slide 19 in this presentation from Graydon Hoare: http://venge.net/graydon/talks/CompilerTalk-2019.pdf ### Frances Allen Got All The Good Ones - 1971: "A Catalogue of Optimizing Transformations". - The ~8 passes to write...

I haven't dug super deep into what LLVM has needed with opaque pointers, but I was (am?) making the assumption that it resembles their attitude with signedness in arithmetic. I.e.,...

This could be a regression? I would expect the above to emit warnings and for there to already be tests to confirm. There was a lot of debate around it...

_I_ think there should be warnings, yeah.

We need to review and see if the grammar needs them to avoid ambiguity in the parser. It looks a little cluttered to me but if removing them makes the...

I wouldn't mind spending a morning assessing this, hence the self assignment a couple of weeks ago. The commas _do_ seem to add clutter.

@mohammadfawaz (and @vaivaswatha) I took a look at this and have found the commas are generally needed, especially for things like types which can be `ptr t`, i.e., multiple words....

> should we just close this? Seems a bit redundant to be discussing it or even putting in the effort into removing the commas. And if you guys don't have...