News
Grammar Tools + Parametric Compiler Testing + Another Example
Written on 23.06.2026 18:12 by Alexi Turcotte
Hey all!
As promised:
1. I invited you all to a (currently private) repo with the work-in-progress parametric compiler testing (PCT) constraints. You should accept this invitation, and importantly focus on the 'prototype' branch. The repo also contains a reworked example of the C language grammar from the compiler testing case study in the FANDANGO-RS paper, with the generic type checking and def-use constraints (btw, this is what I showed in class). I added detailed comments especially in the type checking part for C. You should focus mainly on the C language example for reference.
2. I updated the C and JavaScript examples in the org; C with def-use, and JavaScript with a mini type checking example. It's not very deep or complete, but should be an additional reference. The C language example in PCT is your go-to for an exemplar.
3. I forked my grammar testing linter tool in the org as well; please take a look.
For Friday, I will try to expand this to function types (should be fairly straightforward), and we can go over that and any pain points. Also, if you have a hard time with the generic constraints, as a fallback option you can consider adapting the "caveman" constraints directly from the FANDANGO-RS C compiler study; there are more constraints, but there's less abstractions so you can see directly how things work.
I appreciate your patience! Stay cool and hydrated,
Alexi