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