Archives of the Caml mailing list > Message from Radu Grigore

Browse thread

cyclic types

Radu Grigore
- Radu Grigore
- Remi Vanicat
  - brogoff
    - Radu Grigore
      - Damien Doligez
        
        brogoff
        
        Radu Grigore
        
        William Lovas
      - Xavier Leroy
        
        Christophe Raffalli
        
        sejourne_kevin
    - skaller
      - brogoff

Date:	-- (:)
From:	Radu Grigore <radugrigore@g...>
Subject:	Re: cyclic types

On Sat, 29 Jan 2005 14:15:43 +0200, Radu Grigore <radugrigore@gmail.com> wrote:
> I was forced to use the definition:
>   type forest = Forest of forest StringMap.t | Empty

I realized now that
  type forest = Forest of forest StringMap.t
works just as well. The code would look a lot like the version I
wanted but it would still have some unnecessary
constructions/deconstructions.

-- 
regards,
 radu
http://rgrig.idilis.ro/