English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
Reference to polymorphic function ?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2005-09-15 (07:00)
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