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