Skip to content

Commit

Permalink
Note on local/stack allocation
Browse files Browse the repository at this point in the history
  • Loading branch information
polytypic committed Dec 26, 2023
1 parent 6f850f9 commit 820eb0c
Showing 1 changed file with 4 additions and 1 deletion.
5 changes: 4 additions & 1 deletion src/kcas/kcas.ml
Original file line number Diff line number Diff line change
Expand Up @@ -172,7 +172,10 @@ and _ tdt =
}
-> [> `Xt ] tdt
(** The result might not yet have been determined. The [root] either says
which it is or points to the root of the transaction log or [tree]. *)
which it is or points to the root of the transaction log or [tree].
Note that if/when local/stack allocation mode becomes available in
OCaml, the transaction log should be mostly stack allocated. *)
| Leaf : [> `Leaf ] tdt (** Leaf node in the transaction log or [tree]. *)
| Node : {
loc : 'a loc;
Expand Down

0 comments on commit 820eb0c

Please sign in to comment.