Browse thread
Bug in the module system of version 3.12.0+beta1
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | 2010-07-22 (09:37) |
| 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