Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0001254OCaml~DO NOT USE (was: OCaml general)public2002-07-20 19:152013-08-31 12:46
Assigned To 
StatusclosedResolutionwon't fix 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0001254: add filename extension with -pack option
DescriptionFull_Name: Charles Martin
Version: 3.04+15 (2002-06-18)
OS: FreeBSD 4.6-RELEASE-p1
Submission from: (

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...

TagsNo tags attached.
Attached Files

- Relationships

-  Notes
doligez (administrator)
2012-01-25 15:12

-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.

- Issue History
Date Modified Username Field Change
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
2017-02-23 16:36 doligez Category OCaml general => -OCaml general
2017-03-03 17:55 doligez Category -OCaml general => -(deprecated) general
2017-03-03 18:01 doligez Category -(deprecated) general => ~deprecated (was: OCaml general)
2017-03-06 17:04 doligez Category ~deprecated (was: OCaml general) => ~DO NOT USE (was: OCaml general)

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker