Support tooling for writing Pancake tests #1254
Description
Maintaining panStaticExamples.sml (the static checker being orthogonal to the compiler verification) is super tedious because of the different yet similar permutations of test cases, eg. 6 (soon to be 7) locations of possible shape mismatch, 3 (soon to be 8) permutations of expected-incorrect shape pairs. Because of this, the tests have some holes where the cases were deemed too tedious to cover eg. tests that cover all 4 forms of functions, or all 7 kinds of load/store.
It would be nice to have some sort of support to make covering all these permutations easier, eg. having a tool that could generate such permutations of the concrete syntax/AST automatically