better debug info for a mismatch

This commit is contained in:
Folkert 2021-08-20 22:41:43 +02:00
parent 19d56fa7d4
commit aa042f3357
2 changed files with 18 additions and 2 deletions

View file

@ -1076,8 +1076,8 @@ fn unify_flat_type(
// any other combination is a mismatch
mismatch!(
"Trying to unify two flat types that are incompatible: {:?} ~ {:?}",
other1,
other2
roc_types::subs::SubsFmtFlatType(other1, subs),
roc_types::subs::SubsFmtFlatType(other2, subs)
)
}
}