Add a way to print ranks in uitest

This commit is contained in:
Ayaz Hafiz 2023-04-20 17:29:54 -05:00
parent 190990155e
commit 7beee4e1f3
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
3 changed files with 9 additions and 0 deletions

View file

@ -257,6 +257,7 @@ pub struct InferOptions {
pub allow_errors: bool,
pub print_can_decls: bool,
pub print_only_under_alias: bool,
pub print_ranks: bool,
pub no_promote: bool,
}
@ -465,6 +466,7 @@ impl<'a> QueryCtx<'a> {
DebugPrint {
print_lambda_sets: true,
print_only_under_alias: self.options.print_only_under_alias,
print_ranks: self.options.print_ranks,
ignore_polarity: true,
print_weakened_vars: true,
},