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

Remove type problem bad type

Browse source
This commit is contained in:
Ayaz Hafiz 2022-11-08 13:41:31 -06:00
parent fb643758bb
commit 98464984dd
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
2 changed files with 0 additions and 55 deletions
Download patch file Download diff file Expand all files Collapse all files

1
crates/compiler/solve_problem/src/lib.rs
View file

@ -12,7 +12,6 @@ pub enum TypeError {
BadPattern(Region, PatternCategory, ErrorType, PExpected<ErrorType>), BadPattern(Region, PatternCategory, ErrorType, PExpected<ErrorType>),
CircularType(Region, Symbol, ErrorType), CircularType(Region, Symbol, ErrorType),
CircularDef(Vec<CycleEntry>), CircularDef(Vec<CycleEntry>),
BadType(roc_types::types::Problem),
UnexposedLookup(Symbol), UnexposedLookup(Symbol),
UnfulfilledAbility(Unfulfilled), UnfulfilledAbility(Unfulfilled),
BadExprMissingAbility(Region, Category, ErrorType, Vec<Unfulfilled>), BadExprMissingAbility(Region, Category, ErrorType, Vec<Unfulfilled>),

54
crates/reporting/src/error/type.rs
View file

@ -75,60 +75,6 @@ pub fn type_problem<'b>(
report(title, doc, filename) report(title, doc, filename)
} }
BadType(type_problem) => {
use roc_types::types::Problem::*;
match type_problem {
BadTypeArguments {
symbol,
region,
type_got,
alias_needs,
alias_kind,
} => {
let needed_arguments = if alias_needs == 1 {
alloc.reflow("1 type argument")
} else {
alloc
.text(alias_needs.to_string())
.append(alloc.reflow(" type arguments"))
};
let found_arguments = alloc.text(type_got.to_string());
let doc = alloc.stack([
alloc.concat([
alloc.reflow("The "),
alloc.symbol_unqualified(symbol),
alloc.reflow(" "),
alloc.reflow(alias_kind.as_str()),
alloc.reflow(" expects "),
needed_arguments,
alloc.reflow(", but it got "),
found_arguments,
alloc.reflow(" instead:"),
]),
alloc.region(lines.convert_region(region)),
alloc.reflow("Are there missing parentheses?"),
]);
let title = if type_got > alias_needs {
"TOO MANY TYPE ARGUMENTS".to_string()
} else {
"TOO FEW TYPE ARGUMENTS".to_string()
};
report(title, doc, filename)
}
Shadowed(original_region, shadow) => {
let doc = report_shadowing(alloc, lines, original_region, shadow);
let title = DUPLICATE_NAME.to_string();
report(title, doc, filename)
}
other => panic!("unhandled bad type: {:?}", other),
}
}
UnfulfilledAbility(incomplete) => { UnfulfilledAbility(incomplete) => {
let title = "INCOMPLETE ABILITY IMPLEMENTATION".to_string(); let title = "INCOMPLETE ABILITY IMPLEMENTATION".to_string();