Turned exercise 033 into practice (#2220)

practice/033/answer/impl.ml

@@ -0,0 +1,4 @@
+let rec gcd a b =
+  if b = 0 then a else gcd b (a mod b)
+
+let coprime a b = gcd a b = 1

practice/033/answer/test/dune

@@ -0,0 +1,2 @@
+(include_subdirs no)
+(test (name run) (libraries ounit2 ex))

practice/033/answer/test/run.ml

@@ -0,0 +1,3 @@
+module Test = Ex.Make(Ex.Answer)
+
+let () = OUnit2.run_test_tt_main Test.v

practice/033/dune

@@ -0,0 +1,2 @@
+(include_subdirs qualified)
+(library (name ex) (libraries ounit2))

practice/033/dune-project

@@ -0,0 +1 @@
+(lang dune 3.7)

practice/033/ex.ml

@@ -0,0 +1,21 @@
+open OUnit2
+
+module type Testable = sig
+  val coprime : int -> int -> bool
+end
+
+module Make(Tested: Testable) : sig val v : test end = struct
+  let tests = "coprime" >::: [
+    "coprime numbers" >:: (fun _ ->
+      assert_bool "13 and 27 should be coprime" (Tested.coprime 13 27));
+    "not coprime numbers" >:: (fun _ ->
+      assert_bool "20536 and 7826 should not be coprime" (not (Tested.coprime 20536 7826)));
+  ]
+
+  let v = "Coprime Tests" >::: [
+    tests
+  ]
+end
+
+module Work : Testable = Work.Impl
+module Answer : Testable = Answer.Impl

practice/033/work/impl.ml

@@ -0,0 +1,4 @@
+let rec gcd a b =
+  if b = 0 then a else gcd b (a mod b)
+
+let coprime _ _ = failwith "Not yet implemented"

practice/033/work/test/dune

@@ -0,0 +1,2 @@
+(include_subdirs no)
+(test (name run) (libraries ounit2 ex))

practice/033/work/test/run.ml

@@ -0,0 +1,3 @@
+module Test = Ex.Make(Ex.Work)
+
+let () = OUnit2.run_test_tt_main Test.v