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: rossberg@m...
Subject: Re: [Caml-list] Bug in the module system of version 3.12.0+beta1
"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