File tree 3 files changed +6
-4
lines changed
3 files changed +6
-4
lines changed Original file line number Diff line number Diff line change @@ -88,6 +88,7 @@ Andreas Hauptmann <andreashauptmann@t-online.de> fdopen <andreashauptmann@t-onli
88
88
Andreas Hauptmann <andreashauptmann@t-online.de> <fdopen@users.noreply.github.com>
89
89
Hendrik Tews <hendrik@askra.de>
90
90
Hugo Heuzard <hugo.heuzard@gmail.com>
91
+ Miod Vallat <miod@mantis>
91
92
92
93
# These contributors prefer to be referred to pseudonymously
93
94
whitequark <whitequark@whitequark.org>
Original file line number Diff line number Diff line change @@ -188,6 +188,9 @@ Working version
188
188
caml_example
189
189
(Florian Angeletti, review and suggestion by Gabriel Scherer)
190
190
191
+ - MPR#7604: Minor Ephemeron documentation fixes
192
+ (Miod Vallat, review by Florian Angeletti)
193
+
191
194
- GPR#1187: Minimal documentation for compiler plugins
192
195
(Florian Angeletti)
193
196
Original file line number Diff line number Diff line change 15
15
16
16
(* * Ephemerons and weak hash table *)
17
17
18
- (* * Ephemerons and weak hash table
19
-
20
- Ephemerons and weak hash table are useful when one wants to cache
18
+ (* * Ephemerons and weak hash table are useful when one wants to cache
21
19
or memorize the computation of a function, as long as the
22
20
arguments and the function are used, without creating memory leaks
23
21
by continuously keeping old computation results that are not
24
22
useful anymore because one argument or the function is freed. An
25
- implementation using {Hashtbl.t} is not suitable because all
23
+ implementation using {! Hashtbl.t} is not suitable because all
26
24
associations would keep in memory the arguments and the result.
27
25
28
26
Ephemerons can also be used for "adding" a field to an arbitrary
You can’t perform that action at this time.
0 commit comments