From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: <5764c029b688c1c0d24a2e97cd764f@gmail.com> 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 C8229801CD for ; Thu, 17 Aug 2017 15:53:21 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=5764c029b688c1c0d24a2e97cd764f@gmail.com; spf=Pass smtp.mailfrom=5764c029b688c1c0d24a2e97cd764f@gmail.com; spf=None smtp.helo=postmaster@mail-wr0-f177.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of 5764c029b688c1c0d24a2e97cd764f@gmail.com) identity=pra; client-ip=209.85.128.177; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="5764c029b688c1c0d24a2e97cd764f@gmail.com"; x-sender="5764c029b688c1c0d24a2e97cd764f@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of 5764c029b688c1c0d24a2e97cd764f@gmail.com designates 209.85.128.177 as permitted sender) identity=mailfrom; client-ip=209.85.128.177; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="5764c029b688c1c0d24a2e97cd764f@gmail.com"; x-sender="5764c029b688c1c0d24a2e97cd764f@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-wr0-f177.google.com) identity=helo; client-ip=209.85.128.177; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="5764c029b688c1c0d24a2e97cd764f@gmail.com"; x-sender="postmaster@mail-wr0-f177.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AS6yhCRNC6q0AX3oUu2Al6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0K/TzrarrMEGX3/hxlliBBdydsK0UzbeO+4nbGkU+or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6a8TWO6msZExD7cA50?= =?us-ascii?q?Pfi9ToXbisDy0+Gp57XSZR9JjXyze+UhAg+xqFD0v9Ubg8NBLb0wyVOd/yQWJ+?= =?us-ascii?q?8OnzJiewLDlE/3vsvqoJc5/nUPsP5+qZJOear/dqU8C7dfCWJ1YCgO+MT3uEyb?= =?us-ascii?q?HkO07XwGXzBOnw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CZAgCOn5VZhrGAVdFdHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBghKCAYEVniSBTCKJKI8FJII4gmsChFdDFAEBAQEBAQEBAQEBEgE?= =?us-ascii?q?BAQgLCwgoL4IzIoJDAQEBAQIBIx0BGx4DDAYFCw0CAiYCAiMRAQUBHAYNCAKKE?= =?us-ascii?q?wEDDQidPz+MCoIEBQEcgwkFg2YKGScNVkeCeQEBAQcCAR0CBgkBCHmCHYICg1o?= =?us-ascii?q?LgnGFDIJ6gmEFmBuILQGUQos3EYcUjHaHXjSBFTaBKzIhJHiEbh8lgVB0iiQBA?= =?us-ascii?q?QE?= X-IPAS-Result: =?us-ascii?q?A0CZAgCOn5VZhrGAVdFdHAEBBAEBCgEBFwEBBAEBCgEBghK?= =?us-ascii?q?CAYEVniSBTCKJKI8FJII4gmsChFdDFAEBAQEBAQEBAQEBEgEBAQgLCwgoL4IzI?= =?us-ascii?q?oJDAQEBAQIBIx0BGx4DDAYFCw0CAiYCAiMRAQUBHAYNCAKKEwEDDQidPz+MCoI?= =?us-ascii?q?EBQEcgwkFg2YKGScNVkeCeQEBAQcCAR0CBgkBCHmCHYICg1oLgnGFDIJ6gmEFm?= =?us-ascii?q?BuILQGUQos3EYcUjHaHXjSBFTaBKzIhJHiEbh8lgVB0iiQBAQE?= X-IronPort-AV: E=Sophos;i="5.41,387,1498514400"; d="scan'208";a="287405569" Received: from mail-wr0-f177.google.com ([209.85.128.177]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 17 Aug 2017 15:53:21 +0200 Received: by mail-wr0-f177.google.com with SMTP id b65so44418828wrd.0 for ; Thu, 17 Aug 2017 06:53:21 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=subject:to:references:from:message-id:date:user-agent:mime-version :in-reply-to:content-transfer-encoding; bh=v6SMueNObkHpwt7UtFEcD5S0bZEaWX0efUeik7k0u5I=; b=Lv6+ZPYTqxzGtg2n+pUZrQB+hLbdorBI4DK2rbeVbtok35Ix19Io0+OVFaOfIaGwio cAG+G4Y/MY/o8clXvk16j0pnLPS6n9sMrMov/YVSqVCjIcIA9HaYg6WyAaiW8mx4jeU8 GnijmvA897iSSlx7jIjDe9kCW5tB7TnutOV9xr117dA1zrz41pH30svF3QWElpy0TjUD JdV2DFXT3U7O1fdnNEA1x2kZTqdjFZeumF2ptIztZcXgPLvD5gBvPmGGiEEBgjcze5C5 uBEq2zWXSuJ8Kr5HRCY92h95lhp139eWCVrc4YcDOZvOGLo8HGvLe7fK6xB6jkC0Iu0n zwTA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:subject:to:references:from:message-id:date :user-agent:mime-version:in-reply-to:content-transfer-encoding; bh=v6SMueNObkHpwt7UtFEcD5S0bZEaWX0efUeik7k0u5I=; b=fmAsgcz3N/+5xHsFxXnWg3YDkPAGTUvG1+Q9ZuEhP4W5CMxgWGv+Jq6jzAxNZcqI0I lVa3Mqx+wz/I+uGT+shinpc8dS0UH7URuiMlYM7s+bLJg8TitSVjSnC684LCVFSj2mBY GwIgXZIOqkt1ktNZNcu7IjQHPpVqXxJn9R46orTWWwd/mNE3f9dzFoJiqOcCX1SnFwh4 opkGK74mEcPynG6KYO+4Z0F07uQWN0uoJ5Z8J0Norb+RDQ1hkvM5mIHUzMoPhV6+L0vf DL577Q6VG4rgY+rIiz4GnxJ2STTO8KwoIS0es3TOE6WnGkyMAU9RC22GRIn9QCBZXmVq SxZA== X-Gm-Message-State: AHYfb5hIJMhohrvM2worouJoMdY+tjb9ON4534DGBGdKI0xnQLwAnEIX 4ihpLGSaSeWW8xix X-Received: by 10.28.35.73 with SMTP id j70mr1228526wmj.94.1502978000659; Thu, 17 Aug 2017 06:53:20 -0700 (PDT) Received: from [138.96.206.48] (marelle1.inria.fr. [138.96.206.48]) by smtp.googlemail.com with ESMTPSA id g17sm3970177wmc.44.2017.08.17.06.53.19 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Thu, 17 Aug 2017 06:53:20 -0700 (PDT) To: caml-list References: <2389e7d7-5590-22d6-3322-605d9a5b20c3@gmail.com> From: Matej Kosik <5764c029b688c1c0d24a2e97cd764f@gmail.com> Message-ID: <10ff4b6f-705a-6c92-0868-51cd7dc742ab@gmail.com> Date: Thu, 17 Aug 2017 15:58:15 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Icedove/45.6.0 MIME-Version: 1.0 In-Reply-To: <2389e7d7-5590-22d6-3322-605d9a5b20c3@gmail.com> Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] Error: This variant or record definition does not match that of type ... Their kinds differ. On 08/17/2017 03:55 PM, Matej Kosik wrote: > Hi, > > If my "b.mli" file contains the following code: > > (*1*) module rec A : > (*2*) sig > (*3*) type t = T1 > (*4*) end > (*5*) > (*6*) and B : > (*7*) sig > (*8*) type t = A.t = T1 > (*9*) end > > and I try to compile it like this: > > ocamlc -c b.ml I made a mistake. I had: ocamlc -c b.mli in mind. > > then I get the following error: > > File "b.mli", line 8, characters 9-26: > Error: This variant or record definition does not match that of type A.t > Their kinds differ. > > I am wondering what does this error message mean? > What is the kind of A.t? > What is the kind of B.t? > Why are the kinds of of B.t and A.t different? >