* [Caml-list] Error: This variant or record definition does not match that of type ... Their kinds differ.
@ 2017-08-17 13:55 Matej Kosik
2017-08-17 13:58 ` Matej Kosik
0 siblings, 1 reply; 2+ messages in thread
From: Matej Kosik @ 2017-08-17 13:55 UTC (permalink / raw)
To: caml-list
Hi,
If my "b.mli" file contains the following code:
(*1*) module rec A :
(*2*) sig
(*3*) type t = T1
(*4*) end
(*5*)
(*6*) and B :
(*7*) sig
(*8*) type t = A.t = T1
(*9*) end
and I try to compile it like this:
ocamlc -c b.ml
then I get the following error:
File "b.mli", line 8, characters 9-26:
Error: This variant or record definition does not match that of type A.t
Their kinds differ.
I am wondering what does this error message mean?
What is the kind of A.t?
What is the kind of B.t?
Why are the kinds of of B.t and A.t different?
^ permalink raw reply [flat|nested] 2+ messages in thread* Re: [Caml-list] Error: This variant or record definition does not match that of type ... Their kinds differ.
2017-08-17 13:55 [Caml-list] Error: This variant or record definition does not match that of type ... Their kinds differ Matej Kosik
@ 2017-08-17 13:58 ` Matej Kosik
0 siblings, 0 replies; 2+ messages in thread
From: Matej Kosik @ 2017-08-17 13:58 UTC (permalink / raw)
To: caml-list
On 08/17/2017 03:55 PM, Matej Kosik wrote:
> Hi,
>
> If my "b.mli" file contains the following code:
>
> (*1*) module rec A :
> (*2*) sig
> (*3*) type t = T1
> (*4*) end
> (*5*)
> (*6*) and B :
> (*7*) sig
> (*8*) type t = A.t = T1
> (*9*) end
>
> and I try to compile it like this:
>
> ocamlc -c b.ml
I made a mistake. I had:
ocamlc -c b.mli
in mind.
>
> then I get the following error:
>
> File "b.mli", line 8, characters 9-26:
> Error: This variant or record definition does not match that of type A.t
> Their kinds differ.
>
> I am wondering what does this error message mean?
> What is the kind of A.t?
> What is the kind of B.t?
> Why are the kinds of of B.t and A.t different?
>
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2017-08-17 13:53 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2017-08-17 13:55 [Caml-list] Error: This variant or record definition does not match that of type ... Their kinds differ Matej Kosik
2017-08-17 13:58 ` Matej Kosik
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).