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
Making a polymorphic type non-polymorphic to comply with original signature
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2009-01-20 (11:43)
From: Hugo Ferreira <hmf@i...>
Subject: Re: [Caml-list] Making a polymorphic type non-polymorphic to comply with original signature 
Hi Daniel,

Daniel Bünzli wrote:
> 
> Le 20 janv. 09 ŕ 11:59, Hugo Ferreira a écrit :
> 
>> Is it possible to make H comply with Hashtbl.HashedType i.e: make
>> J.Key = 'a H.node ?
> 
> This issue is well known (e.g. see here [1]). Your are running into 
> limitations of the standard library. The only unsatisfying answer is to 
> copy the code from the standard library and add the parameter yourself.
> 

Thanks for the quick response. Back to the drawing board I guess.

Regards,
Hugo F.


> Best,
> 
> Daniel
> 
> [1] 
> http://groups.google.com/group/fa.caml/browse_thread/thread/f2acb593da91553c?hl=fr&ie=UTF-8&q=type+var+in+functor+fa.caml 
> 
> 
> _______________________________________________
> Caml-list mailing list. Subscription management:
> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> Archives: http://caml.inria.fr
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>