From 2e17ad5361a86d004ca48419a0f69f9c298ec1e1 Mon Sep 17 00:00:00 2001
From: Joel Kronqvist <joel.kronqvist@iki.fi>
Date: Mon, 11 Aug 2025 21:39:01 +0300
Subject: refactor: Added helper matches_pat for pattern matching

---
 src/type/check.rs | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/type')

diff --git a/src/type/check.rs b/src/type/check.rs
index d815c85..b2815c7 100644
--- a/src/type/check.rs
+++ b/src/type/check.rs
@@ -233,6 +233,8 @@ impl SExp {
 	    Atom(Ty(_))  => Ok(TypeLit),
 	    Atom(Arr)    => Ok(arr(List(vec![TypeLit, TypeLit]), TypeLit)),
 	    Atom(Fun)    => Err(FunAsAtom),
+	    Atom(Case)   => todo!(),
+	    Atom(RestPat(_)) => todo!(),
 
             SCons(op, l) => {
 
-- 
cgit v1.2.3