From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <virgile.prevosto@gmail.com>
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 D150E7EE25
	for <caml-list@sympa.inria.fr>; Thu, 24 Oct 2013 16:35:11 +0200 (CEST)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  virgile.prevosto@gmail.com) identity=pra;
  client-ip=209.85.223.173;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="virgile.prevosto@gmail.com";
  x-sender="virgile.prevosto@gmail.com";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  virgile.prevosto@gmail.com designates 209.85.223.173 as
  permitted sender) identity=mailfrom;
  client-ip=209.85.223.173;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="virgile.prevosto@gmail.com";
  x-sender="virgile.prevosto@gmail.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@mail-ie0-f173.google.com) identity=helo;
  client-ip=209.85.223.173;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="virgile.prevosto@gmail.com";
  x-sender="postmaster@mail-ie0-f173.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Al0DADQvaVLRVd+tlGdsb2JhbAA/GoM/VL9rCBYOAQEBAQcLCwkSKoImAQUnGQE5AwwBBQULOyEBEgEFARwGEwiHbQMPDTabGo9ghFgnDYllAQUMjFOHIQOWH4FrgS+LIYNLGCmBZIJtOg
X-IPAS-Result: Al0DADQvaVLRVd+tlGdsb2JhbAA/GoM/VL9rCBYOAQEBAQcLCwkSKoImAQUnGQE5AwwBBQULOyEBEgEFARwGEwiHbQMPDTabGo9ghFgnDYllAQUMjFOHIQOWH4FrgS+LIYNLGCmBZIJtOg
X-IronPort-AV: E=Sophos;i="4.93,562,1378850400"; 
   d="scan'208";a="31731993"
Received: from mail-ie0-f173.google.com ([209.85.223.173])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 24 Oct 2013 16:35:10 +0200
Received: by mail-ie0-f173.google.com with SMTP id u16so4122185iet.32
        for <caml-list@inria.fr>; Thu, 24 Oct 2013 07:35:10 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:sender:in-reply-to:references:date:message-id:subject
         :from:to:content-type;
        bh=glaP41qjo6gFn2XbOceY7r0zgZ7+uOudMgnYDlyie1Y=;
        b=jIk9J5seYcjZDt4/weqyEZgWC8TXIG3wuGcqkvLiqNKi08/bSbeYVmaTTUL71EgxFd
         H7/qjmbcAk4zib9gRlvPZ0mY2uybqidqC6oomC+s1Q0HCvUrg75OAJbT3Qw1j3IacMG6
         VjiTOpZkgAjFkTGGQ1QfWmCcGSU3brpA6CifQGGzk0aPrvuPiqmdSkCQzx9y8eqgwBNv
         0faw+G1rw6y5EyG4vpqvzzc5DGQAEv0p3+D4Ijqi7at+mZ/lRGG5fJp25QHb6zasIMMJ
         BnpuoAFhPRo7BpzNVPO7P8aw5hK3/38sAXJCy8W6VL/qSHOoICQ/k3N5qUmUVMswN/MJ
         TrPg==
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=m4x.org; s=gapps;
        h=mime-version:sender:in-reply-to:references:date:message-id:subject
         :from:to:content-type;
        bh=glaP41qjo6gFn2XbOceY7r0zgZ7+uOudMgnYDlyie1Y=;
        b=Qj0dCI1tmSzJQ/In+MYSs5V0XRee5RHcG3SjL3Gf5N9BoIkIpFrOQOwZwsNIWFn0yZ
         ChWAqu6MAXYe9LCKXk4jEjLCNA7b1IfoY46VJ+cYZwWH0MXUXYOTVrW4KxZJ4biMPBsK
         3Ccoc8vFS/0J/wvJATQVDJBdOZ9wom9Woraow=
MIME-Version: 1.0
X-Received: by 10.50.119.70 with SMTP id ks6mr2001649igb.22.1382625309894;
 Thu, 24 Oct 2013 07:35:09 -0700 (PDT)
Sender: virgile.prevosto@gmail.com
Received: by 10.64.107.233 with HTTP; Thu, 24 Oct 2013 07:35:09 -0700 (PDT)
In-Reply-To: <52692507.7040202@gmail.com>
References: <52692507.7040202@gmail.com>
Date: Thu, 24 Oct 2013 16:35:09 +0200
X-Google-Sender-Auth: JDNLaKY0b554VSNBE3NB92Z4jwk
Message-ID: <CA+yPOVhTM7NW6Yrz_wPL3ciRoivy_sDrMjgaKiExqSoX8c5UNg@mail.gmail.com>
From: Virgile Prevosto <virgile.prevosto@m4x.org>
To: OCAML <caml-list@inria.fr>
Content-Type: text/plain; charset=ISO-8859-1
Subject: Re: [Caml-list] strange compiler's tolerance

Hello,

2013/10/24 Matej Kosik <5764c029b688c1c0d24a2e97cd764f@gmail.com>:
> Hi,
>
> Today I noticed a strange compiler's tolerance.
> The compiler will not protest here:
>
>   type foo = Bar | Baz
>
>   ;;
>
>   match Bar with
>     | Bar _ -> ()
>     | Baz -> ()
>

It's not a bug, it's a "dubious feature". See
http://caml.inria.fr/mantis/view.php?id=5502 for more information. If
like me you indeed find that's it's more dubious than a feature,
warning 28
"Wildcard pattern given as argument to a constant constructor" is your
friend and is set by default.

Best regards,
-- 
E tutto per oggi, a la prossima volta
Virgile