diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2002-03-05 12:27:38 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2002-03-05 12:27:38 +0000 |
| commit | 9c7e9c398ec6033534310276f306584c8e954347 (patch) | |
| tree | 99e1366b2628cd5d6563f3282d23aa3a5de7a23f /otherlibs | |
| parent | bddfe5d0cecccc8aa995fe95c4af5cbc41743747 (diff) | |
Petits bugs dans LargeFile
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4475 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs')
| -rw-r--r-- | otherlibs/threads/unix.ml | 2 | ||||
| -rw-r--r-- | otherlibs/unix/unix.ml | 2 | ||||
| -rw-r--r-- | otherlibs/unix/unix.mli | 2 | ||||
| -rw-r--r-- | otherlibs/unix/unixLabels.mli | 2 |
4 files changed, 4 insertions, 4 deletions
diff --git a/otherlibs/threads/unix.ml b/otherlibs/threads/unix.ml index 34d97d874..62a322118 100644 --- a/otherlibs/threads/unix.ml +++ b/otherlibs/threads/unix.ml @@ -259,7 +259,7 @@ external link : string -> string -> unit = "unix_link" module LargeFile = struct - external lseek : file_descr -> int64 -> seek_command -> int = "unix_lseek_64" + external lseek : file_descr -> int64 -> seek_command -> int64 = "unix_lseek_64" external truncate : string -> int64 -> unit = "unix_truncate_64" external ftruncate : file_descr -> int64 -> unit = "unix_ftruncate_64" type stats = diff --git a/otherlibs/unix/unix.ml b/otherlibs/unix/unix.ml index 5065a47ae..da9afcf7f 100644 --- a/otherlibs/unix/unix.ml +++ b/otherlibs/unix/unix.ml @@ -216,7 +216,7 @@ external link : string -> string -> unit = "unix_link" module LargeFile = struct - external lseek : file_descr -> int64 -> seek_command -> int = "unix_lseek_64" + external lseek : file_descr -> int64 -> seek_command -> int64 = "unix_lseek_64" external truncate : string -> int64 -> unit = "unix_truncate_64" external ftruncate : file_descr -> int64 -> unit = "unix_ftruncate_64" type stats = diff --git a/otherlibs/unix/unix.mli b/otherlibs/unix/unix.mli index f4060ea80..ba3095144 100644 --- a/otherlibs/unix/unix.mli +++ b/otherlibs/unix/unix.mli @@ -343,7 +343,7 @@ val fstat : file_descr -> stats module LargeFile : sig - val lseek : file_descr -> int64 -> seek_command -> int + val lseek : file_descr -> int64 -> seek_command -> int64 val truncate : string -> int64 -> unit val ftruncate : file_descr -> int64 -> unit type stats = diff --git a/otherlibs/unix/unixLabels.mli b/otherlibs/unix/unixLabels.mli index 069a2f9a8..346575115 100644 --- a/otherlibs/unix/unixLabels.mli +++ b/otherlibs/unix/unixLabels.mli @@ -347,7 +347,7 @@ val fstat : file_descr -> stats module LargeFile : sig - val lseek : file_descr -> int64 -> mode:seek_command -> int + val lseek : file_descr -> int64 -> mode:seek_command -> int64 val truncate : string -> len:int64 -> unit val ftruncate : file_descr -> len:int64 -> unit type stats = Unix.LargeFile.stats = |