Re: [Caml-list] Strange behavior from type inference after functor application

[rixed@happyleptic.org]

-[ Thu, May 31, 2012 at 10:23:13PM +0200, Gabriel Scherer ]----
> The problem with
>   module C = Combi (S) (TypeWithConf (struct let v = 1 end))
> is that the resulting type has no "name": (struct let v = 1 end) can
> not be part of a type path.

So in order for the compiler to infer a type the type must have a 'name'?
That's funny because this 'name' is not used anywhere. Couldn't just
such anonymous modules be given random names so that everything works as
long as these names are unused? I mean, in the given example no type of
this Conf module was required to infer that C.t is a product type (which
was everything needed since f was returning the first value).

Or would it be just too obscure and not useful enough?

Anyway, thank you for the explanation. Hopefully I will remember it for
the next encounter.