Re: [Caml-list] 'b t doesn't equal '_b t?

[Malcolm Matalka <mmatalka@gmail.com>]

Christopher Zimmermann <christopher@gmerlin.de> 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 <mmatalka@gmail.com> 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
>>