complete add_category

2025-09-28 14:24:45 +00:00 · 2020-04-03 16:04:48 +02:00 · 2020-04-03 16:04:48 +02:00 · a2a79925b3
commit a2a79925b3
parent 74331e4b90
5 changed files with 95 additions and 7 deletions
--- a/compiler/constrain/src/expr.rs
+++ b/compiler/constrain/src/expr.rs
@ -718,7 +718,7 @@ pub fn constrain_expr(
                    Box::new(Type::Variable(*ext_var)),
                ),
                expected.clone(),
-                Category::TagUnion,
+                Category::TagApply(name.clone()),
                region,
            );
            let ast_con = Eq(