This commit is contained in:
Folkert 2021-07-31 12:17:58 +02:00
parent f22da2e5b2
commit 0c628db882
2 changed files with 4 additions and 4 deletions

View file

@ -500,7 +500,7 @@ fn write_flat_type(env: &Env, flat_type: &FlatType, subs: &Subs, buf: &mut Strin
// //
// e.g. the "*" at the end of `{ x: I64 }*` // e.g. the "*" at the end of `{ x: I64 }*`
// or the "r" at the end of `{ x: I64 }r` // or the "r" at the end of `{ x: I64 }r`
write_content(env, &content, subs, buf, parens) write_content(env, content, subs, buf, parens)
} }
} }
@ -519,7 +519,7 @@ fn write_flat_type(env: &Env, flat_type: &FlatType, subs: &Subs, buf: &mut Strin
// //
// e.g. the "*" at the end of `{ x: I64 }*` // e.g. the "*" at the end of `{ x: I64 }*`
// or the "r" at the end of `{ x: I64 }r` // or the "r" at the end of `{ x: I64 }r`
write_content(env, &content, subs, buf, parens) write_content(env, content, subs, buf, parens)
} }
} }
@ -536,7 +536,7 @@ fn write_flat_type(env: &Env, flat_type: &FlatType, subs: &Subs, buf: &mut Strin
// //
// e.g. the "*" at the end of `{ x: I64 }*` // e.g. the "*" at the end of `{ x: I64 }*`
// or the "r" at the end of `{ x: I64 }r` // or the "r" at the end of `{ x: I64 }r`
write_content(env, &content, subs, buf, parens) write_content(env, content, subs, buf, parens)
} }
buf.push_str(" as "); buf.push_str(" as ");

View file

@ -666,7 +666,7 @@ fn occurs(
Func(arg_vars, closure_var, ret_var) => { Func(arg_vars, closure_var, ret_var) => {
let it = once(ret_var) let it = once(ret_var)
.chain(once(closure_var)) .chain(once(closure_var))
.chain(arg_vars.into_iter()); .chain(arg_vars.iter());
short_circuit(subs, root_var, &new_seen, it) short_circuit(subs, root_var, &new_seen, it)
} }
Record(vars_by_field, ext_var) => { Record(vars_by_field, ext_var) => {