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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 593617F30A for ; Tue, 12 Mar 2013 18:08:24 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.214.46; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.214.46 as permitted sender) identity=mailfrom; client-ip=209.85.214.46; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-bk0-f46.google.com) identity=helo; client-ip=209.85.214.46; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-bk0-f46.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoYCAEJgP1HRVdYuiGdsb2JhbABDDrJSkgqBQwgWDgEBARMUFAQkgikBAQVAARsSCwEDDAYFCw0NISIBEQEFAQoSBhMSh28BAw8MoyyMMoFxgQqEQwoZJwMKWYhrEQEFDI8BB4NAA5MRg0WBH411FimDbkA7 X-IPAS-Result: AoYCAEJgP1HRVdYuiGdsb2JhbABDDrJSkgqBQwgWDgEBARMUFAQkgikBAQVAARsSCwEDDAYFCw0NISIBEQEFAQoSBhMSh28BAw8MoyyMMoFxgQqEQwoZJwMKWYhrEQEFDI8BB4NAA5MRg0WBH411FimDbkA7 X-IronPort-AV: E=Sophos;i="4.84,832,1355094000"; d="scan'208";a="7101581" Received: from mail-bk0-f46.google.com ([209.85.214.46]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 12 Mar 2013 18:08:23 +0100 Received: by mail-bk0-f46.google.com with SMTP id j5so36093bkw.5 for ; Tue, 12 Mar 2013 10:08:23 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=x-received:mime-version:in-reply-to:references:from:date:message-id :subject:to:cc:content-type; bh=7HRJNbJVG56wHDkLT7B66RH2LViFtQB37bNYRVkExM4=; b=RhqIG5WHYVjpB8gK+E7PSOm3pURT5q3vpPUbq+uvq/XWvTuAWarPQ0BnCi5EmlzcHU pVMaCFgja94yEz/7m3kggh/dc7e+ohKoukCAkLRrq4GQE0FcIHSqVpwTfDZZXor3HkWS /FBk41mJ0RxzI8FmAINdDLIAOen+NKKWupcPcOkWAhuI3lbfgmLQrdZyNRiVEIb+8cBh 8PbkfsFdufYwc2JUIAtu0eS2SPGyy8xiD6D5j8Uc6/kzNpFoInKQ3vfEDAbK92RfVbej YEzYDMQXu4F8mVHVMIZ2XaVxyHopsfAZG8jm9KXOraEyjsAKN1IWsxC44xfJVudwf7Yk ALvw== X-Received: by 10.204.227.143 with SMTP id ja15mr6640452bkb.5.1363108103413; Tue, 12 Mar 2013 10:08:23 -0700 (PDT) MIME-Version: 1.0 Received: by 10.205.83.144 with HTTP; Tue, 12 Mar 2013 10:07:43 -0700 (PDT) In-Reply-To: <513F49BE.5010606@mcmaster.ca> References: <513DC595.9020006@frisch.fr> <513F49BE.5010606@mcmaster.ca> From: Gabriel Scherer Date: Tue, 12 Mar 2013 18:07:43 +0100 Message-ID: To: Jacques Garrigue Cc: Jacques Carette , Yaron Minsky , Mailing OCaML Content-Type: text/plain; charset=ISO-8859-1 Subject: Re: [Caml-list] Record field disambiguation in 4.01 Also on the new warning (thanks for the quick change!): I find it a bit strange that the message gives a list of possibilities then says "The first one was selected", while in my mental model the *last* declared type is chosen by default. I don't know if it's actually possible to list types by declaration order (levels?), but maybe you could at least arrange so that the selected one appears last? Or at least you could reword into "The last declaration of this field has type M.t, but types M.u and N.t would also be valid". On Tue, Mar 12, 2013 at 4:29 PM, Jacques Carette wrote: > On 13-03-12 11:05 AM, Jacques Garrigue wrote: >> >> I have improved the warning (revision 13395), so that it tells you the >> types involved. This should actually help in some hairy situations. > > > Would it also make sense to give the fully qualified names for the ambiguous > fields? This should also give a strong hint as to where the conflict comes > from. > > (another) Jacques > > > > -- > 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