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
Type constraints
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2004-12-07 (17:44)
From: Damien Doligez <damien.doligez@i...>
Subject: Re: [Caml-list] Type constraints

On 7 Dec 2004, at 15:57, Andreas Rossberg wrote:

> Is this really a counter-example? I don't see any problem with making 
> it polymorphic - it evaluates to ref, and ref can happily be 
> polymorphic.

Yes, well I simplified it a bit too much.  Try this instead:

   let module M = struct let v = ref [] end in M.v;;

-- Damien