From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <lambda.q.q@gmail.com>
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 BB7397EE25
	for <caml-list@sympa.inria.fr>; Wed,  5 Jun 2013 07:26:10 +0200 (CEST)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  lambda.q.q@gmail.com) identity=pra; client-ip=209.85.217.171;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="lambda.q.q@gmail.com";
  x-sender="lambda.q.q@gmail.com";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  lambda.q.q@gmail.com designates 209.85.217.171 as permitted
  sender) identity=mailfrom; client-ip=209.85.217.171;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="lambda.q.q@gmail.com";
  x-sender="lambda.q.q@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-lb0-f171.google.com) identity=helo;
  client-ip=209.85.217.171;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="lambda.q.q@gmail.com";
  x-sender="postmaster@mail-lb0-f171.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: ArMBAJLLrlHRVdmrlWdsb2JhbABahi5HvG8WDgEBAQEHDQkJEiqCTQQZATkDDQUfAgUhAhEBJAEFAYgwAw8Em3CCfot7g06FAycNiG8BBQyBGo4bgjGBFAOJGo4lj1s/gV2CXQ
X-IPAS-Result: ArMBAJLLrlHRVdmrlWdsb2JhbABahi5HvG8WDgEBAQEHDQkJEiqCTQQZATkDDQUfAgUhAhEBJAEFAYgwAw8Em3CCfot7g06FAycNiG8BBQyBGo4bgjGBFAOJGo4lj1s/gV2CXQ
X-IronPort-AV: E=Sophos;i="4.87,804,1363129200"; 
   d="scan'208";a="16790506"
Received: from mail-lb0-f171.google.com ([209.85.217.171])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 05 Jun 2013 07:26:10 +0200
Received: by mail-lb0-f171.google.com with SMTP id v5so1490694lbc.16
        for <caml-list@inria.fr>; Tue, 04 Jun 2013 22:26:09 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=sender:from:to:subject:date:message-id:mime-version:content-type
         :content-transfer-encoding;
        bh=YH+qnLQ2BDStprI3SvjLfFwCL1gJu2OIuICcornmhqA=;
        b=NKVu7z0mzTr8BQMXOEPSXaie94r86huUjr+9rBi2k0r2RRUjCpYd80uY/Te3KNtGso
         hgSzb20ejFfVj+BgdY9w8fucqB8QRvHSrY7G73mVslhU7TEoXp5Bj+Q3+KDTIemIzLbB
         RjYaVaviV0FcZG49Ul3GruekZLhjtjNaBerhg9yYKFxOw2EDL032H7qhXSPh4Yum72cY
         PyTDwhyBAA2tjxdQK3LCZRHbLbRffBOweXax3xwwe7rcrFkkr6RN1xnzlqyS1L5UAcVF
         HDafwicEsBSzQsQttOp5sHDUo+0FemU56PA+eiiaMBvafAETSojy2RuF2mnjUqDrM/Qj
         EWVg==
X-Received: by 10.152.121.73 with SMTP id li9mr14480014lab.18.1370409969226;
        Tue, 04 Jun 2013 22:26:09 -0700 (PDT)
Received: from golf.niidar.ru.niidar.ru ([109.188.125.208])
        by mx.google.com with ESMTPSA id e3sm26327482lbf.17.2013.06.04.22.26.07
        for <caml-list@inria.fr>
        (version=TLSv1.1 cipher=RC4-SHA bits=128/128);
        Tue, 04 Jun 2013 22:26:08 -0700 (PDT)
Sender: Ivan Gotovchits <lambda.q.q@gmail.com>
From: Ivan Gotovchits <ivg@ieee.org>
To: caml-list@inria.fr
Date: Wed, 05 Jun 2013 09:26:03 +0400
Message-ID: <87sj0xqgb8.fsf@golf.niidar.ru>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Subject: [Caml-list] Warning 28.


After switching to a newer version of Ocaml I've started to receive
some interesting warnings on my old codebase. And there is one warning
that I do not understand. I have the following patter matching:

    ...
    | Ref n -> ...
    ...

where Ref is:

type t =3D
  ...
  | Ref of int

Compiler issues me a warning:

=C2=ABWarning 28: wildcard pattern given as argument to a constant construc=
tor=C2=BB

Sorry, but if I understand this wording correctly, then I do not see
anything criminal in issuing a wildcard pattern to a constant
constructor. What is wrong?
--=20
         (__)=20
         (oo)=20
   /------\/=20
  / |    ||=20=20=20
 *  /\---/\=20
    ~~   ~~=20=20=20
...."Have you mooed today?"...