Re: [Caml-list] Bug in the module system of version 3.12.0+beta1

[Dumitru Potop-Butucaru <dumitru.potop_butucaru@inria.fr>]

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

On 22/07/2010 04:29, Alain Frisch wrote:
> On 7/21/2010 8:41 PM, Dumitru Potop-Butucaru wrote:
>> If I understand well, what I try to do is impossible for
>> some deep theoretical reason. Can someone explain this
>> to me, or point me to a relevant paper explaining it?
>
> Turning a module type into a module is not possible in general: if the 
> module type defines runtime components like values, what module would 
> you produce?

I do not understand why you talk about transforming a module type
in a module. What I wanted to do is to use a functor signature as a
transformer of module types in module types (just as a functor
transforms a module into another module). Following the
definitions of the reference manual of 3.12.0+beta1, section 2.4,
doing this seems very natural, even if it is currently impossible.

Jacky Potop

[-- Attachment #2: dumitru_potop_butucaru.vcf --]
[-- Type: text/x-vcard, Size: 335 bytes --]

begin:vcard
fn:Dumitru Potop-Butucaru
n:Potop-Butucaru;Dumitru
org:INRIA Rocquencourt;Project AOSTE
adr:;;Domaine de Voluceau, BP 105;Le Chesnay;;F-78153;France
email;internet:dumitru.potop_butucaru@inria.fr
tel;work:+33-139.63.55.80
tel;fax:+33-139.63.51.93
x-mozilla-html:FALSE
url:http://www.DumitruPotop.net
version:2.1
end:vcard