language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-18 09:39:47 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Allow type error config in uitest

Browse source
This commit is contained in:
Ayaz Hafiz 2023-04-12 14:04:51 -05:00
parent f33651bf6a
commit 677d19d825
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
2 changed files with 3 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
crates/compiler/test_solve_helpers/src/lib.rs
View file

@ -254,6 +254,7 @@ fn parse_queries(src: &str, line_info: &LineInfo) -> Vec<TypeQuery> {
#[derive(Default, Clone, Copy)] #[derive(Default, Clone, Copy)]
pub struct InferOptions { pub struct InferOptions {
pub allow_errors: bool,
pub print_can_decls: bool, pub print_can_decls: bool,
pub print_only_under_alias: bool, pub print_only_under_alias: bool,
pub no_promote: bool, pub no_promote: bool,
@ -376,7 +377,7 @@ pub fn infer_queries<'a>(
if !can_problems.is_empty() && !allow_can_errors { if !can_problems.is_empty() && !allow_can_errors {
return Err(format!("Canonicalization problems: {can_problems}",).into()); return Err(format!("Canonicalization problems: {can_problems}",).into());
} }
if !type_problems.is_empty() { if !type_problems.is_empty() && !options.allow_errors {
return Err(format!("Type problems: {type_problems}",).into()); return Err(format!("Type problems: {type_problems}",).into());
} }
} }

1
crates/compiler/uitest/src/uitest.rs
View file

@ -254,6 +254,7 @@ impl<'a> TestCase<'a> {
for infer_opt in found_infer_opts { for infer_opt in found_infer_opts {
let opt = infer_opt.name("opt").unwrap().as_str(); let opt = infer_opt.name("opt").unwrap().as_str();
match opt.trim() { match opt.trim() {
"allow_errors" => infer_opts.allow_errors = true,
"print_only_under_alias" => infer_opts.print_only_under_alias = true, "print_only_under_alias" => infer_opts.print_only_under_alias = true,
other => return Err(format!("unknown infer option: {other:?}").into()), other => return Err(format!("unknown infer option: {other:?}").into()),
} }