From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q25Du48b027126 for ; Mon, 5 Mar 2012 14:56:04 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Aj0DAIbFVE/RVde0jWdsb2JhbABDhUGvHQgiAQEBAQkJCwkSBiOBfgEBBBICDx0BGx4DDAYDAgsDDAIfBwICIgERAQUBDgENBicOh2WiFQqLJkyCcYRwP4EMAQULgSSOGIEWBJU+hxuHGT2EBg X-IronPort-AV: E=Sophos;i="4.73,534,1325458800"; d="scan'208";a="134426730" Received: from mail-ey0-f180.google.com ([209.85.215.180]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 05 Mar 2012 14:55:59 +0100 Received: by eaal12 with SMTP id l12so1527422eaa.39 for ; Mon, 05 Mar 2012 05:55:58 -0800 (PST) Received-SPF: pass (google.com: domain of gdsfh1@gmail.com designates 10.112.49.227 as permitted sender) client-ip=10.112.49.227; Authentication-Results: mr.google.com; spf=pass (google.com: domain of gdsfh1@gmail.com designates 10.112.49.227 as permitted sender) smtp.mail=gdsfh1@gmail.com; dkim=pass header.i=gdsfh1@gmail.com Received: from mr.google.com ([10.112.49.227]) by 10.112.49.227 with SMTP id x3mr774472lbn.99.1330955758812 (num_hops = 1); Mon, 05 Mar 2012 05:55:58 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :content-type:content-transfer-encoding; bh=X98L1ksT2rUVsBRZxyD9MYrOZCPOaVNFKieyRnoF+dQ=; b=pTXqXEHfbrmrfDaFtoH+2P49RWHIKRaOEIQP0MubQXodFWKqC5auv74MeQST5UDj47 ymN1l2nVlSRNobeXRT7wJ91pjUWB7TPuDFz4JpHW2azVo+opNYVYluydJ+/FbrsxooF9 N8GoV0R2yTBteiFoRUfTzfAFNLkaLDwdvx4yyC5k4Hl42z4KRQSDEevaCYkTzmYa5EJZ IIcIOJtGScRnoZTepR4DSk8yJ4li3OaecCnBg/gMLe2FawAJ14tKERNzewfbD6Ds/UZJ Tr15BqEINoCuO/A1FDbAXXTSmo/BmcTYZ2L/W7tST9N24wyzwHrGtUTSLLudELXkGimK yz8Q== MIME-Version: 1.0 Received: by 10.112.49.227 with SMTP id x3mr622578lbn.99.1330955758757; Mon, 05 Mar 2012 05:55:58 -0800 (PST) Received: by 10.152.145.229 with HTTP; Mon, 5 Mar 2012 05:55:58 -0800 (PST) In-Reply-To: <20120305134624.GA5718@mulga.csse.unimelb.edu.au> References: <20120305134624.GA5718@mulga.csse.unimelb.edu.au> Date: Mon, 5 Mar 2012 15:55:58 +0200 Message-ID: From: Dmitry Grebeniuk To: Jeff Schultz Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id q25Du48b027126 Subject: Re: [Caml-list] [community poll for PR#5312] Do some OCaml Windows users still use the @responsefile feature? Hello. >    1.  Disable the @responsefile feature and provide a command line >        flag to reenable it. Nice transition scheme, but I'd prefer a flag in OCAMLRUNPARAM environment variable, if/when such scheme will be approved/implemented. btw, still no problems with disabled @responsefile by the home-made patch, 8 months.