Add Vylist.in_list for quick checks.

1 files changed, 6 insertions, 0 deletions

diff --git a/test/vylist_test.ml b/test/vylist_test.ml
index 45336bb..8cd504b 100644
--- a/test/vylist_test.ml
+++ b/test/vylist_test.ml
@@ -55,6 +55,12 @@ let test_complement_doesnt_contain test_ctxt =
     let xs = [1;2;3] and ys = [1;4;5;6] in
     assert_equal (complement xs ys) None
 
+(* in_list works *)
+let test_in_list test_ctxt =
+    let xs = [1;2;3;4] in
+    assert_equal (in_list xs 3) true;
+    assert_equal (in_list xs 9) false
+
 let suite =
     "VyConf list tests" >::: [
         "test_find_existent" >:: test_find_existent;