You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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:
-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.
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: