Move simplify and tests

xch-dev · Jul 22, 2024 · d32e072 · d32e072
1 parent 4e24d7f
commit d32e072
Show file tree

Hide file tree

Showing 2 changed files with 67 additions and 69 deletions.
diff --git a/crates/rue-typing/src/check/simplify_and.rs b/crates/rue-typing/src/check/simplify_and.rs
@@ -56,3 +56,70 @@ fn construct_and(mut items: Vec<Check>) -> Check {
         Check::And(items)
     }
 }
+
+#[cfg(test)]
+mod tests {
+    use super::*;
+
+    #[test]
+    fn simplify_and_none() {
+        assert_eq!(simplify_and_shallow(vec![Check::None]), Check::None);
+    }
+
+    #[test]
+    fn simplify_none_and_none() {
+        assert_eq!(
+            simplify_and_shallow(vec![Check::None, Check::None]),
+            Check::None
+        );
+    }
+
+    #[test]
+    fn simplify_check_and_none() {
+        assert_eq!(
+            simplify_and_shallow(vec![Check::None, Check::IsAtom]),
+            Check::IsAtom
+        );
+        assert_eq!(
+            simplify_and_shallow(vec![Check::IsAtom, Check::None]),
+            Check::IsAtom
+        );
+    }
+
+    #[test]
+    fn simplify_and_one_check() {
+        assert_eq!(simplify_and_shallow(vec![Check::IsAtom]), Check::IsAtom);
+    }
+
+    #[test]
+    fn simplify_atom_and_atom() {
+        assert_eq!(
+            simplify_and_shallow(vec![Check::IsAtom, Check::IsAtom]),
+            Check::IsAtom
+        );
+    }
+
+    #[test]
+    fn simplify_atom_and_pair() {
+        assert_eq!(
+            simplify_and_shallow(vec![Check::IsAtom, Check::IsPair]),
+            Check::And(vec![Check::IsAtom, Check::IsPair])
+        );
+    }
+
+    #[test]
+    fn simplify_pair_and_pair() {
+        assert_eq!(
+            simplify_and_shallow(vec![Check::IsPair, Check::IsPair]),
+            Check::IsPair
+        );
+    }
+
+    #[test]
+    fn simplify_pair_and_atom() {
+        assert_eq!(
+            simplify_and_shallow(vec![Check::IsPair, Check::IsAtom]),
+            Check::And(vec![Check::IsPair, Check::IsAtom])
+        );
+    }
+}
diff --git a/crates/rue-typing/src/check/simplify_check.rs b/crates/rue-typing/src/check/simplify_check.rs
@@ -34,72 +34,3 @@ pub(crate) fn simplify_check(check: Check) -> Check {
         }
     }
 }
-
-#[cfg(test)]
-mod tests {
-    use crate::simplify_and_shallow;
-
-    use super::*;
-
-    #[test]
-    fn simplify_and_none() {
-        assert_eq!(simplify_and_shallow(vec![Check::None]), Check::None);
-    }
-
-    #[test]
-    fn simplify_none_and_none() {
-        assert_eq!(
-            simplify_and_shallow(vec![Check::None, Check::None]),
-            Check::None
-        );
-    }
-
-    #[test]
-    fn simplify_check_and_none() {
-        assert_eq!(
-            simplify_and_shallow(vec![Check::None, Check::IsAtom]),
-            Check::IsAtom
-        );
-        assert_eq!(
-            simplify_and_shallow(vec![Check::IsAtom, Check::None]),
-            Check::IsAtom
-        );
-    }
-
-    #[test]
-    fn simplify_and_one_check() {
-        assert_eq!(simplify_and_shallow(vec![Check::IsAtom]), Check::IsAtom);
-    }
-
-    #[test]
-    fn simplify_atom_and_atom() {
-        assert_eq!(
-            simplify_and_shallow(vec![Check::IsAtom, Check::IsAtom]),
-            Check::IsAtom
-        );
-    }
-
-    #[test]
-    fn simplify_atom_and_pair() {
-        assert_eq!(
-            simplify_and_shallow(vec![Check::IsAtom, Check::IsPair]),
-            Check::And(vec![Check::IsAtom, Check::IsPair])
-        );
-    }
-
-    #[test]
-    fn simplify_pair_and_pair() {
-        assert_eq!(
-            simplify_and_shallow(vec![Check::IsPair, Check::IsPair]),
-            Check::IsPair
-        );
-    }
-
-    #[test]
-    fn simplify_pair_and_atom() {
-        assert_eq!(
-            simplify_and_shallow(vec![Check::IsPair, Check::IsAtom]),
-            Check::And(vec![Check::IsPair, Check::IsAtom])
-        );
-    }
-}