Archives of the Caml mailing list > Message from Daniel

Browse thread

Making a polymorphic type non-polymorphic to comply with original signature

Hugo Ferreira
- Daniel_Bünzli
  - David Teller
    - Hugo Ferreira
      - Thomas Gazagnaire
        
        Hugo Ferreira
  - Hugo Ferreira
- Martin Jambon
  - Hugo Ferreira

Date:	-- (:)
From:	Daniel_Bünzli <daniel.buenzli@e...>
Subject:	Re: [Caml-list] Making a polymorphic type non-polymorphic to comply with original signature


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.

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