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

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

[Dan Bensen]

[-- Attachment #1: Type: text/plain, Size: 291 bytes --]

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

[-- Attachment #2: Type: text/html, Size: 671 bytes --]

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

[Jeremy Yallop]

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.

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

[Dan Bensen]

[-- Attachment #1: Type: text/plain, Size: 320 bytes --]

> 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

Yep, that's it.  Thanks a lot :)

[-- Attachment #2: Type: text/html, Size: 582 bytes --]