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