Archives of the Caml mailing list > Message from StÃ©phane Glondu

Browse thread

Attach an invariant to a type

Dawid Toton
- Romain Bardou
  - David Teller
    - Romain Bardou
      - Hezekiah M. Carty
        
        Stéphane_Lescuyer
        
        StÃ©phane Glondu
        
        Dawid Toton
        
        Edgar Friendly
        
        Keiko Nakata
        
        Romain Bardou

Date:	-- (:)
From:	StÃ©phane Glondu <steph@g...>
Subject:	Re: [Caml-list] Attach an invariant to a type

StÃ©phane Lescuyer a Ã©crit :
> No you're not :) as far as I know, a private type can only be a record
> or a variant.

Xavier mentioned the possibility to extend private types to any type:

  http://gallium.inria.fr/~xleroy/talks/cug2008.pdf (page 5)

So maybe Romain's code will work in a near future :-)


My 2 cents.

-- 
StÃ©phane