From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <alain@frisch.fr>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id 578C87F30A
	for <caml-list@sympa.inria.fr>; Tue, 12 Mar 2013 09:05:53 +0100 (CET)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  alain@frisch.fr) identity=pra; client-ip=193.252.23.212;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="alain@frisch.fr"; x-sender="alain@frisch.fr";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  alain@frisch.fr) identity=mailfrom; client-ip=193.252.23.212;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="alain@frisch.fr"; x-sender="alain@frisch.fr";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@msa.smtpout.orange.fr) identity=helo;
  client-ip=193.252.23.212;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="alain@frisch.fr";
  x-sender="postmaster@msa.smtpout.orange.fr";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AtwAAKnhPlHB/BfUe2dsb2JhbABDwgaCYYFrDgEBCwsmAyWCKAEBBThAARALDgoJFg8JAwIBAgFFBg0BBwEBiBOvdJAzjw0Hg0ADllWFeo4G
X-IPAS-Result: AtwAAKnhPlHB/BfUe2dsb2JhbABDwgaCYYFrDgEBCwsmAyWCKAEBBThAARALDgoJFg8JAwIBAgFFBg0BBwEBiBOvdJAzjw0Hg0ADllWFeo4G
X-IronPort-AV: E=Sophos;i="4.84,829,1355094000"; 
   d="scan'208";a="6975042"
Received: from msa03.smtpout.orange.fr (HELO msa.smtpout.orange.fr) ([193.252.23.212])
  by mail2-smtp-roc.national.inria.fr with ESMTP; 12 Mar 2013 09:05:36 +0100
Received: from [192.168.1.120] ([86.195.25.207])
	by mwinf5d63 with ME
	id AY5a1l00Y4U5yvJ03Y5avf; Tue, 12 Mar 2013 09:05:35 +0100
Message-ID: <513EE1CE.4000501@frisch.fr>
Date: Tue, 12 Mar 2013 09:05:34 +0100
From: Alain Frisch <alain@frisch.fr>
User-Agent: Mozilla/5.0 (X11; Linux i686 on x86_64; rv:17.0) Gecko/20130215 Thunderbird/17.0.3
MIME-Version: 1.0
To: Yaron Minsky <yminsky@janestreet.com>
CC: yminsky@gmail.com, caml-list@inria.fr
References: <CADKNfhKDC-EwsKkjZ+uqbary5Cy48k=+J_GX4dzAMCi5v0hsNg@mail.gmail.com> <513DC595.9020006@frisch.fr> <CACLX4jSxsa1DAZPCVRs7D+B9Bhjt=OUCDgSScE3oQRanV0sdZw@mail.gmail.com>
In-Reply-To: <CACLX4jSxsa1DAZPCVRs7D+B9Bhjt=OUCDgSScE3oQRanV0sdZw@mail.gmail.com>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Subject: Re: [Caml-list] Record field disambiguation in 4.01

On 03/11/2013 07:52 PM, Yaron Minsky wrote:
> It is.  If I'd turned the warning off, would it have in fact picked
> the more recent definition?

Yes, indeed, the type-based disambiguation feature (for labels and 
constructors) did not change how well-typed programs are understood by 
the system.  It only makes more programs well-typed and adds some warnings.


-- Alain