Implementation du type file_descr par le type HANDLE de Win32. Court-circuite la libc de MSVC.

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1700 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

1 files changed, 9 insertions, 0 deletions

diff --git a/otherlibs/win32unix/unixsupport.c b/otherlibs/win32unix/unixsupport.c
index b5aad5700..8a2bb0fc2 100644
--- a/otherlibs/win32unix/unixsupport.c
+++ b/otherlibs/win32unix/unixsupport.c
@@ -21,6 +21,15 @@
 #include <errno.h>
 #include <winsock.h>
 
+/* Heap-allocation of Windows file handles */
+
+value win_alloc_handle(HANDLE h)
+{
+  value res = alloc(sizeof(HANDLE) / sizeof(value), Abstract_tag);
+  Handle_val(res) = h;
+  return res;
+}
+
 /* Windows socket errors */
 
 #define EWOULDBLOCK             WSAEWOULDBLOCK