Archives of the Caml mailing list > Message from Daniel

Browse thread

Weak hash table for attaching extra data to an object

Richard Jones
- Thomas Fischbacher
  - Till Varoquaux
  - Jon Harrop
    - Stefano Zacchiroli
      - Jon Harrop
        
        Daniel_Bünzli
        
        Markus Mottl
    - skaller
    - Richard Jones
      - Richard Jones
- Richard Jones
  - Till Varoquaux
  - Fernando Alegre
    - Richard Jones

Date:	2007-08-15 (12:33)
From:	Daniel_Bünzli <daniel.buenzli@e...>
Subject:	Re: [Caml-list] Weak hash table for attaching extra data to an object


Le 15 août 07 à 02:33, Jon Harrop a écrit :

> I think Markus Mottl once said that all libraries should include  
> phantom types...

I don't know if he said that however the point of a phantom type is  
that there is no concrete value associated to it -- the phantom  
parameter isn't used in the type definition. Hence phantoms are  
useless if you need to decorate a type.

Daniel