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 5BF0A7EE25 for ; Mon, 28 Oct 2013 14:00:41 +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: AuQBAPFeblImacjlnGdsb2JhbABZgz9UrACSZIEaHg4BAQEBAQYWCTyCJQEBBScZAQEsCwEPCwsNDSEiEgEFAQoSBhMSh2MDDwMCCJltiw2EUwEFhEwDiW8Gj1UHhCyYDYEvjmwYKYRt X-IPAS-Result: AuQBAPFeblImacjlnGdsb2JhbABZgz9UrACSZIEaHg4BAQEBAQYWCTyCJQEBBScZAQEsCwEPCwsNDSEiEgEFAQoSBhMSh2MDDwMCCJltiw2EUwEFhEwDiW8Gj1UHhCyYDYEvjmwYKYRt X-IronPort-AV: E=Sophos;i="4.93,586,1378850400"; d="scan'208";a="32215259" 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; 28 Oct 2013 14:00:40 +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 1VamQt-000791-NH for caml-list@inria.fr; Mon, 28 Oct 2013 09:00:35 -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 1VamQt-0006yE-MQ for caml-list@inria.fr; Mon, 28 Oct 2013 09:00:35 -0400 Received: from mail-ee0-f42.google.com ([74.125.83.42]) by mxgoog2.janestreet.com with esmtp (Exim 4.76) (envelope-from ) id 1VamQt-00004r-Ha for caml-list@inria.fr; Mon, 28 Oct 2013 09:00:35 -0400 Received: by mail-ee0-f42.google.com with SMTP id b45so4422044eek.15 for ; Mon, 28 Oct 2013 06:00:35 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=janestreet.com; s=google; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=BKgjw7Uc90aD2CY7FEPbBM0OdvHar574s+XlHtlYk6I=; b=1R/Z3CqEQt8Piij0qyxgJxlIdF/pCndFjlpa7ncQSnfFiYaGQXKU+qk+HR0t8G9Lw5 5bmM/KnO4vzknUke31B+ifhb1AMc6Fn/BU0OK/a9L3HSTYuCKyJdc7eDMfnyCU9g4LVU jMO8VQ+uov2fzTvvcwmpNQlLm8RlH/3nMxW28= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:date :message-id:subject:from:to:cc:content-type; bh=BKgjw7Uc90aD2CY7FEPbBM0OdvHar574s+XlHtlYk6I=; b=KZ8GC1KHU3HnFpIQR45gtXZe0t1w6eRuHUY0rPVFxs38tn/0h30RmVGeD8VpK9L1EZ /YazuGh55G+KPnhzOOQRyj8tbiWTrVJ/tmDY5AV8UxG1yC9vRBZa8VX0S9c6Kr9h4HGE 4GMTDJQxRgI7iO+Kgrv2AIckBWbOPIb0gonHgSP6lTzfcD4tBo5cjWpRuEtka0YoD27W 9V5r2108EkO1Qfz1v8nU6fQRTL3VZRi3PH5qVhGsbmx2TpS/b49W26LXiyJZW14CslZn AnVKGhdvkft/rvS2Pp9rJfFHj6iXPTxibOdPpx+fGvRVtLNNdz1NBxgAXVNRS8K0VC9b 05eA== X-Gm-Message-State: ALoCoQnN5Oob0PzL3XpFOc1hWPNXCN7q3sPgTkfbjRTt22F1I3Kq3W3kXW/lW4Ahkjun0LUpx+9UDXIPlPNvyxRjXhVxE/kqSfPC6LCMJS8X8uWIm0IaAFR0fmlUBr4QNa+TPdFsPNc5v/0dw1HxUD9uwdT+p0Y8og== X-Received: by 10.14.113.137 with SMTP id a9mr21829779eeh.3.1382965235049; Mon, 28 Oct 2013 06:00:35 -0700 (PDT) MIME-Version: 1.0 X-Received: by 10.14.113.137 with SMTP id a9mr21829756eeh.3.1382965234814; Mon, 28 Oct 2013 06:00:34 -0700 (PDT) Received: by 10.223.180.138 with HTTP; Mon, 28 Oct 2013 06:00:34 -0700 (PDT) In-Reply-To: <20131028144215.3e546e24@kiwi.local.tld> References: <526D5AF9.9030303@coherentgraphics.co.uk> <20131028144215.3e546e24@kiwi.local.tld> Date: Mon, 28 Oct 2013 09:00:34 -0400 Message-ID: From: Yaron Minsky To: ygrek Cc: "caml-list@inria.fr" Content-Type: text/plain; charset=ISO-8859-1 Subject: Re: [Caml-list] Should -strict-sequence become the default? Interesting. Anyone know if the disabling of 21 with strict-sequence is a fundamental issue, or just an accident? It seems best to have both available at once. y On Mon, Oct 28, 2013 at 8:42 AM, ygrek wrote: > Hello, > > I have one problem with this option. Basically - it disables warning 21. Consider: > > $ ocaml > > # let f () = exit 0; 1;; > Characters 11-17: > let f () = exit 0; 1;; > ^^^^^^ > Warning 21: this statement never returns (or has an unsound type.) > val f : unit -> int = > > $ ocaml -strict-sequence > > # let f () = exit 0; 1;; > val f : unit -> int = > > So I choose to disable this option and strictly require `let () =` when calling callbacks. > > -- > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs