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

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

diff --git a/src/sexp/mod.rs b/src/sexp/mod.rs
index 4bb4fa2..ba8743f 100644
--- a/src/sexp/mod.rs
+++ b/src/sexp/mod.rs
@@ -3,6 +3,7 @@ pub mod step;
 pub mod util;
 pub mod subst;
 pub mod display;
+pub mod case;
 
 use crate::r#type::Type;
 
@@ -37,6 +38,8 @@ pub enum SLeaf {
 
     Fun,
 
+    Case,
+
     Ty(Type),
     Arr,
 
@@ -47,6 +50,7 @@ pub enum SLeaf {
     False,
 
     Var(String),
+    RestPat(String),
 
     Nil,
 }
@@ -84,6 +88,7 @@ impl SExp {
                     && b.consists_of_values()
                 ),
             Atom(Var(_)) => false,
+            Atom(RestPat(_)) => false,
             Atom(_) => true,
         }
     }
-- 
cgit v1.2.3