From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <ygrek@autistici.org>
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 BAE9B7EE25
	for <caml-list@sympa.inria.fr>; Mon, 28 Oct 2013 13:42:18 +0100 (CET)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  ygrek@autistici.org) identity=pra; client-ip=82.94.249.234;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="ygrek@autistici.org";
  x-sender="ygrek@autistici.org"; x-conformance=sidf_compatible
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  ygrek@autistici.org designates 82.94.249.234 as permitted
  sender) identity=mailfrom; client-ip=82.94.249.234;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="ygrek@autistici.org";
  x-sender="ygrek@autistici.org";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  postmaster@latitanza.investici.org designates 82.94.249.234
  as permitted sender) identity=helo; client-ip=82.94.249.234;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="ygrek@autistici.org";
  x-sender="postmaster@latitanza.investici.org";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AvcBAG5ablJSXvnqnGdsb2JhbABZgmbAEYEiFg4BAQEBAQgUCTyCJgEFJxMGAQE4DwsJGCUPSIghA6UbhFMBBY48Bo9cFoQWjziIVAGVLw
X-IPAS-Result: AvcBAG5ablJSXvnqnGdsb2JhbABZgmbAEYEiFg4BAQEBAQgUCTyCJgEFJxMGAQE4DwsJGCUPSIghA6UbhFMBBY48Bo9cFoQWjziIVAGVLw
X-IronPort-AV: E=Sophos;i="4.93,586,1378850400"; 
   d="scan'208";a="32211959"
Received: from latitanza.investici.org ([82.94.249.234])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 28 Oct 2013 13:42:18 +0100
Received: from kiwi.local.tld (unknown [IPv6:2002:4e1b:bb56:0:6267:20ff:feea:5be8])
	(using SSLv3 with cipher DHE-RSA-AES128-SHA (128/128 bits))
	(No client certificate requested)
	(Authenticated sender: ygrek@autistici.org)
	by latitanza.investici.org (Postfix) with ESMTPSA id D730A98045
	for <caml-list@inria.fr>; Mon, 28 Oct 2013 12:42:16 +0000 (UTC)
X-DKIM: OpenDKIM Filter v2.6.8 latitanza.investici.org D730A98045
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=autistici.org;
	s=stigmate; t=1382964137;
	bh=DB4hBasykzHQIv2+mZweHmz0gzngumsF3z0Fl51gFgg=;
	h=Date:From:To:Subject:In-Reply-To:References;
	b=ftZ4W8AH7xl2TkDQnK6aMxqb6x5ziT28LHQJfOEBeHFmwAmzVr5XRlbb3ysnyhPRi
	 Q3YPIzlYmPjKwVgnSpLTIW9dMQVujpyyV9/A3Gj4Gopv2GotukVNznxeEgurkkK2Zu
	 IgPExU+HNOW7p2MoQhao8WCtA8GMho5DkKGsDr3E=
Date: Mon, 28 Oct 2013 14:42:15 +0200
From: ygrek <ygrek@autistici.org>
To: caml-list@inria.fr
Message-ID: <20131028144215.3e546e24@kiwi.local.tld>
In-Reply-To: <CACLX4jQrQugpBcJjy9-LZW=kF3XkkU69Tr-5AwVa0cOv4oCtWw@mail.gmail.com>
References: <CACLX4jSwg6j1FZWzz9VDpvNOEfOHp_nmdr3tHwy6QB7pyktPsw@mail.gmail.com>
	<526D5AF9.9030303@coherentgraphics.co.uk>
	<CACLX4jQrQugpBcJjy9-LZW=kF3XkkU69Tr-5AwVa0cOv4oCtWw@mail.gmail.com>
X-Mailer: Claws Mail 3.9.2 (GTK+ 2.24.10; x86_64-pc-linux-gnu)
Mime-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Subject: Re: [Caml-list] Should -strict-sequence become the default?

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 = <fun>

$ ocaml -strict-sequence

# let f () = exit 0; 1;;
val f : unit -> int = <fun>

So I choose to disable this option and strictly require `let () =` when calling callbacks.

--