roc-lang/roc
1
1
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2024-09-22 08:17:40 +03:00
Code Issues Packages Projects Releases Wiki Activity

Report empty problems in translating to error type

Browse Source
This commit is contained in:
Ayaz Hafiz 2022-11-08 13:35:03 -06:00
parent c4bd9fb79d
commit b6322ff883
No known key found for this signature in database
GPG Key ID: 0E2A37416A25EF58
1 changed files with 1 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
crates/compiler/types/src/subs.rs
View File

@ -62,7 +62,6 @@ pub enum ErrorTypeContext {
struct ErrorTypeState {
taken: MutSet<Lowercase>,
letters_used: u32,
problems: Vec<crate::types::Problem>,
context: ErrorTypeContext,
recursive_tag_unions_seen: Vec<Variable>,
}
@ -2066,15 +2065,11 @@ impl Subs {
let mut state = ErrorTypeState {
taken,
letters_used: 0,
problems: Vec::new(),
context,
recursive_tag_unions_seen: Vec::new(),
};
(
var_to_err_type(self, &mut state, var, observed_pol),
state.problems,
)
(var_to_err_type(self, &mut state, var, observed_pol), vec![])
}
pub fn len(&self) -> usize {