Create practice folder

dune

@@ -40,4 +40,4 @@
      %{target}
      (run %{ood_gen} changelog_feed))))))
 
-(data_only_dirs playground data)
+(data_only_dirs playground data practice)

dune-project

@@ -58,6 +58,7 @@
   (river
    (>= 0.3))
   syndic
+  ounit
   (alcotest :with-test)
   (mdx
    (and

ocamlorg.opam

@@ -40,6 +40,7 @@ depends: [
   "hilite" {>= "0.4.0"}
   "river" {>= "0.3"}
   "syndic"
+  "ounit"
   "alcotest" {with-test}
   "mdx" {with-test & >= "1.10.0"}
   "olinkcheck"

practice/001/answer/impl.ml

@@ -0,0 +1,4 @@
+let rec last = function
+  | [] -> None
+  | [ x ] -> Some x
+  | _ :: t -> last t

practice/001/answer/test/dune

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

practice/001/answer/test/run.ml

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

practice/001/dune

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

practice/001/dune-project

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

practice/001/ex.ml

@@ -0,0 +1,16 @@
+
+open OUnit2
+
+module type Testable = sig
+  val last : 'a list -> 'a option
+end
+
+module Make(Tested: Testable) : sig val v : test end = struct
+  let v = "last" >::: [
+    "nil" >:: (fun _ -> assert_equal None (Tested.last []));
+    "cons" >:: (fun _ -> assert_equal (Some "d") (Tested.last ["a"; "b"; "c"; "d"]));
+  ]
+end
+
+module Work : Testable = Work.Impl
+module Answer : Testable = Answer.Impl

practice/001/work/impl.ml

@@ -0,0 +1 @@
+let last _ = failwith "Not yet implemented"

practice/001/work/test/dune

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

practice/001/work/test/run.ml

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

practice/002/answer/impl.ml

@@ -0,0 +1,4 @@
+ let rec last_two = function
+    | [] | [_] -> None
+    | [x; y] -> Some (x,y)
+    | _ :: t -> last_two t

practice/002/answer/test/dune

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

practice/002/answer/test/run.ml

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

practice/002/dune

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

practice/002/dune-project

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

practice/002/ex.ml

@@ -0,0 +1,16 @@
+
+open OUnit2
+
+module type Testable = sig
+  val last_two : 'a list -> ('a * 'a) option
+end
+
+module Make(Tested: Testable) : sig val v : test end = struct
+  let v = "last_two" >::: [
+    "nil" >:: (fun _ -> assert_equal None (Tested.last_two ["a"]));
+    "cons" >:: (fun _ -> assert_equal (Some ("c", "d")) (Tested.last_two ["a"; "b"; "c"; "d"]));
+  ]
+end
+
+module Work : Testable = Work.Impl
+module Answer : Testable = Answer.Impl

practice/002/work/impl.ml

@@ -0,0 +1 @@
+let last_two _ = failwith "Not yet implemented"

practice/002/work/test/dune

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

practice/002/work/test/run.ml

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

practice/README.md

@@ -0,0 +1,54 @@
+## Instruction for Learners
+
+`cd` into the folder corresponding to the exercise you are willing to practice.
+
+Run `dune build --root .`, it should compile without an error.
+
+Run `dune test --root . answer`, it should pass, showing that there is a
+solution to this exercise.
+
+Hack your solution in the file `work/impl.ml`. Check it compiles by running
+`dune build --root . `, check if it behaves as expected by running `dune test
+--root . work`.
+
+You are allowed to look at file `ex.ml`, it contains the test cases. That may help.
+
+Don't look at the file `answer/impl.ml` it contains the solution.
+
+## Instruction for Maintnainers
+
+One XXX folder per exercise. Each is a standalone Dune project.
+
+Each folder has this structure
+```
+XXX
+├── answer
+│   ├── impl.ml
+│   └── test
+│       ├── dune
+│       └── run.ml
+├── dune
+├── dune-project
+├── ex.ml
+└── work
+    ├── impl.ml
+    └── test
+        ├── dune
+        └── run.ml
+```
+
+File `ex.ml` contains:
+- Module type `Testable` the function to be implemented in the exercise
+- Functor `Make` containing the test cases
+
+File `answer/impl.ml` contains the reference answer to the exercise
+
+File `work/impl.ml` contains a dummy definition, meant to be replaced
+by the learner's solultion.
+
+Files `test` folders should (hopefully) always be the sames
+
+
+
+
+