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



I'm interested, can you give more details?
(I try to understand the language, as obviously
there are parts that are not very intuitive)

Dumitru, alias Jacky


On 22/07/2010 12:44, Jacques Garrigue wrote:
> On 2010/07/22, at 18:37, rossberg@mpi-sws.org wrote:
>    
>> "Jacques Garrigue"<garrigue@math.nagoya-u.ac.jp>  wrote:
>>      
>>>   module type MyModuleType(Param:ParamType) = sig ... end
>>>
>>> But this just doesn't make sense.
>>>        
>> Hm, I would disagree. It makes perfect sense, it just wouldn't desugar in
>> the way Dumitru thought it should.
>>
>> /Andreas
>>      
> I actually agree with you, since at some point I thought of adding this
> kind of syntactic sugar for functors returning a signature.
> But, seeing Dumitru's reasonning, this might well be confusing.
> Anyway, I think that destructive substitution provides the same expressive
> power in a more uniform way (using intra-signature dependencies).
>
> Jacques
>
>
> _______________________________________________
> Caml-list mailing list. Subscription management:
> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> Archives: http://caml.inria.fr
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>
>
>    


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