From 72157b51f73275f15aa43a3c5f6cd1e0038bca52 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Tue, 11 Mar 1997 10:38:06 +0000
Subject: Marquage des primitives ML (pour le toplevel Windows).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1369 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
---
otherlibs/str/strstubs.c | 14 +++++++-------
otherlibs/win32unix/createprocess.c | 2 +-
otherlibs/win32unix/listen.c | 2 +-
otherlibs/win32unix/sockopt.c | 4 ++--
otherlibs/win32unix/startup.c | 4 ++--
otherlibs/win32unix/system.c | 2 +-
otherlibs/win32unix/windir.c | 4 ++--
otherlibs/win32unix/winwait.c | 2 +-
8 files changed, 17 insertions(+), 17 deletions(-)
diff --git a/otherlibs/str/strstubs.c b/otherlibs/str/strstubs.c
index 06c552ebe..a2f3eb181 100644
--- a/otherlibs/str/strstubs.c
+++ b/otherlibs/str/strstubs.c
@@ -34,7 +34,7 @@ static regexp alloc_regexp()
static char * case_fold_table = NULL;
-value str_compile_regexp(src, fold)
+value str_compile_regexp(src, fold) /* ML */
value src, fold;
{
regexp expr;
@@ -70,7 +70,7 @@ static regoff_t start_regs[10], end_regs[10];
static struct re_registers match_regs = { 10, start_regs, end_regs };
-value str_string_match(expr, text, pos)
+value str_string_match(expr, text, pos) /* ML */
regexp expr;
value text, pos;
{
@@ -85,7 +85,7 @@ value str_string_match(expr, text, pos)
}
}
-value str_search_forward(expr, text, pos)
+value str_search_forward(expr, text, pos) /* ML */
regexp expr;
value text, pos;
{
@@ -103,7 +103,7 @@ value str_search_forward(expr, text, pos)
}
}
-value str_search_backward(expr, text, pos)
+value str_search_backward(expr, text, pos) /* ML */
regexp expr;
value text, pos;
{
@@ -121,19 +121,19 @@ value str_search_backward(expr, text, pos)
}
}
-value str_beginning_group(ngroup)
+value str_beginning_group(ngroup) /* ML */
value ngroup;
{
return Val_int(start_regs[Int_val(ngroup)]);
}
-value str_end_group(ngroup)
+value str_end_group(ngroup) /* ML */
value ngroup;
{
return Val_int(end_regs[Int_val(ngroup)]);
}
-value str_replacement_text(repl, orig)
+value str_replacement_text(repl, orig) /* ML */
value repl, orig;
{
value res;
diff --git a/otherlibs/win32unix/createprocess.c b/otherlibs/win32unix/createprocess.c
index 8f44254db..9600cf0fe 100644
--- a/otherlibs/win32unix/createprocess.c
+++ b/otherlibs/win32unix/createprocess.c
@@ -46,7 +46,7 @@ value win_create_process_native(cmd, cmdline, env, fd1, fd2, fd3)
return Val_int(pi.hProcess);
}
-value win_create_process(argv, argn)
+value win_create_process(argv, argn) /* ML */
value * argv;
int argn;
{
diff --git a/otherlibs/win32unix/listen.c b/otherlibs/win32unix/listen.c
index 1c017e140..15e8334e3 100644
--- a/otherlibs/win32unix/listen.c
+++ b/otherlibs/win32unix/listen.c
@@ -15,7 +15,7 @@
#include "unixsupport.h"
#include <winsock.h>
-value unix_listen(sock, backlog)
+value unix_listen(sock, backlog) /* ML */
value sock, backlog;
{
if (listen((SOCKET) _get_osfhandle(Int_val(sock)), Int_val(backlog)) == -1)
diff --git a/otherlibs/win32unix/sockopt.c b/otherlibs/win32unix/sockopt.c
index 3986b8788..a3832cb21 100644
--- a/otherlibs/win32unix/sockopt.c
+++ b/otherlibs/win32unix/sockopt.c
@@ -20,7 +20,7 @@ static int sockopt[] = {
SO_DEBUG, SO_BROADCAST, SO_REUSEADDR, SO_KEEPALIVE,
SO_DONTROUTE, SO_OOBINLINE };
-value unix_getsockopt(socket, option)
+value unix_getsockopt(socket, option) /* ML */
value socket, option;
{
int optval, optsize;
@@ -31,7 +31,7 @@ value unix_getsockopt(socket, option)
return Val_int(optval);
}
-value unix_setsockopt(socket, option, status)
+value unix_setsockopt(socket, option, status) /* ML */
value socket, option, status;
{
int optval = Int_val(status);
diff --git a/otherlibs/win32unix/startup.c b/otherlibs/win32unix/startup.c
index 922a11fa0..ef11de0c9 100644
--- a/otherlibs/win32unix/startup.c
+++ b/otherlibs/win32unix/startup.c
@@ -17,7 +17,7 @@
value val_process_id;
-value win_startup(unit)
+value win_startup(unit) /* ML */
value unit;
{
WSADATA wsaData;
@@ -33,7 +33,7 @@ value win_startup(unit)
return Val_unit;
}
-value win_cleanup(unit)
+value win_cleanup(unit) /* ML */
value unit;
{
(void) WSACleanup();
diff --git a/otherlibs/win32unix/system.c b/otherlibs/win32unix/system.c
index ecbc0e571..de4f14d07 100644
--- a/otherlibs/win32unix/system.c
+++ b/otherlibs/win32unix/system.c
@@ -18,7 +18,7 @@
#include <process.h>
#include <stdio.h>
-value win_system(cmd)
+value win_system(cmd) /* ML */
value cmd;
{
int ret;
diff --git a/otherlibs/win32unix/windir.c b/otherlibs/win32unix/windir.c
index 08f70ed66..2661133b7 100644
--- a/otherlibs/win32unix/windir.c
+++ b/otherlibs/win32unix/windir.c
@@ -41,7 +41,7 @@ value win_findfirst(name) /* ML */
return v;
}
-value win_findnext(valh)
+value win_findnext(valh) /* ML */
value valh;
{
int retcode;
@@ -52,7 +52,7 @@ value win_findnext(valh)
return copy_string(fileinfo.name);
}
-value win_findclose(valh)
+value win_findclose(valh) /* ML */
value valh;
{
if (_findclose(Int_val(valh)) != 0) uerror("closedir", Nothing);
diff --git a/otherlibs/win32unix/winwait.c b/otherlibs/win32unix/winwait.c
index 6b078a9cc..ebba52ff4 100644
--- a/otherlibs/win32unix/winwait.c
+++ b/otherlibs/win32unix/winwait.c
@@ -37,7 +37,7 @@ static value alloc_process_status(pid, status)
return res;
}
-value win_waitpid(flags, vpid_req)
+value win_waitpid(flags, vpid_req) /* ML */
value flags, vpid_req;
{
int status, pid_req;
--
cgit v1.2.3-70-g09d2