add new layer to the Num types

2025-09-30 07:14:46 +00:00 · 2020-12-18 16:41:24 -05:00 · 2020-12-18 16:41:24 -05:00 · c9308c0662
commit c9308c0662
parent b5dcde267a
10 changed files with 441 additions and 92 deletions
--- a/compiler/unify/src/unify.rs
+++ b/compiler/unify/src/unify.rs
@ -198,7 +198,7 @@ fn unify_alias(

                    problems
                } else {
-                    mismatch!()
+                    mismatch!("{}", symbol)
                }
            } else {
                unify_pool(subs, pool, real_var, *other_real_var)