0001254: add filename extension with -pack option

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0001254

OCaml

OCaml general

public

2002-07-20 19:15

2012-01-25 15:12

Reporter

administrator

Assigned To

Priority

normal

Severity

feature

Reproducibility

always

Status

resolved

Resolution

won't fix

Platform

OS Version

Product Version

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

Tags

No tags attached.

Attached Files

Relationships

Notes
(0006796) doligez (manager) 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