Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0001254OCamlOCaml generalpublic2002-07-20 19:152013-08-31 12:46
Reporteradministrator 
Assigned To 
PrioritynormalSeverityfeatureReproducibilityalways
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: 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 <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
(0006796)
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


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker