John McCall a986d7434a [NFC] Implement a small DSL to create metadata objects in unit tests ...

Some parts of the type metadata system are difficult to unit-test
because they rely on structures that contain relative references,
which the C compiler cannot generate.  We have traditionally just
relied on integration testing with the compiler.  For constrained
existentials, I wanted to do better, so I spent a few days hacking
up this little system which can generate graphs of objects with
relative references to one another.

Currently it's missing the ability to generate a lot of things
which I didn't need in order to adequately test the metadata
system for constrained existentials.

2022-03-27 18:24:17 -04:00

12 KiB

Raw Permalink Blame History

View Raw