From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <mmatalka@gmail.com>
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id C64A37EE25
	for <caml-list@sympa.inria.fr>; Mon, 28 Oct 2013 15:13:23 +0100 (CET)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  mmatalka@gmail.com) identity=pra; client-ip=209.85.212.180;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="mmatalka@gmail.com";
  x-sender="mmatalka@gmail.com"; x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  mmatalka@gmail.com designates 209.85.212.180 as permitted
  sender) identity=mailfrom; client-ip=209.85.212.180;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="mmatalka@gmail.com";
  x-sender="mmatalka@gmail.com"; x-conformance=sidf_compatible;
  x-record-type="v=spf1"
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mail-wi0-f180.google.com) identity=helo;
  client-ip=209.85.212.180;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="mmatalka@gmail.com";
  x-sender="postmaster@mail-wi0-f180.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AowDAEhwblLRVdS0lGdsb2JhbABZgmbAEYEkFg4BAQEBBwsLCRIqgiUBAQQBQAEbEgsBAwELBgULAwoJJQ8BBA8RAQUBIhOHdAEDCQYBBJlxjFaDCoQRChknDWSJAQEFDI9JB4QsA5gKkBtBhFE
X-IPAS-Result: AowDAEhwblLRVdS0lGdsb2JhbABZgmbAEYEkFg4BAQEBBwsLCRIqgiUBAQQBQAEbEgsBAwELBgULAwoJJQ8BBA8RAQUBIhOHdAEDCQYBBJlxjFaDCoQRChknDWSJAQEFDI9JB4QsA5gKkBtBhFE
X-IronPort-AV: E=Sophos;i="4.93,586,1378850400"; 
   d="scan'208";a="39181727"
Received: from mail-wi0-f180.google.com ([209.85.212.180])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 28 Oct 2013 15:13:15 +0100
Received: by mail-wi0-f180.google.com with SMTP id ey11so4029589wid.13
        for <caml-list@inria.fr>; Mon, 28 Oct 2013 07:13:23 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=from:to:cc:subject:references:date:in-reply-to:message-id
         :user-agent:mime-version:content-type;
        bh=BgwaiCx1KMmQYRLnNNWu2PoZjxfH1m6dQ8CfL8Nv7eM=;
        b=cFRv699kXV20dsl9C7qOhLgoqBdrAxvEkOpsDUXHPCwjrGvOqc6mKI8A5S7MoRnSDo
         DOFPH9yaIbjOeCbkpyqnAhOSw4jHLVAhhqFipKAH5zm28BS5k4pEa4dc1QpVEGSBCKgS
         Esu2DHEWHBJHCQ3k2GqLUdgJU9uuopZ9tWZBbjw9oJ0UH3RJnPytQGc+vNqm/3BATShn
         Ht3DhCOEW3JhzfuQmOyOVo8wG0n9gRQ3a7JNtKJi6t2XQeR1IefKpbNKVsFBJ+8n5rYh
         tzyBzi8BybuZS8WN+MuMA5V1Ji8L8YofX1zzczl4FUjltJwgPXtz5yw1jaXCxwpUplqq
         yzsg==
X-Received: by 10.180.219.33 with SMTP id pl1mr9379178wic.49.1382969602076;
        Mon, 28 Oct 2013 07:13:22 -0700 (PDT)
Received: from localhost ([2a01:7e00::f03c:91ff:fe70:2696])
        by mx.google.com with ESMTPSA id nc17sm10905268wic.1.2013.10.28.07.13.21
        for <multiple recipients>
        (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128);
        Mon, 28 Oct 2013 07:13:21 -0700 (PDT)
From: Malcolm Matalka <mmatalka@gmail.com>
To: Mark Shinwell <mshinwell@janestreet.com>
Cc: Jacques Garrigue <garrigue@math.nagoya-u.ac.jp>,  Yaron Minsky <yminsky@janestreet.com>,  ygrek <ygrek@autistici.org>,  "caml-list\@inria.fr" <caml-list@inria.fr>
References: <CACLX4jSwg6j1FZWzz9VDpvNOEfOHp_nmdr3tHwy6QB7pyktPsw@mail.gmail.com>
	<526D5AF9.9030303@coherentgraphics.co.uk>
	<CACLX4jQrQugpBcJjy9-LZW=kF3XkkU69Tr-5AwVa0cOv4oCtWw@mail.gmail.com>
	<20131028144215.3e546e24@kiwi.local.tld>
	<CACLX4jRoQAE5SkRr2ekuMUWRP9ZXiEF7taZYwPWmep-ZUb6h=w@mail.gmail.com>
	<CA+p7B-z8cJD2BgXoWHqTF3kaP5o0HJ-QNT9n95TV+AJd2o_oQw@mail.gmail.com>
	<CAM3Ki76f7FuOBQ6+_JR38A+0xBjNJHHZQzHMM9XgaC_PN1WmXQ@mail.gmail.com>
Date: Mon, 28 Oct 2013 14:13:20 +0000
In-Reply-To: <CAM3Ki76f7FuOBQ6+_JR38A+0xBjNJHHZQzHMM9XgaC_PN1WmXQ@mail.gmail.com>
	(Mark Shinwell's message of "Mon, 28 Oct 2013 09:18:44 -0400")
Message-ID: <87ob69scu7.fsf@gmail.com>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain
Subject: Re: [Caml-list] Should -strict-sequence become the default?

Sounds like a job for the massive opam computing grid!

Mark Shinwell <mshinwell@janestreet.com> writes:

> On 28 October 2013 09:08, Jacques Garrigue <garrigue@math.nagoya-u.ac.jp> wrote:
>> This said, I personally do not like the statement warning, and I'm not a big
>> fan of
>> -strict-sequence either, as both require changes in APIs.
>
> I'm very much in favour of making -strict-sequence the default.
>
> It doesn't seem to me that, given suitable notice disseminated through this
> mailing list, the change is overly disruptive.  (The fixing of code
> should largely
> be a mechanical process; and the error can be quickly turned off in the event
> of having a particularly problematic source file.)
>
> Mark