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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 991917EF5E for ; Mon, 25 Jul 2016 11:29:03 +0200 (CEST) IronPort-PHdr: 9a23:Oo3vShFLuMp7wmDwJK2YkZ1GYnF86YWxBRYc798ds5kLTJ75r8+wAkXT6L1XgUPTWs2DsrQf2rKQ7fmrATFIyK3CmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBybrysXNWD14LpjqvqptX6WEZhvHKFe7R8LRG7/036l/I9ps9cEJs30QbDuXBSeu5blitCLFOXmAvgtI/rpMYwuwwZgf8q9tZBXKPmZOx4COUAVHV1e1wysebrrxjYUQyX5nYGGlcXlx9FGQ3M6heyCpzxqCrhqu1l2CSAFcLzQKowWDLk46o9GzHyjyJSEjc9+2bTj4RVhb5SpBGo70h6xofIaYWWPdJxe6rceZURQm8XDZUZbDBIHo7pN9hHNOEGJ+sN6tCl/1Y= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=mmatalka@gmail.com; spf=Pass smtp.mailfrom=mmatalka@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f51.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of mmatalka@gmail.com) identity=pra; client-ip=74.125.82.51; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mmatalka@gmail.com"; x-sender="mmatalka@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of mmatalka@gmail.com designates 74.125.82.51 as permitted sender) identity=mailfrom; client-ip=74.125.82.51; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mmatalka@gmail.com"; x-sender="mmatalka@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-wm0-f51.google.com) identity=helo; client-ip=74.125.82.51; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mmatalka@gmail.com"; x-sender="postmaster@mail-wm0-f51.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DzAABD25VXfzNSfUpchBV8uGKBfByGAQKBNjgUAQEBAQEBAQERAQEJCwsJFzGCMgQBEgGCEgEBBAESFRkBGx0BAwwGBQsNCSUPAQQNAhEBBQEiEyKHcwEDDwgEl2mBMj4xjSWCWgWEFgoZJw1UgyMBAQEBAQUBAQEBARoCBhCED4ILhE2CQ4dYBZh0NIYXhjGCJ4lGhXlIh16GPDCBDx6EKW6ISAEBAQ X-IPAS-Result: A0DzAABD25VXfzNSfUpchBV8uGKBfByGAQKBNjgUAQEBAQEBAQERAQEJCwsJFzGCMgQBEgGCEgEBBAESFRkBGx0BAwwGBQsNCSUPAQQNAhEBBQEiEyKHcwEDDwgEl2mBMj4xjSWCWgWEFgoZJw1UgyMBAQEBAQUBAQEBARoCBhCED4ILhE2CQ4dYBZh0NIYXhjGCJ4lGhXlIh16GPDCBDx6EKW6ISAEBAQ X-IronPort-AV: E=Sophos;i="5.28,418,1464645600"; d="scan'208";a="185850373" Received: from mail-wm0-f51.google.com ([74.125.82.51]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 25 Jul 2016 11:29:02 +0200 Received: by mail-wm0-f51.google.com with SMTP id q128so127130624wma.1 for ; Mon, 25 Jul 2016 02:29:03 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=from:to:cc:subject:references:date:in-reply-to:message-id :user-agent:mime-version; bh=A1NJg0LA8bWsADSkSXgHfLfwNRTQ/lu11pFWlGxQ7rk=; b=HZlmCZLf/lxuTPIFJNFm4LMuLB+DIhOMvEJiWWrEmjr02qLtfGx1OpdS1rQz48YKvH rwdsqGVnv65SynBeYW1AyjmnZtaoiJYUn96G8aDfTvsFwjoUEOtKFAAa/unbSFdr2+C3 Cq0Lbv1vthYd9EKiEplrVxt5uTL9076d/aWCq4yOgkb2zzC5sdGNv/+z201FfwE0BGaT TQ4CYd7jYCSriJjGicccDDd+jH9rvoBBwRE05WOERZPMM2KXo/fOZ2sQg/oYf+1JeEEx PpO8aAeSSpXS5YrqtbT+/65X6lhrJFOsA/sgnW4OkdRdESAYXmKBPenQYT6WDn5E4RqE rFZw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:from:to:cc:subject:references:date:in-reply-to :message-id:user-agent:mime-version; bh=A1NJg0LA8bWsADSkSXgHfLfwNRTQ/lu11pFWlGxQ7rk=; b=gkuhstcUvxMbxygrFBPUGQCye1fUmFVOeiUcvBcDuCIPmFYr52reWYnhtz6rfPO9ud F8FbhHOPE8Pec5Lj2gaJINgis+TREc371BaKe6xCEx00YYeqfcWIb+O29EIVhwiR3cKZ UcW3XG5NIiXkYe00o6ioVZFqKTSGFOM0BXF7lCYIdT7zSOjfqwQ0DHYcxpKJ57HIdmm2 1jf7j7euHR7YFQj+oNSxRShJ5wQIDainPtK+aAy7mSBAFG97IlQTXZMDdnPE1vRRT8Za +HgqY56lEKjvaii3zrsd4C2CDn67Q4UgC9jz9nkeDf1SHvhL03d3JXXhAHvLAAvutkRs TZcg== X-Gm-Message-State: AEkoousyfXavdiZ7tP8AojSIRuszEhBY4nBunuw4LChmDPQW6vt00sxUBlDTAi9OsdL5Ow== X-Received: by 10.28.145.20 with SMTP id t20mr18353479wmd.74.1469438942730; Mon, 25 Jul 2016 02:29:02 -0700 (PDT) Received: from localhost ([37.153.108.22]) by smtp.gmail.com with ESMTPSA id mc8sm14793746wjb.7.2016.07.25.02.29.01 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Mon, 25 Jul 2016 02:29:01 -0700 (PDT) From: Malcolm Matalka To: Christopher Zimmermann Cc: caml-list@inria.fr References: <86a8h77ziv.fsf@gmail.com> <20160724211726.71ac2036@mortimer.gmerlin.de> Date: Mon, 25 Jul 2016 09:29:01 +0000 In-Reply-To: <20160724211726.71ac2036@mortimer.gmerlin.de> (Christopher Zimmermann's message of "Sun, 24 Jul 2016 21:17:26 +0200") Message-ID: <8660ru83s2.fsf@gmail.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.5 (berkeley-unix) MIME-Version: 1.0 Content-Type: text/plain Subject: Re: [Caml-list] 'b t doesn't equal '_b t? Christopher Zimmermann writes: > '_b t is just not polymorphic. It just means the compiler could not yet > figure out the monomorphic type of '_b. It will be bound to a > monomorphic type later on. How does one track down and why this is happening? I tried adding some typo annotations, but no luck. Maybe I didn't add them in the right place or I added the wrong annotations? Any tips for handling this situation? > > > On 2016-07-24 Malcolm Matalka wrote: >> I have the following error and I don't understand what the compiler is >> trying to tell me. Any hints? >> >> Error: The implementation abb_fut.ml >> does not match the interface abb_fut.cmi: >> Values do not match: >> val bind : 'a t -> ('a -> '_b t) -> '_b t >> is not included in >> val bind : 'a t -> ('a -> 'b t) -> 'b t >> File "abb_fut.ml", line 118, characters 4-8: Actual declaration >>