1 files changed, 2 insertions, 0 deletions
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
 }