mirror of
https://github.com/realworldocaml/book.git
synced 2026-08-02 13:27:27 +08:00
fix typo
This commit is contained in:
parent
0f8ea69ad6
commit
7c6e1c0be1
@ -590,7 +590,7 @@ be freed when it's no longer in use, either via the GC sweeping it or the
|
|||||||
program terminating. It's sometimes useful to run extra code just before a
|
program terminating. It's sometimes useful to run extra code just before a
|
||||||
value is freed by the GC, for example, to check that a file descriptor has
|
value is freed by the GC, for example, to check that a file descriptor has
|
||||||
been closed, or that a log message is recorded. [values/finalizer functions
|
been closed, or that a log message is recorded. [values/finalizer functions
|
||||||
for]{.idx}[finalizers/in grabage collection]{.idx}[garbage
|
for]{.idx}[finalizers/in garbage collection]{.idx}[garbage
|
||||||
collection/finalizer functions]{.idx}
|
collection/finalizer functions]{.idx}
|
||||||
|
|
||||||
::: {data-type=note}
|
::: {data-type=note}
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user