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: 732 bytes --]


Hello everybody,

Thanks for your help.
I now have 2 solutions that should work
(it will take a couple of days to change my **real**
project to see if it works).

However, I still did not understand this statement of
Jeremy Yallop:
>> module type Abc =
>>    functor (M:Simple) ->
>>    sig
>>       val x : M.t
>>    end
>>      
> You're trying to treat Abc as a functor from signatures to signatures
> (i.e. as a parameterised signature). In fact, it's something quite
> different: it's the *type* of a functor from structures to structures.
>    
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?

Yours,
Jacky

[-- 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