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 96D6F7FF50 for ; Mon, 8 Aug 2016 12:06:41 +0200 (CEST) IronPort-PHdr: 9a23:W+PElRx2dsbs/pPXCy+O+j09IxM/srCxBDY+r6Qd0e0QIJqq85mqBkHD//Il1AaPBtSDraMcwLCP+4nbGkU4qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2WVTerzWI4CIIHV2nbEwud7yzS9aZ1Z3//tvx0qWbWx9Piju5bOE6BzSNhiKViPMrh5B/IL060BrDrygAUe1XwWR1OQDbxE6ktY+YtaRu+CVIuv8n69UIEeCjJ/x5HvRkC2EDOmQ+48nu/TzKUQKL5XJUBmATmwZBBwvMxB7/V5b19CD9s7wu9jOdOJjZSqsrWDLq8aBtADXyhSsKLTo+7ymDhctrk6Nd5QzkrTRgzoSSbIzDZ6k2Rb/UYd5PHTkJZc1WTSEUR9rkN4Y= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=goswin-v-b@web.de; spf=Pass smtp.mailfrom=goswin-v-b@web.de; spf=None smtp.helo=postmaster@mout.web.de Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of goswin-v-b@web.de) identity=pra; client-ip=212.227.15.3; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="goswin-v-b@web.de"; x-sender="goswin-v-b@web.de"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of goswin-v-b@web.de designates 212.227.15.3 as permitted sender) identity=mailfrom; client-ip=212.227.15.3; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="goswin-v-b@web.de"; x-sender="goswin-v-b@web.de"; 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@mout.web.de) identity=helo; client-ip=212.227.15.3; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="goswin-v-b@web.de"; x-sender="postmaster@mout.web.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DTAACPWKhXhwMP49RdhBt8rGaECogegX0chgECgTM4FAEBAQEBAQEBEQEBAQgNCQkZL0EOAYFiBAETAYIUAQUnEz8QCw4KCSUPBQ0bIROIFgEDG74EHysNhDcBAQEHAQEBASOKd4JDgVqDT4IvAQSZBTSGHYYygjGJUQqFckiHZYQHg3geglmBWWyEM4FSgUQBAQE X-IPAS-Result: A0DTAACPWKhXhwMP49RdhBt8rGaECogegX0chgECgTM4FAEBAQEBAQEBEQEBAQgNCQkZL0EOAYFiBAETAYIUAQUnEz8QCw4KCSUPBQ0bIROIFgEDG74EHysNhDcBAQEHAQEBASOKd4JDgVqDT4IvAQSZBTSGHYYygjGJUQqFckiHZYQHg3geglmBWWyEM4FSgUQBAQE X-IronPort-AV: E=Sophos;i="5.28,489,1464645600"; d="scan'208";a="187171281" Received: from mout.web.de ([212.227.15.3]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 08 Aug 2016 12:06:40 +0200 Received: from frosties.localnet ([78.43.233.192]) by smtp.web.de (mrweb001) with ESMTPSA (Nemesis) id 0M1FqS-1bCxdt3UMK-00tCBa; Mon, 08 Aug 2016 12:06:37 +0200 Received: from mrvn by frosties.localnet with local (Exim 4.87) (envelope-from ) id 1bWhS8-0003HR-QZ; Mon, 08 Aug 2016 12:06:36 +0200 Date: Mon, 8 Aug 2016 12:06:36 +0200 From: Goswin von Brederlow To: Malcolm Matalka Cc: Christopher Zimmermann , caml-list@inria.fr Message-ID: <20160808100635.GB11261@frosties> References: <86a8h77ziv.fsf@gmail.com> <20160724211726.71ac2036@mortimer.gmerlin.de> <8660ru83s2.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <8660ru83s2.fsf@gmail.com> User-Agent: Mutt/1.6.0 (2016-04-01) X-Provags-ID: V03:K0:NaRMbjxDYrb69BJOKqmzvaD2lH+f4ES86UeqvkiEhEw/5kS2xic GSgPf3UGS5ULeTxWIcn47sggomuDxPbmxgtuWs5aFT7PkqTZZXT1zfLy5J1N2kfXnlxIUzl JN1H+JUJx+sEs0fw0+r7oKPcB9Fs3BAq0JGfF3Cb+IsQRbp/5tfXsxgRvObiYzy4WB0G0G4 e37fGuCSz2W3bhd9vuJwg== X-UI-Out-Filterresults: notjunk:1;V01:K0:9RMVDjif4gY=:Vox0ZtEifWwmyet/xwDZqA TNC/qo6yAgPOK1XDK/zMVNonmql/hxTVc/vkI2XOyZRn1H4sjkprmHd9aIRQ+ynWPRLgS1Dfo rZwJa1qRiVE38fWK6tveBIcw/GWJ/N3YaZQHR0910HhjCmJKIJegB0OtMMMO5TWkmcEXa0G25 5HJcqaItJ2ya+OIfPC87iByMU2l1Rft50eC7mLzVh5RvDYSL74qSXIq75XMKyLfJAs+cT/zHT HFVonrmvJHVKwFPr/Ok3PiQnrfrJNmk2jJD9FJHbOP8oLUMzFIZmrzUt3noX+rucVo4jdCQ+k 9F3VFKyh0H02L9D0EcADb2UhM2BPs0TRVnNjWuqghh3Wn1grP5D99Guz/jqi1kxGM2n2g6/uF tYf006Y/mRG4nXNyZoEglrt6w27OanVEfQm8XmapcwFs8RcIBWqbELdJy0aZKxzkAdAt6tSYk UHu4ZrgykDc+fOtMa7o6tLqTNbnBONU3aN4JhDrzAuEziQ0kJ9Hz8zREa2wZ38+FNO6W9++i8 eIq4PeQk1lf57pO9XOuZga/t8aEsXEla1Kd+oYXnzjRUIROlrC1du2TY40WFfPrCIF+UK9Hf2 lvwQMNS1y99cvpfImgo0lOaALW8PLLCmnxfos1rXcqwLNSDNe2VCya8OlN7vhxRV+XecPnjKL 4UY6XkwY1Dt4O2RIV1Kx9RsxoicOdwYUgLRlFEyRQegZYkqD7hlLDu47orgLhCElEmDS5Z6mu de7vhfrgu1AWsFWabidlnDZfBWol/N+Epx7EbeI523QjT2K3DLMHTCijczs= Subject: Re: [Caml-list] 'b t doesn't equal '_b t? On Mon, Jul 25, 2016 at 09:29:01AM +0000, Malcolm Matalka wrote: > 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 > >> You can not annotate a function to be more polymorphic, only less. It's basically just a lower limit. So if you annotate a type as "'a t" that means the type must be some t, but 'a can still be infered to be not prolymorphic. This makes it hard to find cases where the infering gets too specific for your taste. MfG Goswin