Re: [Caml-list] trying to localize a functor/signature mismatch

[Jeremy Yallop <yallop@gmail.com>]

On 10 July 2012 10:30, Dan Bensen <danbensen@att.net> wrote:
> The compiler says an entire functor (all the contents of Make)
> is "not included" in a named signature (PST).  How can I
> localize the problem to some specific part(s) of the module?
>
> Here's the code: http://pastebin.com/mWgxMVNm
>
> And the compiler error message: http://pastebin.com/B0mAZhqw

This line:

   module Make (Reader: READER.T): PST = struct

says that Make is a functor that takes a READER.T and returns a PST.
You want to say instead that Make is a functor of type PST, so you
should change it to

   module Make : PST = functor (Reader: READER.T) -> struct

In other words, it's not that some component of the module doesn't
match the ascribed signature; the problem is that you're ascribing a
functor type to the result of your functor rather than to the functor
itself.