Third and Hopefully Last Draft: Primary Type Syntax

[Richard (Rikki) Andrew Cattermole]

On 22/09/2024 4:01 AM, Quirin Schroll wrote:
> On Saturday, 21 September 2024 at 13:29:05 UTC, Richard (Rikki) Andrew 
> Cattermole wrote:
>> I recommend that you put it through Grammarly prior to Mike getting 
>> it, it'll lessen his workload.
>>
>> I.e. ``excpetion``
>>
>> Otherwise it is looking pretty good, and good job on doing the 
>> implementation!
> 
> I gave it two people to proofread and probably one just didn't do it (he 
> said it's good), the other sent me a revised version, which did contain 
> some style suggestions. It's not like I didn't try something.

Yeah you did good, its just that tools are guaranteed to catch stuff 
like this :)

> The implementation has some workarounds that I'd hope won't make it into 
> the compiler. But as Walter pointed out in the Monthly Meeting, it's not 
> obvious the grammar changes won't lead to weird parsings. Therefore, I 
> hope the implementation can give people like you, Paul Backus, and Timon 
> Gehr the opportunity to find holes or, hopefully, find none, which might 
> be enough for Walter to dispel his concerns.

Grammar stuff like this isn't where I shine, as long as it passes 
buildkite I'm happy. The text shows you've done your research and put in 
the effort.

Ideally we'd throw a fuzzer at the parser to verify that it works as 
expected.

https://llvm.org/docs/LibFuzzer.html

https://johanengelen.github.io/ldc/2018/01/14/Fuzzing-with-LDC.html