From: Gabriel Scherer <gabriel.scherer@gmail.com>
To: Jeff Schultz <jws@csse.unimelb.edu.au>
Cc: caml-list <caml-list@yquem.inria.fr>
Subject: Re: [Caml-list] [community poll for PR#5312] Do some OCaml Windows users still use the @responsefile feature?
Date: Mon, 5 Mar 2012 15:31:55 +0100 [thread overview]
Message-ID: <CAPFanBHmtE97X4cxZr7ExpV06U1_Znzrpfa7A5C6Zb8gE+Sorg@mail.gmail.com> (raw)
In-Reply-To: <20120305134624.GA5718@mulga.csse.unimelb.edu.au>
> It looks to me like you could simply disable the feature for arguments
> following -w.
If I understand the situation correctly, this approach is not
currently an option, as the @responsefile expansion is done by the
OCaml runtime -- affects all programs, before they process their
arguments -- while the "-w" exception would only make sense for the
compiler toolchains; there is no reason why an user program (that
currently can use the @responsefile feature) would suddenly stop
expanding @-files after a "-w", an option which may have completely
different semantics in this program command-line interface.
On Mon, Mar 5, 2012 at 2:46 PM, Jeff Schultz <jws@csse.unimelb.edu.au> wrote:
> On Mon, Mar 05, 2012 at 11:46:08AM +0100, Gabriel Scherer wrote:
>> According to our Windows spies, the command-line restrictions are
>> nowadays very reasonable: 8K for cmd.com, and 32K internally. Maybe
>> the @responsefile feature has outlived its use, and this bug could be
>> fixed by simply removing the @-files expansion phase of the runtime.
>
> 8K is not much.
>
>> This change would however affect all user programs, so it should not
>> be taken lightly; it could break your programs.
>
>> What do OCaml Windows user think? Do you still rely on @reponsefile?
>> Please complain if you do -- or your users do -- and don't hesitate to
>> pass the question to off-list OCaml Windows users.
>
> I stopped using OCaml for new development *because* of the pain it
> caused on MSWIN, so my opinion is probably not very valuable.
>
> It looks to me like you could simply disable the feature for arguments
> following -w. However, if you want to remove the feature, I suggest
> that you do so in three stages:
>
> 1. Disable the @responsefile feature and provide a command line
> flag to reenable it. Warn if this conflicts with the -w @a
> style of options.
> 2. In a later release, remove the code, but make the flag print
> an appropriate diagnostic.
> 3. In an even later release, remove the flag completely.
>
> The time between the first two steps should be determined by the
> response to the first step.
>
> This is the standard evolution: make people notice that you are taking
> a feature away, but let them keep using it, followed by taking it
> away, but telling them it's gone, followed by pretending it never
> existed.
>
> It's good that you're adding the desirable preliminary of asking
> first.
>
>
> Jeff Schultz
>
> --
> Caml-list mailing list. Subscription management and archives:
> https://sympa-roc.inria.fr/wws/info/caml-list
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>
next prev parent reply other threads:[~2012-03-05 14:32 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-03-05 10:46 Gabriel Scherer
2012-03-05 11:02 ` David Allsopp
2012-03-05 12:02 ` Romain Bardou
2012-03-05 13:06 ` Adrien
2012-03-05 13:46 ` Jeff Schultz
2012-03-05 13:55 ` Dmitry Grebeniuk
2012-03-05 14:31 ` Gabriel Scherer [this message]
[not found] ` <20120305151021.GA26422@mulga.csse.unimelb.edu.au>
2012-03-05 15:51 ` Gabriel Scherer
2012-03-05 18:37 ` Gerd Stolpmann
2012-03-05 12:46 Damien Guichard
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=CAPFanBHmtE97X4cxZr7ExpV06U1_Znzrpfa7A5C6Zb8gE+Sorg@mail.gmail.com \
--to=gabriel.scherer@gmail.com \
--cc=caml-list@yquem.inria.fr \
--cc=jws@csse.unimelb.edu.au \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox