Improve error type context field name

This commit is contained in:
Ayaz Hafiz 2022-05-10 11:32:45 -04:00
parent 3ddb14184d
commit 1fb6718c00
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58

View file

@ -59,7 +59,7 @@ pub enum ErrorTypeContext {
struct ErrorTypeState { struct ErrorTypeState {
taken: MutSet<Lowercase>, taken: MutSet<Lowercase>,
normals: u32, letters_used: u32,
problems: Vec<crate::types::Problem>, problems: Vec<crate::types::Problem>,
context: ErrorTypeContext, context: ErrorTypeContext,
} }
@ -1866,7 +1866,7 @@ impl Subs {
let mut state = ErrorTypeState { let mut state = ErrorTypeState {
taken, taken,
normals: 0, letters_used: 0,
problems: Vec::new(), problems: Vec::new(),
context, context,
}; };
@ -3581,11 +3581,12 @@ fn flat_type_to_err_type(
} }
fn get_fresh_var_name(state: &mut ErrorTypeState) -> Lowercase { fn get_fresh_var_name(state: &mut ErrorTypeState) -> Lowercase {
let (name, new_index) = name_type_var(state.normals, &mut state.taken.iter(), |var, str| { let (name, new_index) =
var.as_str() == str name_type_var(state.letters_used, &mut state.taken.iter(), |var, str| {
}); var.as_str() == str
});
state.normals = new_index; state.letters_used = new_index;
state.taken.insert(name.clone()); state.taken.insert(name.clone());