remove lowercases from Content

This commit is contained in:
Folkert 2021-11-22 21:15:58 +01:00
parent e4ffe804ec
commit 2c1005fdf0
7 changed files with 63 additions and 80 deletions

View file

@ -209,7 +209,8 @@ fn unify_alias(
problems
} else {
mismatch!("{}", symbol)
dbg!(args.len(), other_args.len());
mismatch!("{:?}", symbol)
}
} else {
unify_pool(subs, pool, real_var, *other_real_var)