From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 23DD47EE25 for ; Sun, 27 Oct 2013 15:20:50 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of yminsky@janestreet.com) identity=pra; client-ip=38.105.200.229; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yminsky@janestreet.com"; x-sender="yminsky@janestreet.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of yminsky@janestreet.com designates 38.105.200.229 as permitted sender) identity=mailfrom; client-ip=38.105.200.229; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yminsky@janestreet.com"; x-sender="yminsky@janestreet.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@tot-dmz-mxout1.janestreet.com) identity=helo; client-ip=38.105.200.229; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yminsky@janestreet.com"; x-sender="postmaster@tot-dmz-mxout1.janestreet.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlUCADcgbVImacjlnGdsb2JhbABZhBO/cx4OAQEBAQEGFgk1B4JsAQE4JV0SAQUBIhuHfwMCmU6LDYRTAQWOKgaUCJgNkBsYKYRt X-IPAS-Result: AlUCADcgbVImacjlnGdsb2JhbABZhBO/cx4OAQEBAQEGFgk1B4JsAQE4JV0SAQUBIhuHfwMCmU6LDYRTAQWOKgaUCJgNkBsYKYRt X-IronPort-AV: E=Sophos;i="4.93,580,1378850400"; d="scan'208";a="32082858" Received: from mx5.janestreet.com (HELO tot-dmz-mxout1.janestreet.com) ([38.105.200.229]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 27 Oct 2013 15:20:49 +0100 Received: from tot-oib-smtp1.delacy.com ([172.27.22.15] helo=tot-smtp) by tot-dmz-mxout1.janestreet.com with esmtp (Exim 4.76) (envelope-from ) id 1VaRCx-0005Dh-N6 for caml-list@inria.fr; Sun, 27 Oct 2013 10:20:47 -0400 Received: from tot-dmz-mxgoog1.delacy.com ([172.27.224.14] helo=mxgoog2.janestreet.com) by tot-smtp with esmtps (TLSv1:AES256-SHA:256) (Exim 4.72) (envelope-from ) id 1VaRCx-0005b1-M8 for caml-list@inria.fr; Sun, 27 Oct 2013 10:20:47 -0400 Received: from mail-ea0-f179.google.com ([209.85.215.179]) by mxgoog2.janestreet.com with esmtp (Exim 4.76) (envelope-from ) id 1VaRCx-0005VV-I2 for caml-list@inria.fr; Sun, 27 Oct 2013 10:20:47 -0400 Received: by mail-ea0-f179.google.com with SMTP id b10so1636101eae.24 for ; Sun, 27 Oct 2013 07:20:47 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=janestreet.com; s=google; h=mime-version:date:message-id:subject:from:to:content-type; bh=OvLAqJK+kSPDoNreObyCNTkz/j1YfMy1CKk9914CmQ8=; b=WhB0IW2n4yyFilVvugnhdA5dBW6CqXNB6LwBsSWZktX0nW3OAkjRhHr1siMa0XReGx rRh+V3HFttkieWCFa2gkiBGWPOcSHpmHjehb4c8tsrKTTv/xTjImlgkm/or4bhI6k9EK uATOR4e2Si8X81ksIQ9VUZ4WBl6EjY1KPmwGo= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:date:message-id:subject:from:to :content-type; bh=OvLAqJK+kSPDoNreObyCNTkz/j1YfMy1CKk9914CmQ8=; b=hbSzAf7jvtc9PMrKSiCYSab+OFoDbKwmFrXw9DXmeCT5lCZqYo+s5WScnpiQIjgkys 2VhRX3BKNrQLQE3p2zW9YotMD17RiQEc9KGn9uhLs/Ez4fDNF5yox41+4hSzzKfsWZW8 IbBLMQbrM4SStH/v+mO87u9fs1JBFX3BjvH83XrIXFcdIxIUhxm45/qHv8lP54cG3Bwk CQam4g7ssxf1TmKGGgRf4aQjy40349svzpPAoBHCkvymzreRQmMN/G0Vk1bi2MqyIDxJ Ehl6j7wxI2Z/qB+Hu40LnweNUZNnUlejuORJs5Z+AxQj06xfbhyK2FXzbFvK6eDDcM9k xVmg== X-Gm-Message-State: ALoCoQmgqp+Gtt4DyFFxNBdHRQ3/AiCyCTcAYONMCStYiFCxExA4a88pJSI8Us82VKybCu2AzWYGkVJ5kGbIghx+W6WGv6p7oky6xAvrK4L73NzHoccf52oxYkSIkssoXoXzDDqvP2IEPjwcjGwQULj74uKG5amqzA== X-Received: by 10.14.212.72 with SMTP id x48mr17134790eeo.0.1382883647012; Sun, 27 Oct 2013 07:20:47 -0700 (PDT) MIME-Version: 1.0 X-Received: by 10.14.212.72 with SMTP id x48mr17134784eeo.0.1382883646844; Sun, 27 Oct 2013 07:20:46 -0700 (PDT) Received: by 10.223.180.138 with HTTP; Sun, 27 Oct 2013 07:20:46 -0700 (PDT) Date: Sun, 27 Oct 2013 10:20:46 -0400 Message-ID: From: Yaron Minsky To: "caml-list@inria.fr" Content-Type: text/plain; charset=ISO-8859-1 Subject: [Caml-list] Should -strict-sequence become the default? Back in 3.12.1, a flag, -strict-sequence, was added that require that the left-hand side of a sequence returns unit. I suspect there's broad agreement that -strict-sequence is the better default, but that the old behavior has been left in place by default for compatibility reasons. I wonder if in the next major release, it would make sense to make -strict-sequence the default, and have a flag for enabling the old behavior. To say the obvious, such a change would be of no value to experienced people and organizations that know how to set up the compiler to their liking, but can be of real value to newcomers to the language. y