From d1c97e405230b6616ef834cf38be351e566a228e Mon Sep 17 00:00:00 2001
From: Joel Kronqvist <joel.kronqvist@iki.fi>
Date: Thu, 21 Aug 2025 12:35:37 +0300
Subject: feat: implemented coproducts according to tests

---
 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 c726001..e1ca798 100644
--- a/src/type/mod.rs
+++ b/src/type/mod.rs
@@ -83,6 +83,8 @@ pub enum TypeError {
 
     DifferentTypeCaseArms(Type, Type),
 
+    SumDefNoTypeLiteral(SExp),
+
     OtherError
 }
 
-- 
cgit v1.2.3