relaxed type-checking between an unnamed T and int:T

conjure-cp · Dec 6, 2024 · e113b7b · e113b7b
1 parent fcc382a
commit e113b7b
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/Conjure/Language/Type.hs b/src/Conjure/Language/Type.hs
@@ -129,6 +129,8 @@ typeUnify (TypeInt t1) (TypeInt t2) = case ?typeCheckerMode of
                                          RelaxedIntegerTags -> True
 typeUnify (TypeEnum a) (TypeEnum b) = a == b
 typeUnify (TypeUnnamed a) (TypeUnnamed b) = a == b
+typeUnify (TypeUnnamed (Name a)) (TypeInt (TagUnnamed b)) = a == b
+typeUnify (TypeInt (TagUnnamed b)) (TypeUnnamed (Name a)) = a == b
 typeUnify (TypeTuple [TypeAny]) TypeTuple{} = True
 typeUnify TypeTuple{} (TypeTuple [TypeAny]) = True
 typeUnify (TypeTuple as) (TypeTuple bs) = (length as == length bs) && and (zipWith typeUnify as bs)