Archives of the Caml mailing list > Message from Jean-Christophe Filliatre

Browse thread

Maximum non-constant constructors

Tom Hawkins
- Alain Frisch
  - Tom Hawkins
    - Stefan Monnier
  - Richard Jones
    - Jean-Christophe Filliatre
      - Eric Cooper
        
        Marcin 'Qrczak' Kowalczyk
        
        Richard Jones
        
        Jon Harrop
        
        Jacques Garrigue

Date:	-- (:)
From:	Jean-Christophe Filliatre <Jean-Christophe.Filliatre@l...>
Subject:	Re: [Caml-list] Maximum non-constant constructors


Richard Jones writes:
 > 
 > Has anyone ever seen (in real life) a collision in the hash function
 > which encodes polymorphic variants?  Just wondering ...  It seems like
 > it could occur.

Yes it could occur, but there is a check a link time for such collisions.

-- 
Jean-Christophe

(http://www.lri.fr/~filliatr)