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/mod.rs | 2 ++
 1 file changed, 2 insertions(+)

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

diff --git a/src/type/mod.rs b/src/type/mod.rs
index e979595..06b73ac 100644
--- a/src/type/mod.rs
+++ b/src/type/mod.rs
@@ -79,6 +79,8 @@ pub enum TypeError {
 
     NoWildcardInCase(SExp),
 
+    DifferentTypeCaseArms(Type, Type),
+
     OtherError
 }
 
-- 
cgit v1.2.3