I've found that I have more fundamental problem. What is the exact
meaning of the following line?
module type Foo = functor (X:X) - sig val foo : X.t end
(1) Foo is not a functor, but it is a type of some functors that map
modules to modules
(2) Foo is a mapping from modules to module types
Hi,
Le 26 avr. 10 à 18:33, Dawid Toton a écrit :
I've found that I have more fundamental problem. What is the exact
meaning of the following line?
module type Foo = functor (X:X) - sig val foo : X.t end
(1) Foo is not a functor, but it is a type of some functors that map
modules to
Dawid Toton d...@wp.pl wrote:
I've found that I have more fundamental problem. What is the exact
meaning of the following line?
module type Foo = functor (X:X) - sig val foo : X.t end
(1) Foo is not a functor, but it is a type of some functors that map
modules to modules
(2) Foo is a
From: Dawid Toton d...@wp.pl
1. The following piece of code contains illegal constructs. These are
functor applications marked with (* ? *).
Basically, I need module type of what is produced by functor.
My first question is: what is the proper, canonical workaround for