add filename extension with -pack option #3449
Labels
Comments
|
Comment author: @damiendoligez -pack and -c are mutually exclusive and this is mentioned in the docs. Automatically adding extensions is a bad idea in general. File names should always be as specified by the user. It is not a good idea to report an error when the user specifies a non-standard file name. When the user knows what he's doing, we don't want to get in his way. We are left with the suggestion of outputting a warning when the "wrong" extension is given for the output of a -pack. I don't think it's worth the trouble: if you get a cmo file with the wrong extension, there is not much you can do with it by mistake. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Original bug ID: 1254
Reporter: administrator
Status: closed (set by @xavierleroy on 2013-08-31T10:46:10Z)
Resolution: won't fix
Priority: normal
Severity: feature
Category: ~DO NOT USE (was: OCaml general)
Bug description
Full_Name: Charles Martin
Version: 3.04+15 (2002-06-18)
OS: FreeBSD 4.6-RELEASE-p1
Submission from: adsl-63-195-80-23.dsl.snfc21.pacbell.net (63.195.80.23)
These are minor notes on the -pack option:
It would be nice if -pack checked the filename extension on the -o and
reported an error if it did not match (.cmo or .cmx, depending on the compiler),
or added the proper extension automatically if there is no extension specified.
Doesn't -pack imply the -c option? That should be documented...
The text was updated successfully, but these errors were encountered: