Add printing of derived AST to tests

This commit is contained in:
Ayaz Hafiz 2022-06-14 17:06:52 -04:00
parent beeba1e198
commit beed7e791b
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
7 changed files with 300 additions and 8 deletions

View file

@ -62,8 +62,13 @@ flags! {
// ===Solve===
/// Prints type unifications, before and after they happen.
/// Only use this in single-threaded mode!
ROC_PRINT_UNIFICATIONS
/// Like ROC_PRINT_UNIFICATIONS, in the context of typechecking derived implementations.
/// Only use this in single-threaded mode!
ROC_PRINT_UNIFICATIONS_DERIVED
/// Prints all type mismatches hit during type unification.
ROC_PRINT_MISMATCHES