summaryrefslogtreecommitdiffstats
path: root/otherlibs/win32unix/createprocess.c
diff options
context:
space:
mode:
authorGabriel Scherer <gabriel.scherer@gmail.com>2013-07-21 20:03:52 +0000
committerGabriel Scherer <gabriel.scherer@gmail.com>2013-07-21 20:03:52 +0000
commitcdd43f280062f7d6693eabec6439623ccece6030 (patch)
tree574a2dfc63ebc01110f042e363da2636b0a53f7f /otherlibs/win32unix/createprocess.c
parent4574c718f8b822ae52095e89239df237c4288dfb (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