Commits

Alan Falloon committed 59a4260

* test_List.ml: Cleaned up some names and added explanitory comments.

Comments (0)

Files changed (1)

 let prop_revrev : 'a list -> bool =
   fun xs -> List.rev (List.rev xs) = xs
 
-module AL =
-  Arbitrary_list(Arbitrary_int)
-module SL =
-  PShow_list(PShow_int)
+(* for generating random int lists *)
+module AL = Arbitrary_list(Arbitrary_int) ;;
+(* for printing out int lists *)
+module SL = PShow_list(PShow_int) ;;
+(* for being able to test (int list -> bool) *)
 module Testable_list_to_bool =
   Testable_fun
     (AL)
     (SL)
-    (Testable_bool)
+    (Testable_bool) ;;
 module C = Check(Testable_list_to_bool)
 let () = C.quickCheck prop_revrev