Skip to content

Commit da30cda

Browse files
committed
rename type to t
1 parent a3f581a commit da30cda

File tree

3 files changed

+4
-4
lines changed

3 files changed

+4
-4
lines changed

solo5/mirage_sleep.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
external time : unit -> int64 = "caml_get_monotonic_time"
22

3-
type sleep = { time : int64; mutable canceled : bool; thread : unit Lwt.u }
3+
type t = { time : int64; mutable canceled : bool; thread : unit Lwt.u }
44

55
let sleepers = ref []
66

src/mirage_sleep.mli

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -26,10 +26,10 @@ val ns: int64 -> unit Lwt.t
2626

2727
(** {1 Values used by the schedulers} *)
2828

29-
type sleep = { time : int64; mutable canceled : bool; thread : unit Lwt.u }
29+
type t = { time : int64; mutable canceled : bool; thread : unit Lwt.u }
3030
(** The type for a sleeping task. *)
3131

32-
val new_sleepers : unit -> sleep list
32+
val new_sleepers : unit -> t list
3333
(** [new_sleepers ()] is used by the scheduler to find at their convenience
3434
the tasks that need to be enqueued into their task set. This also empties
3535
the list of sleepers. *)

unix/mirage_sleep.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -16,6 +16,6 @@
1616

1717
let ns ns = Lwt_unix.sleep (Duration.to_f ns)
1818

19-
type sleep = { time : int64; mutable canceled : bool; thread : unit Lwt.u }
19+
type t = { time : int64; mutable canceled : bool; thread : unit Lwt.u }
2020

2121
let new_sleepers () = []

0 commit comments

Comments
 (0)