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 A13E37F30A for ; Sun, 10 Mar 2013 10:33:56 +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.53; 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.53 as permitted sender) identity=mailfrom; client-ip=209.85.214.53; 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-f53.google.com) identity=helo; client-ip=209.85.214.53; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-bk0-f53.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtEBAPhRPFHRVdY1iGdsb2JhbABDsjqJWQGILIFFCBYOAQEBCgkUFAQkgiYBAQQBQAEUBxILAQMBCwYFBAcNDSEhAQERAQUBChIZCAqHbgEDCQYMnVyMMoJ7g3AKGScDClmIfAEFDIw6gkQEBxaDKgOUdYFggR6KPoM3FimELjs X-IPAS-Result: AtEBAPhRPFHRVdY1iGdsb2JhbABDsjqJWQGILIFFCBYOAQEBCgkUFAQkgiYBAQQBQAEUBxILAQMBCwYFBAcNDSEhAQERAQUBChIZCAqHbgEDCQYMnVyMMoJ7g3AKGScDClmIfAEFDIw6gkQEBxaDKgOUdYFggR6KPoM3FimELjs X-IronPort-AV: E=Sophos;i="4.84,817,1355094000"; d="scan'208";a="6291462" Received: from mail-bk0-f53.google.com ([209.85.214.53]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 10 Mar 2013 10:33:56 +0100 Received: by mail-bk0-f53.google.com with SMTP id j10so1267131bkw.26 for ; Sun, 10 Mar 2013 01:33:55 -0800 (PST) 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=ougj74MZOSaCdE6hJ4pkHgHdn4L+QBlzeZ2/dAluCC4=; b=aMncDv3pGvB9IXs7smpmYHC9ROazs+u3hscL2hhgJEnI5sxJl5uXxFTS4VpaW/iveN aZjNYRIrB9CAWeqsWhvGM56oC1ZFjbp0vg6fB6pnNaSs2DsQO4ieA53wHu0ubB0bfsV/ wrM6fxto1Whvu8ka7OsEHgdY1xxApbEn4Hw+xQOx5h7YZStvFdJWyLa8U+fQgF8rMX5d OZmTIG9SetMToO2nR4OWnRFlMZkSx0VM1yON+dNWBtfZ0XqmdurBjszfRMWmLR2LC2EW 5aAeb4TG1RjHuq4zeb8QKs+fCjAg11C7h2Y/ZGs4Klw2rB/hdtIbyxT1E+yaBXG8fQzn jr/w== X-Received: by 10.204.227.143 with SMTP id ja15mr3218970bkb.5.1362908035584; Sun, 10 Mar 2013 01:33:55 -0800 (PST) MIME-Version: 1.0 Received: by 10.205.83.144 with HTTP; Sun, 10 Mar 2013 01:33:14 -0800 (PST) In-Reply-To: References: From: Gabriel Scherer Date: Sun, 10 Mar 2013 10:33:14 +0100 Message-ID: To: caml-list@inria.fr Cc: yminsky@gmail.com, Markus Mottl Content-Type: multipart/alternative; boundary=485b3970d3bc52c67a04d78ec19f Subject: Re: [Caml-list] Record field disambiguation in 4.01 --485b3970d3bc52c67a04d78ec19f Content-Type: text/plain; charset=ISO-8859-1 In case some people feel the need for more context here, the feature that is discussed was explained in a blog post of Alain Frisch: http://www.lexifi.com/blog/type-based-selection-label-and-constructors On Sun, Mar 10, 2013 at 4:04 AM, Markus Mottl wrote: > On Sat, Mar 9, 2013 at 6:39 PM, Yaron Minsky wrote: > > A few concerns: one, it's really hard to figure out where the source > > of the conflict is from this message. It would be nice to get some > > clue from the compiler as to the two definitions that are conflicting. > > I haven't investigated this, but my bet would be that the ambiguity is > due to the record in the Core.Std.Date module (y = year). > > Regards, > Markus > > -- > Markus Mottl http://www.ocaml.info markus.mottl@gmail.com > > -- > 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 > --485b3970d3bc52c67a04d78ec19f Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable In case some people feel the need for more context here, the feature that i= s discussed was explained in a blog post of Alain Frisch:
=A0 ht= tp://www.lexifi.com/blog/type-based-selection-label-and-constructors

On Sun, Mar 10, 2013 at 4:04 AM, Markus Mott= l <markus.mottl@gmail.com> wrote:
On Sat, Mar 9, 2013 at 6:39 PM, Yaron Minsky <yminsky@gmail.com> wrote:
> A few concerns: one, it's really hard to figure out where the sour= ce
> of the conflict is from this message. =A0It would be nice to get some<= br> > clue from the compiler as to the two definitions that are conflicting.=

I haven't investigated this, but my bet would be that the ambigui= ty is
due to the record in the Core.Std.Date module (y =3D year).

Regards,
Markus

--
Markus Mottl =A0 =A0 =A0 =A0http://www.ocaml.info =A0 =A0 =A0 =A0markus.mottl@gmail.com

--
Caml-list mailing list. =A0Subscription management and archives:
ht= tps://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

--485b3970d3bc52c67a04d78ec19f--