1 files changed, 61 insertions, 0 deletions
diff --git a/judge/player.ml b/judge/player.ml
new file mode 100644
index 0000000..8f74fe7
--- /dev/null
+++ b/judge/player.ml
@@ -0,0 +1,61 @@
+open Core
+
+module type IA = sig
+
+  module G : GAME
+
+  val play : G.game -> string
+
+end
+
+module P (W : IA) : sig
+
+  val run : unit -> unit
+
+end = struct
+
+  module G = W.G
+
+  let expect mgs =
+    let l = read_line () in
+    begin try
+    let (s, f) = List.find
+      (fun (s, _) ->
+         String.length l >= String.length s
+      && String.sub l 0 (String.length s) = s)
+      mgs
+    in f (String.sub l (String.length s)
+        (String.length l - String.length s))
+    with
+    Not_found ->
+      Format.eprintf "Unexpected '%s'.@." l;
+      exit 1
+    end
+
+  let finished _ =
+    print_string "Fair enough\n"
+
+  let rec turn g _ =
+    expect [
+      "Your turn",
+        (fun _ ->
+        let act = W.play g in
+        Format.printf "Play %s@." act;
+        let g' = G.play g act in
+        expect [ "OK", turn g' ]);
+      "Play ", (fun act -> turn (G.play g act) "");
+      "Tie", finished;
+      "You win", finished;
+      "You lose", finished;
+      "Eliminated", finished
+    ]
+
+  let run () =
+    Random.self_init ();
+    expect [
+    "Hello " ^ G.id,
+    (fun _ -> Format.printf "Hello %s@." G.id;
+      turn (G.new_game) "")
+    ];
+
+end