diff options
Diffstat (limited to 'otherlibs/win32unix/unix.ml')
| -rw-r--r-- | otherlibs/win32unix/unix.ml | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/otherlibs/win32unix/unix.ml b/otherlibs/win32unix/unix.ml index ee7d6456e..acb12d695 100644 --- a/otherlibs/win32unix/unix.ml +++ b/otherlibs/win32unix/unix.ml @@ -242,7 +242,9 @@ type stats = external stat : string -> stats = "unix_stat" let lstat = stat -let fstat fd = invalid_arg "Unix.fstat not implemented" +external fstat : file_descr -> stats = "unix_fstat" +let isatty fd = + match (fstat fd).st_kind with S_CHR -> true | _ -> false (* Operations on file names *) @@ -273,7 +275,7 @@ module LargeFile = } external stat : string -> stats = "unix_stat_64" let lstat = stat - let fstat fd = invalid_arg "Unix.LargeFile.fstat not implemented" + external fstat : file_descr -> stats = "unix_fstat_64" end (* File permissions and ownership *) |