1 files changed, 8 insertions, 0 deletions
diff --git a/src/type/mod.rs b/src/type/mod.rs
index 34506d0..e979595 100644
--- a/src/type/mod.rs
+++ b/src/type/mod.rs
@@ -71,8 +71,14 @@ pub enum TypeError {
 
     FunAsAtom,
 
+    CaseAsAtom,
+
+    RestAsAtom,
+
     InvalidFunDef(SExp, FunDefError),
 
+    NoWildcardInCase(SExp),
+
     OtherError
 }
 
@@ -93,6 +99,8 @@ pub enum FunDefError {
 #[derive(Debug,PartialEq)]
 pub enum PatFail {
     RepeatedVariable(String, SExp),
+    NoArm(SExp),
+    RestNotAtEnd(SExp),
     TypeMismatch {
 	pattern:  SExp,
 	expected: Type,