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 DD7CF7FDE1 for ; Wed, 27 Jul 2016 10:19:05 +0200 (CEST) IronPort-PHdr: 9a23:zjr5ZBIKSufuRD0gbtmcpTZWNBhigK39O0sv0rFitYgULPnxwZ3uMQTl6Ol3ixeRBMOAuqoC1bad6vm8EUU7or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6anHS+4HYoFwnlMkItf6KuS9aU0Zj8jrnus7ToICxwzAKnZr1zKBjk5S7wjeIxxbVYF6Aq1xHSqWFJcekFjUlhJFaUggqurpzopM0r221qtvkg789NV7nhN+R9FOQATWduD2dgzcnitB+LYxGO/XAcGjEflhNJBU7L9hDhVZfZtibqt+R8niKdOJulY6ozXGGG4qAjdx/plCpPYzo090nTktMq0eRdrQ739E83+JLdfIzAbKk2RajaZ95PADMZBss= Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=leo@lpw25.net; spf=None smtp.mailfrom=leo@lpw25.net; spf=None smtp.helo=postmaster@out4-smtp.messagingengine.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of leo@lpw25.net) identity=pra; client-ip=66.111.4.28; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="leo@lpw25.net"; x-sender="leo@lpw25.net"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of leo@lpw25.net) identity=mailfrom; client-ip=66.111.4.28; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="leo@lpw25.net"; x-sender="leo@lpw25.net"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@out4-smtp.messagingengine.com) identity=helo; client-ip=66.111.4.28; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="leo@lpw25.net"; x-sender="postmaster@out4-smtp.messagingengine.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DuAQAjbZhXhxwEb0JehBV8uH2BfSaFbQoCgS46EgEBAQEBAQEBEQEBAQgNCQkZL0EOAYFiBAESAYITAQQBQDkBDws1ESwrBog8CA6xS4YbgnoBAQEBAQEBAwEBAQEBAQEBFwMFiCqCTYJfhQ2CL44aixsBhhiKOo1pkCUkAYJQgXMgMoM/hQIBAQE X-IPAS-Result: A0DuAQAjbZhXhxwEb0JehBV8uH2BfSaFbQoCgS46EgEBAQEBAQEBEQEBAQgNCQkZL0EOAYFiBAESAYITAQQBQDkBDws1ESwrBog8CA6xS4YbgnoBAQEBAQEBAwEBAQEBAQEBFwMFiCqCTYJfhQ2CL44aixsBhhiKOo1pkCUkAYJQgXMgMoM/hQIBAQE X-IronPort-AV: E=Sophos;i="5.28,428,1464645600"; d="scan'208";a="228092825" Received: from out4-smtp.messagingengine.com ([66.111.4.28]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 27 Jul 2016 10:19:05 +0200 Received: from compute2.internal (compute2.nyi.internal [10.202.2.42]) by mailout.nyi.internal (Postfix) with ESMTP id 2FBFB2069F; Wed, 27 Jul 2016 04:19:03 -0400 (EDT) Received: from web1 ([10.202.2.211]) by compute2.internal (MEProxy); Wed, 27 Jul 2016 04:19:03 -0400 DKIM-Signature: v=1; a=rsa-sha1; c=relaxed/relaxed; d=lpw25.net; h=cc :content-transfer-encoding:content-type:date:from:in-reply-to :message-id:mime-version:references:subject:to:x-sasl-enc :x-sasl-enc; s=mesmtp; bh=bdPvxg2Rs3DO34KNUODHFsGkpy0=; b=Lvy9Hi /WMnrWcjccSpVSUoRINnrE2ujuEEK4DxJxWMswjme3+qhaO32RiAog4dx+mBzkAP V/Js79/s3ln8tQkq8qg9ofjg0eQwFjdhzdz2e56na72N89oeZvlVRaFu205XBf85 3XwGCO9k5oK5luqV4sJjQ9q6dEjgxXwu4/d+U= DKIM-Signature: v=1; a=rsa-sha1; c=relaxed/relaxed; d= messagingengine.com; h=cc:content-transfer-encoding:content-type :date:from:in-reply-to:message-id:mime-version:references :subject:to:x-sasl-enc:x-sasl-enc; s=smtpout; bh=bdPvxg2Rs3DO34K NUODHFsGkpy0=; b=M+J1w2zw1nL9I7naZyjBjWUiTUkOd/k02DoQ+aoyetPHKxZ ZdN/xtjPt4i+3OXmwEQMbUbW4mgk4zZNywQn8Xgib/VUlJ26jlSfucYsXb74VTWl mPvbE5GitpyMlfE8He+JsY9BbKexdSw+0XfLnhZoop8zHmWaD0YpMWB1LTis= Received: by mailuser.nyi.internal (Postfix, from userid 99) id EACC36A557; Wed, 27 Jul 2016 04:19:02 -0400 (EDT) Message-Id: <1469607542.3786388.677997945.214F613E@webmail.messagingengine.com> X-Sasl-Enc: 6UBfFkuox5yXQJZo/iMS+pD1gRV280Ph1CHaWUCHpa4P 1469607542 From: Leo White To: Alain Frisch Cc: Gabriel Scherer , caml users MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain X-Mailer: MessagingEngine.com Webmail Interface - ajax-217db728 In-Reply-To: <14e4dd61-7ff6-fdef-c103-a33c4f728bd9@lexifi.com> References: <64e8e1be-7081-d683-e777-6f377968f36c@gmail.com> <07e4f1d2-f61f-4047-b1a0-7339b78825e3@lexifi.com> <1469525797.2529112.676963937.25E14FD6@webmail.messagingengine.com> <14e4dd61-7ff6-fdef-c103-a33c4f728bd9@lexifi.com> Date: Wed, 27 Jul 2016 04:19:02 -0400 Subject: Re: [Caml-list] exception Foo = Bar.Baz > > So: do people see some use in being able to rename extension constructors? > Renaming extension constructors can definitely be useful. Essentially, it is required if you want to have an extension constructor as the parameter or result of some function. The testsuite contains such an example: https://github.com/ocaml/ocaml/blob/trunk/testsuite/tests/typing-extensions/msg.ml In that example, the function is a functor which returns fresh constructors. The name of this constructor is just `C` since the functor does not know what the constructor represents, but it can then be renamed to something more suitable. Regards, Leo