diff options
| author | Pierre Weis <Pierre.Weis@inria.fr> | 2003-04-25 10:21:21 +0000 |
|---|---|---|
| committer | Pierre Weis <Pierre.Weis@inria.fr> | 2003-04-25 10:21:21 +0000 |
| commit | e3c25d1b244f393eb17c468bddb240b4817b6b42 (patch) | |
| tree | 1bfd1273168a0244dfe466e83283ec6d72c1ff46 /stdlib/array.ml | |
| parent | 1d52692ccf904c61c3a893e2b289bdd88801d4f1 (diff) | |
Correcting the bug of large buffering when scanning files.
Introduction of two new functions Scanning.from_file and
Scanning.from_file_bin to alleviate this problem.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5506 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/array.ml')
0 files changed, 0 insertions, 0 deletions