Skip to content

Commit

Permalink
Minor fixes in documentation. (#174)
Browse files Browse the repository at this point in the history
Minor fixes in documentation and test names.
  • Loading branch information
lyrm authored Dec 4, 2024
1 parent e512028 commit 78bbd54
Show file tree
Hide file tree
Showing 4 changed files with 5 additions and 5 deletions.
2 changes: 1 addition & 1 deletion src/bounded_queue/bounded_queue_intf.mli
Original file line number Diff line number Diff line change
Expand Up @@ -96,7 +96,7 @@ module type BOUNDED_QUEUE = sig
(** {2 Producer functions} *)

exception Full
(** Raised when {!push_exn} or {!push_all_exn} is applied to a full queue. *)
(** Raised when {!push_exn} is applied to a full queue. *)

val push_exn : 'a t -> 'a -> unit
(** [push_exn queue element] adds [element] at the end of the [queue].
Expand Down
2 changes: 1 addition & 1 deletion src/treiber_stack.mli
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@ val is_empty : 'a t -> bool
(** {2 Consumer functions} *)

exception Empty
(** Raised when {!pop_exn}, {!peek_exn}, {!drop_exn}, or {!set_exn} is
(** Raised when {!pop_exn}, {!peek_exn} and {!drop_exn} is
applied to an empty stack.
*)

Expand Down
4 changes: 2 additions & 2 deletions test/htbl/dscheck_htbl.ml
Original file line number Diff line number Diff line change
Expand Up @@ -238,8 +238,8 @@ let () =
if safe then
let module Safe = Dscheck_htbl (Htbl) in
let open Alcotest in
run "DSCheck Hshtbl" (Safe.tests "safe")
run "dscheck_htbl" (Safe.tests "safe")
else
let module Unsafe = Dscheck_htbl (Htbl_unsafe) in
let open Alcotest in
run "DSCheck Hshtbl" (Unsafe.tests "unsafe")
run "dscheck_htbl_unsafe" (Unsafe.tests "unsafe")
2 changes: 1 addition & 1 deletion test/skiplist/dscheck_skiplist.ml
Original file line number Diff line number Diff line change
Expand Up @@ -102,7 +102,7 @@ let _two_remove () =

let () =
let open Alcotest in
run "DSCheck Skiplist"
run "DSCheck_Skiplist"
[
( "basic",
[
Expand Down

0 comments on commit 78bbd54

Please sign in to comment.