From 189d06730ae23770fbb970bf37eb0993edb8cd2d Mon Sep 17 00:00:00 2001
From: Joel Kronqvist <joel.kronqvist@iki.fi>
Date: Wed, 13 Aug 2025 01:20:19 +0300
Subject: feat: generic match arms, mostly for functions I guess?

---
 src/type/display.rs | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/type/display.rs')

diff --git a/src/type/display.rs b/src/type/display.rs
index 290e24e..56b22b6 100644
--- a/src/type/display.rs
+++ b/src/type/display.rs
@@ -122,6 +122,7 @@ impl fmt::Display for TypeError {
                     letexp
                 )
             },
+	    DifferentTypeCaseArms(ty1, ty2) => write!(f, "arms of match have different types, '{ty1}' and '{ty2}'"),
 	    FunAsAtom => write!(f, "'fn' used as atom doesn't make sense"),
 	    CaseAsAtom => write!(f, "'case' used as atom doesn't make sense"),
 	    RestAsAtom => write!(f, "'..[name]' used as atom doesn't make sense"),
-- 
cgit v1.2.3