Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

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: 2010-07-22 (10:44)
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, wrote:
> "Jacques Garrigue" <> 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).