diff options
| author | Nicolás Ojeda Bär <n.oje.bar@gmail.com> | 2021-09-01 09:24:43 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-09-01 09:24:43 +0200 |
| commit | eccaa452ca8c118abccb6180d53b91e4b4907415 (patch) | |
| tree | a970e35f63aee0fbb519e5d49677b9659ae6a238 /manual | |
| parent | 011e05309ad5159c02544d2a3e7f4574da44e2bf (diff) | |
| download | ocaml-eccaa452ca8c118abccb6180d53b91e4b4907415.tar.gz | |
Add {In,Out}_channel to Stdlib (#10545)
Diffstat (limited to 'manual')
| -rw-r--r-- | manual/src/library/stdlib-blurb.etex | 4 | ||||
| -rwxr-xr-x | manual/tests/check-stdlib-modules | 2 |
2 files changed, 5 insertions, 1 deletions
diff --git a/manual/src/library/stdlib-blurb.etex b/manual/src/library/stdlib-blurb.etex index 65684b1b3f..8f2e00dfe0 100644 --- a/manual/src/library/stdlib-blurb.etex +++ b/manual/src/library/stdlib-blurb.etex @@ -77,6 +77,8 @@ integers \end{tabular} \subsubsection*{sss:stdlib-io}{input/output:} \begin{tabular}{lll} +"In_channel" & p.~\stdpageref{In-underscorechannel} & input channels \\ +"Out_channel" & p.~\stdpageref{Out-underscorechannel} & output channels \\ "Format" & p.~\stdpageref{Format} & pretty printing with automatic indentation and line breaking \\ "Marshal" & p.~\stdpageref{Marshal} & marshaling of data structures \\ @@ -130,6 +132,7 @@ be called from C \\ \stddocitem{Gc}{memory management control and statistics; finalized values} \stddocitem{Genlex}{a generic lexical analyzer} \stddocitem{Hashtbl}{hash tables and hash functions} +\stddocitem{In_channel}{input channels} \stddocitem{Int}{integers} \stddocitem{Int32}{32-bit integers} \stddocitem{Int64}{64-bit integers} @@ -143,6 +146,7 @@ be called from C \\ \stddocitem{Nativeint}{processor-native integers} \stddocitem{Oo}{object-oriented extension} \stddocitem{Option}{option values} +\stddocitem{Out_channel}{output channels} \stddocitem{Parsing}{the run-time library for parsers generated by \texttt{ocamlyacc}} \stddocitem{Printexc}{facilities for printing exceptions} \stddocitem{Printf}{formatting printing functions} diff --git a/manual/tests/check-stdlib-modules b/manual/tests/check-stdlib-modules index af4d3dadfa..ed17a5e35a 100755 --- a/manual/tests/check-stdlib-modules +++ b/manual/tests/check-stdlib-modules @@ -10,7 +10,7 @@ cut -c 2- $TMPDIR/stdlib-$$-files \ exitcode=0 for i in `cat $TMPDIR/stdlib-$$-modules`; do case $i in - Stdlib | Camlinternal* | *Labels | Obj | Pervasives) continue;; + Stdlib | Camlinternal* | *Labels | Obj | Pervasives | In_channel | Out_channel) continue;; esac grep -q -e '"'$i'" & p\.~\\stdpageref{'$i'} &' $1/manual/src/library/stdlib-blurb.etex || { echo "Module $i is missing from the module description in library/stdlib-blurb.etex." >&2 |