Browse thread
Reference to polymorphic function ?
-
Ingo Bormuth
- Stéphane_Glondu
-
Jacques Garrigue
-
Olivier Andrieu
- Jacques Garrigue
- Ingo Bormuth
-
Olivier Andrieu
[
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: | Jacques Garrigue <garrigue@m...> |
| Subject: | Re: [Caml-list] Reference to polymorphic function ? |
From: Olivier Andrieu <andrieu@ijm.jussieu.fr>
> did you mean :
>
> type put = {put: 'a. 'a -> unit} ;;
>
> or is the explicit polymorphic parameter not required anymore (like
Thank you for the correction. I forgot the explicit quantifier, which
is required.
Jacques Garrigue