diff options
author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2013-07-21 20:03:52 +0000 |
---|---|---|
committer | Gabriel Scherer <gabriel.scherer@gmail.com> | 2013-07-21 20:03:52 +0000 |
commit | cdd43f280062f7d6693eabec6439623ccece6030 (patch) | |
tree | 574a2dfc63ebc01110f042e363da2636b0a53f7f /otherlibs/win32unix/createprocess.c | |
parent | 4574c718f8b822ae52095e89239df237c4288dfb (diff) |
PR#5644: a dumbed-down fix to fix the observable effect (Stream.of_string) with no change to the underlying code (to avoid regressions)
As I learned the hard way, it is essentially impossible to get
a satisfying behavior in presence of a mix of updates, concatenations
and counts. The best thing to do is thus to not change anything
(a good way to preserve compatibility), and only fix the
Stream.of_string function to assume nothing of the count passed to the
[from] function.
I also modified the mli documentation of [Stream.from] to warn other
users of this potential pitfall.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13915 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/win32unix/createprocess.c')
0 files changed, 0 insertions, 0 deletions