Version française
Home     About     Download     Resources     Contact us    
Browse thread
Bug in the module system of version 3.12.0+beta1
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Jacques Garrigue <garrigue@m...>
Subject: Re: [Caml-list] Bug in the module system of version 3.12.0+beta1
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