From 463e719e7b0d30a1a74ba0acea0550193728da64 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Thu, 29 Jun 2023 16:04:42 +0200
Subject: [PATCH] test: use State.t instead of 'st intest/skeleton/ to ease the
life of Ocaml beginners
---
test/skeleton/p.ml | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/test/skeleton/p.ml b/test/skeleton/p.ml
index 411c24f2..4d710c02 100644
--- a/test/skeleton/p.ml
+++ b/test/skeleton/p.ml
@@ -1,14 +1,14 @@
-(* Time-stamp: <modified the 16/01/2023 (at 21:58) by Erwan Jahier> *)
+(* Time-stamp: <modified the 29/06/2023 (at 16:04) by Erwan Jahier> *)
(* a dumb algo that compiles *)
open Algo
-let (init_state: int -> string -> 'st) =
+let (init_state: int -> string -> State.t) =
fun _nl _ -> (Random.int 10)
-let (enable_f: 'st -> 'st neighbor list -> action list) =
+let (enable_f: State.t -> State.t neighbor list -> action list) =
fun _ nl ->
match state (List.hd nl) with
| 0 -> ["action2"]
@@ -16,7 +16,7 @@ let (enable_f: 'st -> 'st neighbor list -> action list) =
| _ -> ["action1"]
-let (step_f : 'st -> 'st neighbor list -> action -> 'st ) =
+let (step_f : State.t -> State.t neighbor list -> action -> State.t ) =
fun e _ ->
function
| "action1" -> 0
--
GitLab