|Anonymous | Login | Signup for a new account||2016-06-29 02:09 CEST|
|Main | My View | View Issues | Change Log | Roadmap|
|View Issue Details|
|ID||Project||Category||View Status||Date Submitted||Last Update|
|0001254||OCaml||OCaml general||public||2002-07-20 19:15||2013-08-31 12:46|
|Target Version||Fixed in Version|
|Summary||0001254: add filename extension with -pack option|
|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 (22.214.171.124)
These are minor notes on the -pack option:
It would be nice if -pack checked the filename extension on the -o <file> 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...
|Tags||No tags attached.|
-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.
|2005-11-18 10:13||administrator||New Issue|
|2012-01-25 15:12||doligez||Note Added: 0006796|
|2012-01-25 15:12||doligez||Status||acknowledged => resolved|
|2012-01-25 15:12||doligez||Resolution||open => won't fix|
|2012-01-25 15:12||doligez||Description Updated||View Revisions|
|2013-08-31 12:46||xleroy||Status||resolved => closed|
|Copyright © 2000 - 2011 MantisBT Group|