Browse thread
Labeled arguments and polymorphic return types
-
Andre Nathan
-
Jacques Garrigue
- Andre Nathan
-
Jacques Garrigue
[
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: | -- (:) |
| From: | Andre Nathan <andre@d...> |
| Subject: | Re: [Caml-list] Labeled arguments and polymorphic return types |
On Mon, 2007-08-13 at 17:51 +0900, Jacques Garrigue wrote: > Now, this explains the above warning: since there is no unlabelled > parameter, but the return type is polymorphic, your unlabelled > argument will be simply discarded, which is probably not what you > wanted. The compiler is kind enough to inform you. Thanks! Your explanation makes it very clear. Andre