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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 8C378801CD for ; Thu, 17 Aug 2017 15:50:24 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=5764c029b688c1c0d24a2e97cd764f@gmail.com; spf=Pass smtp.mailfrom=5764c029b688c1c0d24a2e97cd764f@gmail.com; spf=None smtp.helo=postmaster@mail-wr0-f172.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of 5764c029b688c1c0d24a2e97cd764f@gmail.com) identity=pra; client-ip=209.85.128.172; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="5764c029b688c1c0d24a2e97cd764f@gmail.com"; x-sender="5764c029b688c1c0d24a2e97cd764f@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of 5764c029b688c1c0d24a2e97cd764f@gmail.com designates 209.85.128.172 as permitted sender) identity=mailfrom; client-ip=209.85.128.172; receiver=mail3-smtp-sop.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 (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wr0-f172.google.com) identity=helo; client-ip=209.85.128.172; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="5764c029b688c1c0d24a2e97cd764f@gmail.com"; x-sender="postmaster@mail-wr0-f172.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3As+ih0hYqtDiuRlAMLpS7HeD/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZpsSybnLW6fgltlLVR4KTs6sC0LWG9f24EUU7or+/81k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i76vnYuHUD0PA9x?= =?us-ascii?q?Y+D0AZKa28++0uT3/5zIfy1JgiC8aPV8NkPlgx/Ws5wziJdvKO4SzQDIoTMcJr?= =?us-ascii?q?sImWgwfwOZwUas7Z67pJI5ry0KtqN+/MIfD/n0V6s9RL1cSj8hNjZmt4XQqRDf?= =?us-ascii?q?QF7XtTMnWWIMn08QDg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AbCQAvnpVZhqyAVdFdHgYMGQYMghKCA?= =?us-ascii?q?YEVniSBTIlKjHSCEQ4WgjiCa4RZRhEBAQEBAQEBAQEBARIBAQEICwsIKC+CMyK?= =?us-ascii?q?CbR0BGx4DEhAPAiYCJREBBQEiDQgCihMBAxWdQz+MCoIEBQEcgwkFg2YKGScNV?= =?us-ascii?q?keDIwIGCQEIeYIdggKDWguHfYJ6gmEFoEgBlEKBeIk/EYcUjHaHXjSBFTgBXUs?= =?us-ascii?q?yISR4hG4fJYFQdIokAQEB?= X-IPAS-Result: =?us-ascii?q?A0AbCQAvnpVZhqyAVdFdHgYMGQYMghKCAYEVniSBTIlKjHS?= =?us-ascii?q?CEQ4WgjiCa4RZRhEBAQEBAQEBAQEBARIBAQEICwsIKC+CMyKCbR0BGx4DEhAPA?= =?us-ascii?q?iYCJREBBQEiDQgCihMBAxWdQz+MCoIEBQEcgwkFg2YKGScNVkeDIwIGCQEIeYI?= =?us-ascii?q?dggKDWguHfYJ6gmEFoEgBlEKBeIk/EYcUjHaHXjSBFTgBXUsyISR4hG4fJYFQd?= =?us-ascii?q?IokAQEB?= X-IronPort-AV: E=Sophos;i="5.41,387,1498514400"; d="scan'208";a="234673598" Received: from mail-wr0-f172.google.com ([209.85.128.172]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 17 Aug 2017 15:50:23 +0200 Received: by mail-wr0-f172.google.com with SMTP id x43so44992798wrb.3 for ; Thu, 17 Aug 2017 06:50:23 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=to:from:subject:message-id:date:user-agent:mime-version :content-transfer-encoding; bh=vSGdt/bX1LLQMk594URpGZ+ex0jXSuqYvzhUQTnpIHM=; b=nFaW4KCSzwzLgkMNiy95fkZ2IPOAuXb/n3ene2i+31P5hKYqkBKfaM3uZDxs0Otsyg c0aZIii33lQThtbGIlc7FOat95Hd7PF3MNvi36xzPX9yWEFlSV0XKpFXXd8N0F789o1m /1T2STLJ2ltqVKFtu62EzBsefhIiy8s+VJoGDeRrW9sBVWrCo8ZfHM6V0KxALmIHJsAw GPKhlhgU54/O+naWC6Lg/UJG0iYm9npQ5dfYGSCpK2azWZh2FJ+R++hskOOV/OVIzTri PZMJwvDLJ9Q8bcfHbuO1HV6Pe5oavm/V065x4NOyNG+laeaze8rm8kKw/dgx8lwTogof MJYg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:to:from:subject:message-id:date:user-agent :mime-version:content-transfer-encoding; bh=vSGdt/bX1LLQMk594URpGZ+ex0jXSuqYvzhUQTnpIHM=; b=R67A7pLsE8jPTrA+aJ7WJ2LCyFgs//jT6B8XZXMqJyklWEsRhxU2X4DKZgxFQyEcKZ RnHuhd6qSyAIQ666qV9e1hRqlCeVCS7UqZe9nLBYZiLIwT8/oM70zIoNeDW9SMS3UXKJ C4NqkLr6WDJ3q6c0QulxtWq816g8KniFE7XyqrwrQuy4tknUgD9T2MBSCOyPiMDfH196 +eWEeozKVb3nzcC2UE7HVY7ted2iYn/BGb8GwE2z7htdaf6/V3s8+tLWmzMAYbg435vl 0T9YvWMrBWzcMNog+jEQhd78Slz13pkZyg6Y3BT0EzgMagdmvmRR5ffTkUFZ2tLj7FRY 5DiQ== X-Gm-Message-State: AHYfb5ilsfImKJTmhavly/uZHQhv5v6+6VylZbveFr1T6P/fbglA8GQJ 7oZa8x/G6LcA159g X-Received: by 10.28.145.2 with SMTP id t2mr1429044wmd.179.1502977823340; Thu, 17 Aug 2017 06:50:23 -0700 (PDT) Received: from [138.96.206.48] (marelle1.inria.fr. [138.96.206.48]) by smtp.googlemail.com with ESMTPSA id b23sm4920167wrd.40.2017.08.17.06.50.22 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Thu, 17 Aug 2017 06:50:22 -0700 (PDT) To: caml-list From: Matej Kosik <5764c029b688c1c0d24a2e97cd764f@gmail.com> Message-ID: <2389e7d7-5590-22d6-3322-605d9a5b20c3@gmail.com> Date: Thu, 17 Aug 2017 15:55:18 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Icedove/45.6.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit Subject: [Caml-list] Error: This variant or record definition does not match that of type ... Their kinds differ. 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 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?