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 6044F7EF5E for ; Sun, 24 Jul 2016 21:17:43 +0200 (CEST) IronPort-PHdr: 9a23:o0Tl8h0rPqsbLvHysmDT+DRfVm0co7zxezQtwd8ZsegQLfad9pjvdHbS+e9qxAeQG96Ks7Qa06GP6f6ocFdDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXsq3G/pQQfBg/4fVIsYL+kQsiM14/ujb760qaQSj0AvCC6b7J2IUf+hiTqne5Sv7FfLL0swADCuHpCdrce72ppIVWOg0S0vZ/or9ZLuh5dsPM59sNGTb6yP+FhFeQZX3waNDU+7cjv8B3CVhen530GU2xQnAAbLRLC6UTRXo3wqTf9rupwwmGoPMjzQKoxUDKkp/NgSAXpkzsALz406knYj8FqiKNd5h6s8U8si7XIaZ2YYaItNpjWeskXEC8YBp5c Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=christopher@gmerlin.de; spf=None smtp.mailfrom=christopher@gmerlin.de; spf=None smtp.helo=postmaster@mout.kundenserver.de Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of christopher@gmerlin.de) identity=pra; client-ip=212.227.126.131; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="christopher@gmerlin.de"; x-sender="christopher@gmerlin.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of christopher@gmerlin.de) identity=mailfrom; client-ip=212.227.126.131; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="christopher@gmerlin.de"; x-sender="christopher@gmerlin.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mout.kundenserver.de) identity=helo; client-ip=212.227.126.131; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="christopher@gmerlin.de"; x-sender="postmaster@mout.kundenserver.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AiAQAJFJVXhoN+49RdhBV8rESOGh+FfQKBIzwQAQEBAQEBAQERAQEBCAsLCRkvgjIEARIBghMBBScTPxALGAkTEg8SNhmIFgMbAQmucQ2DdwEBAQcCASSKd4JDgkmFDwWYcjSGFoYxgh1ygVKHFYVsSIdeh3s1gjuBWWyIRgEBAQ X-IPAS-Result: A0AiAQAJFJVXhoN+49RdhBV8rESOGh+FfQKBIzwQAQEBAQEBAQERAQEBCAsLCRkvgjIEARIBghMBBScTPxALGAkTEg8SNhmIFgMbAQmucQ2DdwEBAQcCASSKd4JDgkmFDwWYcjSGFoYxgh1ygVKHFYVsSIdeh3s1gjuBWWyIRgEBAQ X-IronPort-AV: E=Sophos;i="5.28,415,1464645600"; d="scan'208";a="227782651" Received: from mout.kundenserver.de ([212.227.126.131]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 24 Jul 2016 21:17:28 +0200 Received: from mortimer.gmerlin.de ([2.246.53.219]) by mrelayeu.kundenserver.de (mreue003) with ESMTPSA (Nemesis) id 0LrXFh-1bJflC1mwf-013OiB; Sun, 24 Jul 2016 21:17:27 +0200 Date: Sun, 24 Jul 2016 21:17:26 +0200 From: Christopher Zimmermann To: caml-list@inria.fr Cc: Malcolm Matalka Message-ID: <20160724211726.71ac2036@mortimer.gmerlin.de> In-Reply-To: <86a8h77ziv.fsf@gmail.com> References: <86a8h77ziv.fsf@gmail.com> X-Mailer: Claws Mail 3.13.2 (GTK+ 2.24.30; x86_64-unknown-openbsd6.0) MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit X-Provags-ID: V03:K0:DTOt1fczC4Jkzc7TjEV5zFn16Ko1eHNVAjAaV1LJh2vOL1B9Ufh +IiIb1zm0RYVbY6ZL1iHHhiDfNvCyfSizewJRzS8nVcI8zrd74OnbjHrxSBKH4Xiit3gzNg YnKzBlRB7iD+K/YRjo/GmujkoawMYRcqMkkgbWTlCzS+DIBtbW6vui7sPjuYDSv906KKPTr j377O7cg00L3wiPjKbHvA== X-UI-Out-Filterresults: notjunk:1;V01:K0:LwvgzKUHkz4=:YBdJt4ccIqRN2xqFgnlRb1 8yMf9dfuK+V50vAYRdFt/zy+5JC3rv3Lp/B+C5ojVq3PDAr4EAdU64PpNxX8hDoCO0jtl2sJG knU5ka3pmaTeroMrzUbkUozH0+Mf/ynlyGsyMqK9FFpBtd2vEiS6nmTSo5r4Ub7/uXBNaspwi yEzFe4EvvRCGUaca7sqvgLDIMPPHhOjBp0ppc44j5jn2XhNjLf8XP/JxHbjuFov5k8VSYuPva EWXpaXe7Z8dwa4cBwnqQkobteB2GCiN1R/q6UIQXgq26wo3//2bPg4zmBDaCprqXvI2W6YIWs rGk73wRpKEQyA68+cRCKLqWMZh+cvAUrENHatONu8BVciqtx4J/iI01iyPLNwnOqWj9i0DdPm Gz5BJ+i75+TF4hiHwOy4jMMD1j78BZbm/HvKfPoqOAQlb2/r032SRu0G5vUjOIhs+//JRlasT FVcIApvRMbYBcJ5qdOlmcbR1XtkmHT/mtkarYY7uhZ/r4weF3q5XGvMsGrY4z0nyGEna+SdXZ xAzwW2qn3CxrVJdR1HjNhqYhRYJuzhzBsptQgJWZLtsmKvb4ZmlpWMObKokxWmt5SMR94KgHQ TDWXm8ndvKvBhn01msMv7b+F9nlcWcW8LD7fObAiNQeeAybFKntgAkLxT+XISJoVwCeqT+LLH vXsGuiBlfkTCRR6gZIWnTQyH1o/P2qTZLf7q+OxjJYuPmSSWBPSPJFD91q19+cmjSjoh0N3uq YE497ctVMwlBPzwv Subject: Re: [Caml-list] 'b t doesn't equal '_b t? '_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. 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 > -- http://gmerlin.de OpenPGP: http://gmerlin.de/christopher.pub 2779 7F73 44FD 0736 B67A C410 69EC 7922 34B4 2566