diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 1997-05-26 17:16:31 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 1997-05-26 17:16:31 +0000 |
| commit | 8555ce8fe79fbf54924845a608054306733eeeba (patch) | |
| tree | dd5b22190a08dcf3c1d8c16adc89988b60d982f1 /otherlibs/win32unix/winwait.c | |
| parent | ff13e60cd68933428c60c10680c82c3cd91ea8c2 (diff) | |
Changement de Push/Pop_roots en Begin/End_roots
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1572 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/win32unix/winwait.c')
| -rw-r--r-- | otherlibs/win32unix/winwait.c | 19 |
1 files changed, 8 insertions, 11 deletions
diff --git a/otherlibs/win32unix/winwait.c b/otherlibs/win32unix/winwait.c index 16fbece8f..07bed46f1 100644 --- a/otherlibs/win32unix/winwait.c +++ b/otherlibs/win32unix/winwait.c @@ -22,18 +22,15 @@ static value alloc_process_status(pid, status) int pid, status; { - value st, res; - Push_roots(r, 1); + value res; + value st = alloc(1, 0); - - st = alloc(1, 0); - Field(st, 0) = Val_int(status); - - r[0] = st; - res = alloc_tuple(2); - Field(res, 0) = Val_int(pid); - Field(res, 1) = r[0]; - Pop_roots(); + Begin_root (st); + Field(st, 0) = Val_int(status); + res = alloc_tuple(2); + Field(res, 0) = Val_int(pid); + Field(res, 1) = st; + End_roots(); return res; } |