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 D7A1F7ED99 for ; Wed, 13 May 2015 22:09:19 +0200 (CEST) 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: A0BBAQD3rlNVnBwEb0JcDoQzzGoKAoE+PBABAQEBAQEBEQEBAQEBBg0JCSEuhCEBAQMBQDkBBAsLRiwrBog3CLYDhVmNXgEBAQEBAQQBAQEBAQEWBos6hQUHgxeBFrRBg1xaIjGCRgEBAQ X-IPAS-Result: A0BBAQD3rlNVnBwEb0JcDoQzzGoKAoE+PBABAQEBAQEBEQEBAQEBBg0JCSEuhCEBAQMBQDkBBAsLRiwrBog3CLYDhVmNXgEBAQEBAQQBAQEBAQEWBos6hQUHgxeBFrRBg1xaIjGCRgEBAQ X-IronPort-AV: E=Sophos;i="5.13,422,1427752800"; d="scan'208";a="144571015" Received: from out4-smtp.messagingengine.com ([66.111.4.28]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 13 May 2015 22:09:19 +0200 Received: from compute4.internal (compute4.nyi.internal [10.202.2.44]) by mailout.nyi.internal (Postfix) with ESMTP id 0468520B78 for ; Wed, 13 May 2015 16:09:17 -0400 (EDT) Received: from web3 ([10.202.2.213]) by compute4.internal (MEProxy); Wed, 13 May 2015 16:09:18 -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=d/zMGO2q7zo98zmX5+T75BxVo7I=; b=hdNdQy uGTILR1/qHflsAowYeVjeyPH51tSCUQh0qsxJxeAEKgO/Xx8h53yPOh0gdCamJt3 XqYc3IpvjSYaw7lQdfkCuEPo+BQsDBBQRaznF0CJc26u59FDUIgq0yAQWDJ87fVa Bexf84mOVevHs7pHEvY2QhAuJcvVBteD0wNkw= 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=d/zMGO2q7zo98zm X5+T75BxVo7I=; b=lL1vCSAxGpgBm3Tu9zvgEP4zEC6O7gb4QaeCl9Km2kzWIWu azGJ0H0+uCzR3Ao7GAp7IFp/cxcSJTGlTBAAJbSVm/zexkkQ712h+sc2MOwTgb7s odjwdSjg0A8yDDjxhEyVh9Vpg3TNAD0s+RtF2818I4xvBCIs2aiSS2YwZtdM= Received: by web3.nyi.internal (Postfix, from userid 99) id CF31E101C9E; Wed, 13 May 2015 16:09:17 -0400 (EDT) Message-Id: <1431547757.1650739.268076905.58EB1E56@webmail.messagingengine.com> X-Sasl-Enc: lF+ZsDRBPhrwwgWHqXnfzD3gEXqyxu24tHD0+I1kw/ZE 1431547757 From: Leo White To: Stephen Dolan Cc: Ocaml Mailing List MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain X-Mailer: MessagingEngine.com Webmail Interface - ajax-e7ca9928 Date: Wed, 13 May 2015 16:09:17 -0400 In-Reply-To: References: Subject: Re: [Caml-list] Private types and subtyping > The compiler (4.02.1) rejects this. Is this just a missing feature, or > is there some deep reason I'm missing why the above is not OK? I believe that this is just a missing feature rather than something which would be unsound or impracticable to implement. Regards, Leo