From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 618807FF50 for ; Mon, 8 Aug 2016 17:27:43 +0200 (CEST) IronPort-PHdr: 9a23:ILbK0RI0hinhOCu5utmcpTZWNBhigK39O0sv0rFitYgULvnxwZ3uMQTl6Ol3ixeRBMOAuqoC2rKd4/6ocFdDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXsq3G/pQQfBg/4fVIsYL+kQsiD14/niaibwN76W01wnj2zYLd/fl2djD76kY0ou7ZkMbs70RDTo3FFKKx8zGJsIk+PzV6nvp/jtM0rzyMFsPsk84tEUL7mV6U+V71RSjo8YE4v48i+jjeLaAKV5WYHGkgSnABJBQeNuBz+UI3wtCTSq/FwwjLcJsrrV7s5VzO44KotThL03nRUfwUl+X3a35QjxJlQpwis8kRy Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=elfring@users.sourceforge.net; spf=Fail smtp.mailfrom=elfring@users.sourceforge.net; spf=None smtp.helo=postmaster@mout.web.de Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of elfring@users.sourceforge.net) identity=pra; client-ip=212.227.15.3; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="elfring@users.sourceforge.net"; x-sender="elfring@users.sourceforge.net"; x-conformance=sidf_compatible Received-SPF: Fail (mail2-smtp-roc.national.inria.fr: domain of elfring@users.sourceforge.net does not designate 212.227.15.3 as permitted sender) identity=mailfrom; client-ip=212.227.15.3; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="elfring@users.sourceforge.net"; x-sender="elfring@users.sourceforge.net"; 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@mout.web.de) identity=helo; client-ip=212.227.15.3; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="elfring@users.sourceforge.net"; x-sender="postmaster@mout.web.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BMBAACpKhXhwMP49RdhBsqUrsQHIV3gUg8EAEBAQEBAQEBEQEBAQgNCQkZL0EBAQEBAQEBAQYCgWEWgkAEgQcCJgJsCAEBiDGiUo9jkEiBAYchh2GCNYJaAQSZOYE2hGeIbYFVAWOHDgoEhW6QLDWBYAELAVWBWWyBJ4FrgjEkJYFTAQEB X-IPAS-Result: A0BMBAACpKhXhwMP49RdhBsqUrsQHIV3gUg8EAEBAQEBAQEBEQEBAQgNCQkZL0EBAQEBAQEBAQYCgWEWgkAEgQcCJgJsCAEBiDGiUo9jkEiBAYchh2GCNYJaAQSZOYE2hGeIbYFVAWOHDgoEhW6QLDWBYAELAVWBWWyBJ4FrgjEkJYFTAQEB X-IronPort-AV: E=Sophos;i="5.28,490,1464645600"; d="scan'208";a="229348553" Received: from mout.web.de ([212.227.15.3]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 08 Aug 2016 17:27:42 +0200 Received: from [192.168.1.2] ([77.181.220.236]) by smtp.web.de (mrweb001) with ESMTPSA (Nemesis) id 0LhvUI-1ata1c0YHC-00n9w2 for ; Mon, 08 Aug 2016 17:27:42 +0200 To: caml-list@inria.fr From: SF Markus Elfring Message-ID: Date: Mon, 8 Aug 2016 17:27:41 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.2 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit X-Provags-ID: V03:K0:v++ZtevC1CueWaTu1n949SiZEDeXoCGIQAPHrFtgi+6/jxrMfW+ aSg49sm2x2QFY5NVp3oKBeAq1gvTJ8hV3FK5AAT5TcDMFYhc7u7Qg8MFRKrpwl2DZFMmHsf 86Fi+rWglSeuXEVvgIKqqYx+gLzrYkQV3UOPyAbZpzOXOJIZXTwft61BTP2N2RO8GuP/1eT QckcSiC9trYtQpgPn+SEg== X-UI-Out-Filterresults: notjunk:1;V01:K0:NzncSQkZ/PU=:ViLSBjsEdLIsnJAqMRHrxA ymUBypk+Sb1AxpQjpTmkcz08Kq5OC5qTJRL+lHIkk/dqvF0eoBuRwIciDi3f/FKDnGunHF9H4 dA8pXFS13CVjspoteXpvTAoYy+0akIOnvSektyX+wEknzwvIjKnzXx+4BwH4bpmmKmoTtGT5b c6iemLIAejw8BUPf1BODt1Qlva4/RwskjRs7KvZU2AwIQFkxpY0pxywfdJGwPzh7TFa7lVaSk IfSpu78R+CUmH1SyNOEjxnm7HGW7r2BWuGRupOmn4yhg905Zx5yqlcmwBYzT8kE3nOhaGRHa6 Z73Qb0x1pQOSg1cDb95hQQsSq11frAZoNgJdhE3+NbtQp/yCcgoLC8fFtyx2YhnD4WmES4Hf4 50yY768QZ8msb7KeRPNHoq37KzCQFBp48DCrFl110xwK7Hxq3Z8QLdyzvgHF6gBg6KgSU7hRy p1zZHD1TPqix5Uchny4bc8+HlthNQed8VsNkY0qinkTdINVtBNbGNdrCqR7lTdT0LneRnIltH jWIkQdG25sTuyCAeZQx6wATD+25eHR8gkLl67d6V1xV4PPYx5xNE3wBWpqQM2p9w182izKDRo ya9qkpuIUxG0382NSo6xK0mY2CRQVeATjFMxeWD3PMBl6YWjTXqfhw6x+iXgyEs+LDzDLMx86 0bAItdXDymzVm8CkrPuHGAhnmOUO5pwjJeNDuzva7pCz92TICBR9lbsdYGYb+yU1VjAgodxnq 8eIhysDiRVwog2WIz1cpJUueGdI8tYns4bvVxEANDSiNbfaYUooSMrIAT4DryA32vVzGRhmGa yK49/PR Subject: [Caml-list] Checking another constraint for an OCaml class Hello, I added a few functions (and methods) to a source file for OCaml classes. Now I wonder about a corresponding constraint "'b = value:'d -> 'e" which is displayed by the command "ocamlc -i omap2b.ml". How should I find out if such a generated interface description is acceptable for my use case? Regards, Markus