Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

copy in module Sys #2930

Closed
vicuna opened this issue Aug 26, 2001 · 2 comments
Closed

copy in module Sys #2930

vicuna opened this issue Aug 26, 2001 · 2 comments
Labels

Comments

@vicuna
Copy link

vicuna commented Aug 26, 2001

Original bug ID: 496
Reporter: administrator
Status: closed
Resolution: not a bug
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)

Bug description

Full_Name: Vanicat Rémi
Version: 3.02
OS: linux
Submission from: ca-ol-bordeaux-19-95.abo.wanadoo.fr (195.6.80.95)

In the module Sys, there is the rename and delete function. I believe that to be
complete, there should be the copy function. I know that copy exist in the Unix
library, but i believe that it's not homegenous, and the i found the unix
library too big for only the copy function

@vicuna
Copy link
Author

vicuna commented Aug 27, 2001

Comment author: administrator

In the module Sys, there is the rename and delete function. I
believe that to be complete, there should be the copy function. I
know that copy exist in the Unix library, but i believe that it's
not homegenous, and the i found the unix library too big for only
the copy function

There is no file copy operation in Unix either (Unix.dup duplicates
file handles, which is a very different operation). Actually, while
"rename" and "delete" are system calls on most OSes, file copy is
almost never a system call and must be handled by the user program.
Sys and Unix basically reflect the basic operations provided by the
OS, and file copy is not one of them.

  • Xavier Leroy

@vicuna
Copy link
Author

vicuna commented Aug 30, 2001

Comment author: administrator

At best a feature wish.

@vicuna vicuna closed this as completed Aug 30, 2001
@vicuna vicuna added the bug label Mar 19, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

1 participant