Improve a variable name

This commit is contained in:
Richard Feldman 2022-08-11 23:53:08 -04:00
parent 07eed2c4a6
commit d7ef42612b
No known key found for this signature in database
GPG key ID: F1F21AA5B1D9E43B

View file

@ -719,10 +719,10 @@ fn add_type_help<'a>(
add_tag_union(env, opt_name, tags, var, types, layout) add_tag_union(env, opt_name, tags, var, types, layout)
} }
Content::Structure(FlatType::RecursiveTagUnion(_rec_var, tag_vars, ext_var)) => { Content::Structure(FlatType::RecursiveTagUnion(_rec_var, tags, ext_var)) => {
debug_assert!(ext_var_is_empty_tag_union(subs, *ext_var)); debug_assert!(ext_var_is_empty_tag_union(subs, *ext_var));
add_tag_union(env, opt_name, tag_vars, var, types, layout) add_tag_union(env, opt_name, tags, var, types, layout)
} }
Content::Structure(FlatType::Apply(symbol, _)) => match layout { Content::Structure(FlatType::Apply(symbol, _)) => match layout {
Layout::Builtin(builtin) => { Layout::Builtin(builtin) => {